ERC Advanced Grant · 2024
The hidden heritage of modern logic
The project's aims are the transcription from shorthand and study of the writings of Kurt Gödel, Gerhard Gentzen, and Paul Bernays on the main problem of the foundations of mathematics, namely the consistency of analysis. These rich sources have remained inaccessible because of their archaic shorthand. Previous work by the PI on Gödel's and Gentzen's shorthand notes has led to stunning discoveries published in many articles and eight books, but it has left the said main problem untouched. The most important uncharted source in Gödel are his 16 "Arbeitshefte," each running up to a hundred pages, and developing topics such as intuitionistic analysis and computable functionals. With Gentzen,…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.