Does normal mathematics need new axioms?
| Abstract | We present a range of mathematical theorems whose proofs require unexpectedly strong logical methods, which in some cases go well beyond the usual axioms for mathematics. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
|
| Through your library | Only published papers are available at libraries |
A. S. Troelstra (1975). Axioms for Intuitionistic Mathematics Incompatible with Classical Logic. Mathematisch Instituut.
W. W. Tait (2001). Beyond the Axioms: The Question of Objectivity in Mathematics. Philosophia Mathematica 9 (1).
Penelope Maddy (2011). Defending the Axioms: On the Philosophical Foundations of Set Theory. Oxford University Press.
Kenny Easwaran (2008). The Role of Axioms in Mathematics. Erkenntnis 68 (3):381 - 391.
Monthly downloads |
Added to index2009-01-28Total downloads6 ( #145,615 of 549,087 )Recent downloads (6 months)2 ( #37,333 of 549,087 )How can I increase my downloads? |

