# Tagged Questions

Questions involving philosophy of mathematics. Please consider if Philosophy Stack Exchange is a better site to post your question.

82 views

### What are the uses of cross-theoretic identifications within mathematics?

I've been thinking about the identification of objects from different mathematical theories. For example, when you do set theoretic constructions of the natural numbers and identify, e.g., 0 with the ...
142 views

### Does randomness exist? [closed]

I've been plagued with this question for a few years now and wanted to know what others think. Does true randomness really exist? In mathematics, a random process is based on the concept of random ...
342 views

### Is a derivation a proof?

Is there a difference between "derivation" and "proof"? I imagine a derivation is a type of proof but that proofs are perhaps more general. Although then again, I suppose every proof should be ...
66 views

### Justifying the use of real numbers for measuring length

I am not sure if this is the most appropriate place to post this but here goes nothing: Assume we were trying to come up with system of numbers $S$ to model our intuition of length. We want $S$ to ...
66 views

### More details of the “Standard View og Proof” with three points are needed.

I have a Danish book about the theory of knowledge for mathematicians which I have tried my best to translate some parts into English. According to the lecturer, we can with "certain reasonability" ...
82 views

### Computability, Continuity and Constructivism

Triggered by an IMO extremely interesting question & Mathematics Stack Exchange, asked by Dal: Computability and continuous real functions And a link in one of the comments that could have ...
532 views

### Every planar graph can be embedded on a sphere - formal proof?

The proof of the following theorem: A graph can be embedded on the surface of a sphere without crossings if and only if it can be embedded in the plane without crossings. is very short- The ...
85 views

### Given ∼R and ∼ B, derive ∼ (R ∨ B)

*This question deals with the derivation system SD (Sentential Derivation), the rules of which can be seen on pages 3-4 here: http://www.shamik.net/teaching/materials/dasgupta%20SL%20definitions.pdf ...
641 views

### Why is homeomorphism understood as stretching and bending?

A function $f: X \to Y$ between two topological spaces $(X, T_X)$ and $(Y, T_Y)$ is called a homeomorphism if it has the following properties: $f$ is a bijection (one-to-one and onto) $f$ is ...
9k views

### How do people who study intensely abstract mathematics “imagine” or understand the concepts they are studying or being taught? [closed]

This question is probably to the actual people who study such mathematics, rather than any "third-party". I haven't studied any such mathematics, but I can imagine that some (probably most of it) of ...
426 views

### The word “times” for multiplication…? [closed]

The word "times" for multiplication operation which is quite touching to the concept of time (feeling time this way 0*1=0). When was introduced that term? Did any other language have the kind of term ...
72 views

### Question about induction to infinity with regard to Bolzano's philosophy

I'm a philosophy and mathematics student, and I'm writing a paper on a proof put forward by Bolzano that if we can know one thing to be true, then we can know infinite truths. Put simply, he states ...
4k views

### Why is mathematical induction a valid proof technique? [duplicate]

Context: I'm studying for my discrete mathematics exam and I keep running into this question that I've failed to solve. The question is as follows. Problem: The main form for normal induction over ...
583 views

### Why does randomness exhibit a pattern in the long run?

!!! Layman here so please avoid complex math and answers. Random (usually pseudorandom) events are usually characterized along these lines: Each outcome in a trial experiment must be i.i.d.; i.e. ...
315 views

### What is the difference between a counter-intuitive statement and a paradox?

In mathematics and logic, what is the difference between a counter-intuitive statement and a paradox? For example, what differs something like the Banach-Tarski theorem or Gabriel's horn from ...
243 views

### What's the difference between “unprovable” and “undecidable”?

It seems to me that there is a difference between an unprovable sentence, and an undecidable sentence, but sometimes I have the impression that some authors use the terms interchangeably. In my ...
91 views

### Sheaves in Philosophy

I once found a book on google.books. It was about the applications of sheave theory to philosophy or more general to social studies. I don't remember for sure. i just know it was not the book Sheaves ...
71 views

### What does if-then has to do with not being true?

I'm reading Chihara's: Constructibility and Mathematical Existence. It says: An even more radical view rejects the assumption that mathematics is true—at least in the straightforward way that ...
341 views

### Does taking courses in mathematics give any help for mathematical logic?

I'm undergraduate student of philosophy department and I think I'll major in mathematical logic. For studying mathematical logic, I thought studying math lectures would give help to logic. So I ...
2k views

### Can mathematics get from other sciences what it got from physics?

Throughout history, physics has been an unparalleled source of '' inspiration'' for discovering/inventing mathematical ideas, which is due to its ability to describe the physical world. But can this ...
260 views

### Is mathematics invented or discovered? [closed]

In physics for example, and in science in general, facts are "discovered" in the sense that they arise from observing nature. A particle is discovered if we can measure its existence in nature. A law ...
213 views

### Are there logical arguments against modern $\sf ZFC$ set theory?

As of asking this question, my knowledge of set theory is quite pedestrian. I've read about it in numerous nontechnical papers and even worked through three chapters of Jech - Set Theory, but in terms ...
189 views

### Is the anti-foundation axiom considered constructive?

In the area of theoretical computer science that I am interested in, constructive mathematics is of practical interest because it gives algorithms that can be implemented on a computer. However, non-...
88 views

### philosophy : first axiom of geometry and variable curvature

The very first axiom of geometry can be described as: Two different points lay on one and only one line. And I was wondering are there surfaces where this axiom irrecoverably fails? and I found ...
3k views

### Why not both true and false?

Why can't some mathematical statement (or whatever is the correct term) be both true and false? For example we can prove (e.g. by induction) that $1+2+3+\cdots+n=\frac{n(n+1)}{2}$ for all positive ...
2k views

### What's behind the Banach-Tarski paradox? [closed]

The discovery of the Banach-Tarski paradox was of course a great thing in mathematics but raises the issue of the relation between mathematics and reality. Empirically there are good reasons for faith ...
6k views

### Why do we need to learn Set Theory?

I was planning to write some article for the Mathematics magazine of our college and it occurred to me that it will be a good idea to write about the impact and importance of Set Theory. I plan ...
464 views

### Question on induction technique

When one uses induction (say on $n$) to prove something, does it mean the proof holds for all finite values of $n$ or does it always hold when even $n$ takes $\pm\infty$?
412 views

### Why do we first introduce the open set definition for continuity instead of the neighborhood definition?

After (nearly) completing my course in topology, something weird just stuck out to me which I hadn't considered before. When first discussing continuity, we often use the following definition: Let ...
72 views

### Properties of the simplest object in n-dimension

In my boredom, I was thinking about why the simplest 3d object (i.e. the one with the least faces, sides, vertices) was the tetrahedron. After it made sense to me, I realized some cool stuff which was ...
112 views

### Why do we focus so much in math on functions (as a subclass of relations)?

Why is it that math so focuses on the subclass of relations known as functions? I.e. why is it so useful for us in nearly all branches of mathematics to focus on relations which are left-total and ...
77 views

### Are there undecidable problems for which a solution has been found?

I mean are there examples of problems that have been proven to be undecidable, in the sense that it would not be possible to devise a deterministic computer program that outputs a solution for an ...
48 views

### Is ( Set S contains $x$ and only $x$ then does S equals $x$ ) true?

If a set $S$ contains $x$ and only $x$, then does $S$ equal $x$?
324 views

### Goldbach's conjecture can't be proved to be undecidable?

Conjectures concerning natural numbers which could be settled by a counterexample can, as far as I understand, not be proved to be undecidable without being proved not having a counterexample at the ...
142 views

### the purpose of induction

After getting an answer (in a comment) from peter for this question I have a follow up question. If, in all horses are the same color problem for example, we need to use reason, reason which is ...
229 views

### How much of Mathematics is limited by our writing? [closed]

I'm sorry if this question is too vague or otherwise a stupid question. Suppose the mathematicians in some alien civilisation similar to ours sculpted their Mathematics in three dimensions (or ...
86 views

### Is there a name for this constant? (0.0100011011…)

It's the simplest number I could think of that contains any finite binary code in its digits: \begin{align} c &= 0.0100011011000001010011100101110111...\\ &= 0.\;0\;1\;00\;01\;10\;11\;000\;...
111 views

### Apparent Arbitrariness in Mathematics

Something about definitions in mathematics has always interested – confused? - me, I call it “arbitrariness in Mathematics” - it's a bad name, but I don't know a better one. Let me explain: 1st - ...
53 views

### maximum number of possible rules of a sequence?

Read this http://www.mathsisfun.com/algebra/sequences-finding-rule.html and also http://en.wikipedia.org/wiki/The_Oxford_Murders_%28film%29 where the scene about the murder note left behind contains a ...
60 views

### A Question Regarding Representing $\mathscr P$($\omega$) as a Digraph and CH

It is well known that one can represent sets as digraphs. What is the proper digraph representation of $\mathscr P$($\omega$)? I ask this because $\mathscr P$($\omega$) is $\Pi_1$ in the Levy ...
106 views

138 views

### Philosophical implications of P vs NP proof?

Wikipedia article on P vs NP says that "a proof either way would have profound implications for ... Philosophy" without providing further details. So I was wondering what could be the philosophical ...
358 views

### Why is the Power Set Operation Inherently Vague?

It is a somewhat common view among mathematicians/philosophers (who have an opinion on the subject) that the power set operation is inherently vague. They go on to say that its inherent vagueness is ...
197 views

### What goes wrong in the following argument that our conception of “set” is inconsistent?

This question might sound facetious, but it is a genuine question which I am very much interested in. I apologize in advance if it is too conceptual or philosophical, but I'm optimistic that I might ...
104 views

### Can arithmetic truths fix the truth value of the Continuum Hypothesis?

Many logicians and philosophers believe that all sentences expressible in the language of Peano Arithmetic have determinate truth-values, even though no nice formal system can capture all of these ...
157 views

### Is the first-order incompleteness of a theory (like arithmetics, set theory or logic itself) avoidable in a second or higher-order axiomatizations?

Can we avoid the first-order incompleteness of a theory (like arithmetics or set theory) in a second-order theory which contains the previous? How does it depend on the chosen semantics or models? If ...
112 views

### Strange Consequences of Large Cardinals in Probability

Large cardinal axioms are very strong hypothesizes and as any other strong hypothesis they have many strange consequences in mathematics. On the other hand we know that if we bring even the least ...