CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project aims to transcribe and study the writings of notable mathematicians on the foundations of mathematics, particularly focusing on the consistency of analysis. It seeks to make previously inaccessible shorthand notes available for scholarly interpretation and historical analysis.
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 mo…
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
