# Tagged Questions

Philosophical aspects of logic and set theory; truth status of mathematical axioms; Philosophy of Mathematics; philosophical aspects of mathematics in general; relation of mathematics to philosophy; etc. Consider also posting at http://philosophy.stackexchange.com/, where philosophy-of-mathematics ...

2k views

### Universe view vs. Multiverse view of Set Theory

Here I refer to Hamkins' slides: http://lumiere.ens.fr/~dbonnay/files/talks/hamkins.pdf particularly, to the "Universe view simulated inside Multiverse", p. 22. My question is: is it very unsound ...
914 views

### evil properties, higher category theory and well-chosen tensor products

Let's start with the following random example: If $F$ is a presheaf, then for every chain of open subsets $U \subseteq V \subseteq W$, the morphisms $F(W) \to F(V) \to F(U)$ and $F(W) \to F(U)$ ...
2k views

### Interpretation of the Second Incompleteness Theorem

For simplicity, let me pick a particular instance of G\"odel's Second Incompleteness Theorem: ZFC (Zermelo-Fraenkel Set Theory plus the Axiom of Choice, the usual foundation of mathematics) does ...
8k views

### Nelson's program to show inconsistency of ZF

At the end of the paper Division by three by Peter G. Doyle and John H. Conway, the authors say: Not that we believe there really are any such things as infinite sets, or that the Zermelo-Fraenkel ...
5k views

### What is Realistic Mathematics?

This post is partially about opinions and partially about more precise mathematical questions. Most of this post is not as formal as a precise mathematical question. However, I hope that most readers ...
1k views

### Proving Independence of Axioms by Exhibiting Models Which Don't Satisfy Our Intuition

I recently saw the proof of the independence of ZF (with allowance for multiple empty sets) and AC. The proof constructed the model based on a set theory generated by infinitely many empty sets and ...
3k views

### Meaning of Kronecker's comment to Lindemann

At the Mactutor history page, it is said that Kronecker remarked to Lindemann: "What good your beautiful proof on [the transcendence of] π? Why investigate such problems, given that irrational ...
2k views

### Use of Conjectures to Prove a Theorem

Name a theorem T that has a proof based upon the truth of a conjecture C, and also has another proof based upon the falsehood of the same conjecture C, but for longtime has no known direct proof that ...
1k views

### When is a statement provable?

We all know that Gödel showed that there, in a formal system, are true statements that are non-provable (undecidable). In ZFC, there's Kaplansky's Conjecture, the Whitehead problem, etc. We can also ...
1k views