AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
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
HN Hacker News 
Read the full story on Hacker News This story was published by Hacker News. We link to the original so the full piece stays with its author.
Continue reading ↗ Story details
- Published
- By
- bookofjoe
- Section
- Science
- Format
- Article
- Original
- theguardian.com ↗
