8 Answered Questions

9 Answered Questions

8 Answered Questions

[SOLVED] Why should we believe in the axiom of regularity?

11 Answered Questions

[SOLVED] Contemporary Philosophy of Mathematics

11 Answered Questions

6 Answered Questions

[SOLVED] Interesting meta-meta-mathematical theorems?

15 Answered Questions

[SOLVED] Abstract Thought vs Calculation

4 Answered Questions

[SOLVED] The enigmatic complexity of number theory

4 Answered Questions

2 Answered Questions

[SOLVED] Question arising from Voevodsky's talk on inconsistency

2 Answered Questions

[SOLVED] Meta$^{n{-}th}$ mathematics

2 Answered Questions

[SOLVED] Clarification of Gödel's second incompleteness theorem

4 Answered Questions

3 Answered Questions

[SOLVED] Unprovable sentence about integers

26 Answered Questions

[SOLVED] Has philosophy ever clarified mathematics?

43 Answered Questions

[SOLVED] nontrivial theorems with trivial proofs

16 Answered Questions

[SOLVED] What if Current Foundations of Mathematics are Inconsistent?

19 Answered Questions

13 Answered Questions

18 Answered Questions

9 Answered Questions

[SOLVED] How do they verify a verifier of formalized proofs?

11 Answered Questions

21 Answered Questions

5 Answered Questions

4 Answered Questions

[SOLVED] Are proper classes objects?

7 Answered Questions

6 Answered Questions