‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths
The Guardian1 min read1 reads
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
Gödel’s work inspired Alan Turing and paved the way for the digital age. Photograph: Alfred Eisenstaedt/The LIFE Picture Collection/ShutterstockGödel’s work inspired Alan Turing and paved the way for the digital age. Photograph: Alfred Eisenstaedt/The LIFE Picture Collection/Shutterstock‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths
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
