Jan von Plato - Gödel's First Steps in Logic: From Carnap's Axiomatic Exercises to Incompleteness

This talk is part of the "Celebrating 90 Years of Gödel's Incompleteness Theorems" conference, organized by the Carl-Friedrich-von-Weizsäcker Center, the Kurt Gödel Society and the ERC-funded project Gödel Enigma.

Divided into nine workshops, von Plato's talk was part of the "Aspects of Gödel's Unpublished Work" section.

To learn more about the conference and speakers, click here: