‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths
<p>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</p><p>The Austrian logician Kurt Gödel was one of the most original thinkers of the 20th century. His two <a href="https://www.theguardian.com/science/2022/jan/10/can-you-solve-it-godels-incompleteness-theore