Statements (63)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Mathematician
|
| gptkbp:alma_mater |
gptkb:University_of_Vienna
|
| gptkbp:awards |
gptkb:political_movement
|
| gptkbp:birth_date |
1906-04-28
|
| gptkbp:death_date |
1978-01-14
|
| gptkbp:field |
gptkb:Mathematician
|
| https://www.w3.org/2000/01/rdf-schema#label |
Kurt Gödel Jr.
|
| gptkbp:influenced |
gptkb:John_von_Neumann
|
| gptkbp:influenced_by |
gptkb:David_Hilbert
|
| gptkbp:known_for |
gptkb:Mathematician
gptkb:collection Incompleteness Theorems |
| gptkbp:nationality |
gptkb:Monarch
|
| gptkbp:spouse |
Adele Nimbursky
|
| gptkbp:work |
Gödel's Incompleteness Theorems
The Continuum Hypothesis The Philosophy of Mathematics The Consistency of the Axiom of Choice Gödel's Completeness Theorem On Formally Undecidable Propositions The Dialectica Interpretation The Role of Logic in Mathematics The Influence of Gödel's Work on Mathematical Research The Influence of Gödel's Work on Mathematical Logic The Relationship between Gödel's Theorems and Mathematical Intuition The Implications of Gödel's Theorems for Philosophy The Relevance of Gödel's Theorems to the Study of Mathematics The Philosophical Significance of Gödel's Theorems The Impact of Gödel's Work on the Philosophy of Mathematics The Role of Gödel's Theorems in Mathematical Proofs The Significance of Gödel's Work for the Philosophy of Logic Consistent Extensions of Axiomatic Systems The Significance of Gödel's Work in the 20th Century The Role of Gödel's Theorems in Understanding Mathematical Concepts The Relevance of Gödel's Work to Artificial Intelligence The Axiom of Choice and the Continuum Hypothesis The Impact of Gödel's Work on Computer Science The Impact of Gödel's Work on the Study of Logic The Incompleteness of Formal Systems The Incompleteness of Mathematics The Legacy of Gödel's Theorems The Legacy of Gödel's Theorems in Logic The Legacy of Gödel's Theorems in Mathematics The Nature of Mathematical Truth The Relationship between Logic and Mathematics The Relationship between Mathematics and Reality The Relevance of Gödel's Theorems to Modern Logic The Significance of Gödel's Theorems The Use of Gödel's Theorems in Modern Mathematics The Undecidable Propositions of Principia Mathematica The Relationship between Gödel's Theorems and Computability The Role of Gödel's Theorems in Understanding Mathematical Truths The Relevance of Gödel's Theorems to Mathematical Practice The Influence of Gödel's Work on Mathematical Philosophy The Impact of Gödel's Work on Mathematics Education The Significance of Gödel's Work for Theoretical Computer Science The Relationship between Gödel's Theorems and Set Theory The Relationship between Gödel's Theorems and Mathematical Realism The Impact of Gödel's Theorems on the Foundations of Mathematics The Philosophical Implications of Gödel's Work for Logic The Philosophical Implications of Gödel's Theorems |
| gptkbp:bfsParent |
gptkb:Kurt_Gödel
|
| gptkbp:bfsLayer |
4
|