Foundations of mathematics

URI: https://gptkb.org/entity/Foundations_of_mathematics

GPTKB entity

Statements (79)

Predicate	Object
gptkbp:instanceOf	gptkb:academic gptkb:mathematics
gptkbp:concerns	axiomatic systems completeness of mathematics consistency of mathematics foundational crisis of mathematics soundness of mathematics
https://www.w3.org/2000/01/rdf-schema#label	Foundations of mathematics
gptkbp:includes	gptkb:Platonism gptkb:logic gptkb:set_theory gptkb:category_theory constructivism formal semantics logicism model theory proof theory recursion theory intuitionism predicativism
gptkbp:notableFigure	gptkb:Alan_Turing gptkb:Alfred_North_Whitehead gptkb:Alonzo_Church gptkb:Augustin-Louis_Cauchy gptkb:Bertrand_Russell gptkb:Dana_Scott gptkb:David_Hilbert gptkb:Emil_Post gptkb:Ernst_Zermelo gptkb:Felix_Hausdorff gptkb:Georg_Cantor gptkb:Giuseppe_Peano gptkb:Gottlob_Frege gptkb:Henri_Poincaré gptkb:Jean-Pierre_Serre gptkb:John_Myhill gptkb:John_von_Neumann gptkb:Kurt_Gödel gptkb:Leopold_Kronecker gptkb:Paul_Bernays gptkb:Paul_Cohen gptkb:Paul_Erdős gptkb:Richard_Dedekind gptkb:Saunders_Mac_Lane gptkb:Solomon_Feferman gptkb:Stanislaw_Ulam gptkb:Wilhelm_Ackermann gptkb:Ernst_Schröder gptkb:Jean-Yves_Girard gptkb:Per_Martin-Löf gptkb:Thoralf_Skolem gptkb:William_Lawvere gptkb:Andrzej_Mostowski gptkb:Harvey_Friedman gptkb:Jean_Dieudonné gptkb:Errett_Bishop gptkb:Georg_Boole gptkb:Georg_Kreisel gptkb:Gerhard_Gentzen gptkb:Jean-Louis_Krivine gptkb:Jean-Pierre_Marquis gptkb:Jean_Bénabou gptkb:Jean_van_Heijenoort gptkb:L.E.J._Brouwer gptkb:Michael_Morley gptkb:Stephen_Cole_Kleene
gptkbp:relatedTo	gptkb:Church–Turing_thesis gptkb:Gödel's_incompleteness_theorems gptkb:Hilbert's_program gptkb:Russell's_paradox gptkb:Zermelo–Fraenkel_set_theory gptkb:Peano_axioms gptkb:first-order_logic gptkb:second-order_logic Turing machines
gptkbp:studies	basic concepts of mathematics logical structure of mathematics
gptkbp:bfsParent	gptkb:set_theory
gptkbp:bfsLayer	4