← All news

Artificial Intelligence

‘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 The Austrian logician Kurt Gödel was one of the most original thinkers of the 20th century.

Read the full story on The Guardian Technology.

Read at source (opens in a new tab)

Latest from The Guardian Technology