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

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.

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