Mathematics

Contents

Mathematics #

History & Philosophy

Texts #

2026 Carson, Emily. Philosophy of Mathematics from Descartes to Kant. Cambridge University Press: Elements in the Philosophy of Mathematics. https://www.cambridge.org/us/universitypress/subjects/philosophy/philosophy-science/philosophy-mathematics-descartes-kant?format=PB&isbn=9781108987097.
2015 Nagel, Ernest & James R. Newman. Gödel’s Proof. Routledge Classics.
2008 Nagel, Ernest & James R. Newman. Gödel’s Proof. Revised ed. NYU Press.
1945 Pólya, George. How to Solve It. Princeton University Press. [ W ]

Figures #

[ w ] 1941----- Andersen, Kirsti
[ w ] 1930-2025 Benacerraf, Paul
[ w ] 1881-1966 Brouwer, L. E. J. [ SEP ]
[ w ] 1845-1918 Cantor, Georg
[ w ] 1914-2002 Desanti, Jean-Toussaint
[ w ] 1831-1916 Dedekind, Richard
[ w ] 1848-1925 Frege, Gottlob [ SEP ]
[ w ] 1906-1978 Gödel, Kurt [ SEP ]
[ w ] 1950-2026 Grosholz, Emily Rolfe
[ w ] 1862-1943 Hilbert, David
[ w ] 1922-1974 Lakatos, Imre [ SEP ]
[ w ] 1858-1932 Peano, Giuseppe
[ w ] 1887-1985 Pólya, George
[ w ] 1843-1904 Tannery, Paul
[ w ] 1967----- Tegmark, Max
[ w ] 1912-1954 Turing, Alan [ SEP ]

Terms #

[ SEP ] Combinatory Logic [ notes ]
[ SEP ] Dedekind’s Contributions to the Foundations of Mathematics
[ SEP ] Fictionalism
[ SEP ] Frege’s Logic
[ SEP ] Frege’s Theorem and Foundations for Arithmetic
[ SEP ] Hilbert’s Program
[ SEP ] Independence of Large Cardinals
[ SEP ] Indespensability Arguments in the Philosophy of Mathematics
[ SEP ] Infinity
[ SEP ] Kant’s Philosophy of Mathematics
[ SEP ] Mathematical Explanation
[ SEP ] Mathematical Style
[ SEP ] Nominalism
[ SEP ] Platonism
[ SEP ] The Axiom of Choice
[ SEP ] The Church-Turing Thesis
[ SEP ] The Continuum Hypothesis
[ SEP ] The Emergence of First-Order Logic
[ SEP ] Set Theory
[ SEP ] Structuralism

[ w ] Constructivism [ SEP ]
[ w ] Finitism
[ w ] Formalism [ SEP ]
[ w ] Foundations of Mathematics
[ w ] Gödel’s Completeness Theorem
[ w ] Gödel’s Incompleteness Theorems
[ w ] Intuitionism [ SEP ]
[ w ] Logicism [ SEP ]
[ w ] Mathematical Folklore
[ w ] Mathematical Language
[ w ] Mathematical Object
[ w ] Mathematical Practice
[ w ] Mathematical Universe Hypothesis
[ w ] Peano Axioms
[ w ] Philosophy of Mathematics [ SEP ]
[ w ] Quasi Empiricism in Math
[ w ] Realism