‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths
His two incompleteness theorems, published in 1931, transformed mathematics and paved the way for the digital age.
Key points
- After his seminal results of the 1930s, Gödel published only a few papers.
Kurt Gödel left 1,009 pages of densely written text – much of it in an obsolete shorthand – which is now said to contain hundreds of proved theorems The Austrian logician Kurt Gödel was one of the most original thinkers of the 20th century.
His unpublished work, however, runs to tens of thousands of pages, and is of great interest to historians of science.
How this summary was made: extractive summary — built from the sources' own reporting. It is drawn only from the reporting of the sources listed below — read the originals for full detail. How we summarize →
Advertisement
Every article behind this summary — 1 article from 1 outlet
Get stories like this in your inbox.
Subscribe — it's freeOne free email at 6am — your topics, deduplicated, five minutes. No account, no paywall.