# Tagged Questions

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

42k views

### Do complex numbers really exist?

Complex numbers involve the square root of negative one, and most non-mathematicians find it hard to accept that such a number is meaningful. In contrast, they feel that real numbers have an obvious ...
12k views

### How do I convince someone that $1+1=2$ may not necessarily be true?

Me and my friend were arguing over this "fact" that we all know and hold dear. However, I do know that $1+1=2$ is an axiom. That is why I beg to differ. Neither of us have the required mathematical ...
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 ...
659 views

### What is the “correct” reading of $\bot$?

I have some doubts about the "natural" interpretation of $\bot$ in Natural Deduction and sequent calculus. In Prawitz (1965) $\bot$ (falsehood or absurdity) is called a sentential constant [page 14] ...
2k views

### what is the definition of Mathematics ? [closed]

we all study mathematics , and all of us learn mathematical methods to solve problems , we learn how to prove , how to think mathematically but the question is, what is mathematics ? how can we ...
5k views

### How far can one get in analysis without leaving $\mathbb{Q}$?

Suppose you're trying to teach analysis to a stubborn algebraist who refuses to acknowledge the existence of any characteristic $0$ field other than $\mathbb{Q}$. How ugly are things going to get for ...
4k views

### How to interpret material conditional and explain it to freshmen?

After studying mathematics for some time, I am still confused. The material conditional “$\rightarrow$” is a logical connective in classical logic. In mathematical texts one often encounters the ...
751 views

### Are there areas of mathematics (current or future) that cannot be formalized in set theory?

I often read that ZFC can formalize "most" of everyday mathematics, but I could never find an example which it cannot. The closest I got is differential geometry (DF), where some article mentions that ...
6k views

### Does a negative number really exist?

Second Update: I see that some answers that reference my image are more closely answering my question. Here is a second image to clarify my point. Take this image representing a checkerboard like ...
15k views

### Is mathematics one big tautology?

Is mathematics one big tautology? Let me put the question in clearer terms: Mathematics is a deductive system: it works by starting with arbitrary axioms, and deriving therefrom "new" properties ...
2k views

### Avoiding proof by induction

Proofs that proceed by induction are almost always unsatisfying to me. They do not seem to deepen understanding, I would describe something that is true by induction as being "true by a technicality". ...
726 views

### What would qualify as a valid reason to believe there is a closed form?

I noticed that almost every non-homework-level integral posted on this site prompts somebody to ask "Do you have any reason to believe there is a closed form?" (some recent examples here and here) I ...
4k views

### What is “ultrafinitism” and why do people believe it?

I know there's something called "ultrafinitism" which is a very radical form of constructivism that I've heard said means people don't believe that really large integers actually exist. Could someone ...
649 views

### Why is CH true if it cannot be proved?

Continuum hypothesis (CH) states that there can be no set whose cardinality is strictly between that of integers and real numbers. Godel, 1940 and Paul Cohen,1963 showed that CH can neither be proved ...
956 views

### What is a number?

A dictionary I consulted said a 'number' is a 'quantity', so I looked up what quantity means and the same dictionary said it is an amount or number of some material or thing. Since quantity and ...
12k views

### Can a coin with an unknown bias be treated as fair?

This morning, I wanted to flip a coin to make a decision but no coins were in reach. There was however an SD card on my desk: Given that I don't know the bias of this SD card, would flipping it be ...
6k views

### What's the goal of mathematics?

Are we just trying to prove every theorem or find theories which lead to a lot of creativity or what? I've already read G. H. Hardy Apology but I didn't get an answer from it.
7k views

### Infinite sets don't exist!?

Has anyone read this article? This accomplished mathematician gives his opinion on why he doesn't think infinite sets exist, and claims that axioms are nonsense. I don't disagree with his arguments, ...
5k 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 ...
2k views

### Is formal truth in mathematical logic a generalization of everyday, intuitive truth?

I'm trying to wrap my head around the relationship between truth in formal logic, as the value a formal expression can take on, as opposed to commonplace notions of truth. Personal background: When I ...
2k views

### What would be the immediate implications of a formula for prime numbers?

What would be the immediate implications for Math (or sciences as a general) if someone developed a formula capable of generating every prime number progressively and perfectly, also able to prove (or ...
4k views

### How can Zeno's dichotomy paradox be disproved using mathematics?

A brief description of the paradox taken from Wikipedia: Suppose Sam wants to catch a stationary bus. Before he can get there, he must get halfway there. Before he can get halfway there, he must ...
322 views

### Gödel's Completeness Theorem and logical consequence [closed]

At the end of a long process of "rumination" on "old" math log textbooks, I've found the "missing link" - from my personal point of view - between some issues I've raised in the previous months : (i) ...
734 views

### Does it make any sense to prove $0.999\ldots=1$?

I have read this post which contains many proofs of $0.999\ldots=1$. My question is, Does it make any sense to prove this equality? Can one give any "meaning" of the symbol $0.999\ldots$ ...
196 views

### Can equinumerosity by defined in monadic second-order logic?

Two properties (or concepts) $F$ and $G$ are said to be equinumerous if they have the same cardinality, i.e. if they can be put in one-to-one correspondence with each other. This can be very easily ...