Kurt Gödel
1906 – 1978 · Czech Republic · Mathematics, Philosophy
Incompleteness theorems set permanent limits on formal systems.
Index entry
Kurt Gödel is currently a short index entry. The research desk can draft the full profile — achievements, works, living legacy and what is documented about the family line.
Expand this profileTalks and interviews
Continuity of ideas
Who shaped Kurt Gödel, and who they shaped
Inherited from1
- Georg Cantor
1845 – 1918 · Mathematics
Set theory and the continuum problem are the terrain of Gödel's consistency results.
Passed the work to1
- Alan Turing
1912 – 1954 · Mathematics, Computing
Incompleteness is the result Turing recast as the halting problem with a machine model.
Sources and references
Numbered markers in the text above point to the entries below. Each links to a primary document, archival collection or scholarly reference where the claim about Kurt Gödel can be checked.
- 1.Primary texts and first editions by or about Kurt Gödel
Internet Archive · Primary source
- 2.Catalogued holdings and archival finding aids for Kurt Gödel
WorldCat (OCLC) · Archive
Nearby in the annals
Hypatia of Alexandria
360 – 415Mathematician and astronomer murdered by a mob; symbol of learning against zealotry.
Aryabhata
476 – 550Gave place-value, an accurate π, and a rotating Earth in 499 CE.
Brahmagupta
598 – 668First to treat zero as a number and define rules for negatives.