Uploaded August 2021 | Updated September 2026, 1 day ago

---

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, Crocco and Cantù's talk was part of the "Philosophy of Mathematics after Gödel" section.

To learn more about the conference and speakers, click here:
bit.ly/3iuV5FI