Séminaire :
Séminaire Manuscrits scientifiques / 2023-202405/10/2023, ÉNS, 45 rue d'Ulm, 75005 Paris. Salle INFO1 (Ada Lovelace), 14h-16h.
Jan von Plato (Université d’Helsinki), ERC Advanced Grant project GODELIANA.
Kurt Gödel (1906-1978) ceased to publish new results on logic and foundations of mathematics in 1939, but he left behind literally thousands of pages of notes on the topic, written in an archaic German shorthand. The systematic study of these notes began in 2017 and has revealed many things: How Gödel became a logician and how he found his famous completeness and incompleteness theorems and other published results. Secondly, there is a whole book-length very clearly written summary of results he considered finished, the « Resultate Grundlagen » of 1940-42, most of it new results on set theory and intuitionistic logic. This study has been conducted within the ERC Advanced Grant project GODELIANA based at the University of Helsinki.
Illustration: draft for a reply letter to von Neumann that begins with the words: Lieber Herr von Neumann.
Séance organisée en collaboration avec le séminaire Mathématiques 19e-21e, histoire et philosophie de SPHERE.