Yong Cheng - The Landscape of Gödel's Incompleteness Theorems (Gödel Conference) @weizsacker-zentrumuniversi3136

Uploaded August 2021 | Updated September 2026, 14 hours 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, Cheng's talk was part of the "Cut-elimination and Herbrand's Theorem" section.
A corrected version of his slides can be found here: bit.ly/3ip4yzA

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

Yong Cheng - The Landscape of Gödels Incompleteness Theorems (Gödel Conference)

Federico Pailos - Naive non-substructural solutions to the Validity Paradox

Anton Freund - A Uniform Picture of Gap Condition and Collapsing Functions (Gödel Conference)

Prof. Dr. Mathias Frisch (Hannover): Uses and misuses of models in pandemic policy advice

Øystein Linnebo - Potentialism and Critical Plural Logic (Gödel Conference)

Helen Longino - Critical Contextual Empiricism, Diversity and Inclusiveness

Prof. Dr. Reinhard Kahle: Primzahlen als Herausforderung

Thorsten Altenkirch - Incompleteness in Type Theory (Gödel Conference)

Prof. Dr. Paolo Pistone - The garden of forking paths

Lorenzo Sauras-Altuzarra - Generalization of Arithmetical Proofs (Gödel Conference)

Sam Buss - Gödel and the Lengths of Proofs (Gödel Conference)

Anela Lolic - Proof Analysis with CERES (Celebrating Gödel Conference)