|
gptkbp:instance_of
|
gptkb:collection
|
|
gptkbp:discusses
|
Undecidability
Mathematical Proofs
Logical Paradoxes
Mathematical Truth
Limits of Formal Systems
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Gödel's works
|
|
gptkbp:includes
|
Consistency of the Continuum Hypothesis
Incompleteness Theorems
Gödel's Completeness Theorem
On Formally Undecidable Propositions
|
|
gptkbp:influenced
|
gptkb:Mathematician
Computer Science
Mathematical Logic
|
|
gptkbp:inspired
|
gptkb:Artificial_Intelligence
Cognitive Science
Mathematical Research
Philosophical Debates
Computer Algorithms
|
|
gptkbp:is_available_in
|
gptkb:Libraries
Public Domain
Online Archives
|
|
gptkbp:is_cited_in
|
gptkb:Martin_Davis
gptkb:Noam_Chomsky
gptkb:John_von_Neumann
gptkb:Alan_Turing
gptkb:Stephen_Cole_Kleene
|
|
gptkbp:is_recognized_by
|
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:political_movement
gptkb:Royal_Society_of_London
gptkb:Gottfried_Wilhelm_Leibniz_Prize
|
|
gptkbp:published_by
|
gptkb:1940
gptkb:1964
1931
1947
1951
|
|
gptkbp:related_to
|
gptkb:collection
Philosophy of Language
Computability Theory
Model Theory
Proof Theory
|
|
gptkbp:translated_into
|
gptkb:French
gptkb:Spanish
gptkb:Native_American_tribe
English
|
|
gptkbp:bfsParent
|
gptkb:Gödel's_original_paper
|
|
gptkbp:bfsLayer
|
6
|