11

Answers
votes newest views recent
7
Demonstrating that rigour is important
7
Examples of theorems misapplied to non-mathematical contexts
5
Proofs of Gödel’s theorem
4
nontrivial theorems with trivial proofs
3
Arithmetic fixed point theorem
2
Complete mathematics
1
Supervenience in mathematics
1
Surprising and Useful Physical Intuition for Mathematical Objects
1
Completeness vs Compactness in logic
0
undecidable sentences of first-order arithmetic whose truth values are unknown
0
Are inference laws consistent?