Summary Of: Foundations of mathematics

Encyclodia Page On: Foundations of mathematics

These Are Links To Other Documents

mathematics | mathematical logic | axiomatic set theory | proof theory | model theory | type theory | recursion theory | philosophy of mathematics | mathematical statements | true | Philosophy of mathematics | Kurt Gödel | Platonist mathematical realism | Kurt Gödel | effectiveness | Formalism (mathematics) | David Hilbert | David Hilbert | axiomatic set theory | formal logic | theorems | axioms of set theory | laws of arithmetic | reverse mathematics | computational complexity theory | Formal logical systems | inconsistency | Peano arithmetic | consistency | finitary | Gödel's second incompleteness theorem | consistency | L. E. J. Brouwer | intuitionism | constructivism | Brouwer | Stephen Kleene | reductio ad absurdum | theories | mathematical practice | social group | cognitive science of mathematics | Logicism | Bertrand Russell | Alfred North Whitehead | Gottlob Frege | German | philosophy of mathematics | mathematics | paradoxes | Russell's paradox | inconsistent | formalist | David Hilbert | Hilbert's program | metamathematical | finitistic | intuitionist | L. E. J. Brouwer | Mathematische Annalen | Gödel's incompleteness theorems | Gödel's | arithmetic | formal system | constructive mathematics | ZFC | logic | category theory | | citations | verification | reliable references | challenged | removed | prime number theorem | PRA | Diophantine equations | Brouwer-Hilbert controversy | Controversy over Cantor's theory | Epistemology | Euclid's Elements | Liar paradox | New Foundations | Philosophy of mathematics | Principia Mathematica | Quasi-empiricism in mathematics | Mathematical thought of Charles Peirce | ISBN | 0387942807 | Platonism | Gödel | Formalism | Intuitionism | Eves, Howard | ISBN 0-486-69609-X | Hersh, R. | Hilbert, D. | Kleene | ISBN | 0-7204-2103-9 | Intuitionism | Formalism | Putnam, Hilary | doi | A. S. Troelstra | Tymoczko, T. | Tymoczko, T. | Weyl, H. | Wilder, Raymond L. | Categories | Mathematical logic | History of mathematics | Philosophy of mathematics | Articles needing additional references from July 2008 | All articles needing additional references |