Sam Buss - Gödel and the Lengths of Proofs (Gödel Conference) @weizsacker-zentrumuniversi3136
Sam Buss - Gödel and the Lengths of Proofs (Gödel Conference)  @weizsacker-zentrumuniversi3136
Uploaded August 2021 | Updated September 2026, 21 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, Buss' talk was part of the "Recursion-Theoretic Approaches to Computation and Complexity" section.

To learn more about the conference and speakers, click here:
bit.ly/3iuV5FI
Sam Buss - Gödel and the Lengths of Proofs (Gödel Conference)Anela Lolic - Proof Analysis with CERES (Celebrating Gödel Conference)Prof. Dr. Klaus Mainzer: Wie sicher ist KI?Eric Oberheim - Paul Feyerabend: From the Limited Validity of Falsificationism to ‘Anything Goes!’Dr. Maël Pégny: Machine Learning and Privacy: Whats Really New?Harvey Friedman - Gödels Incompleteness Theorems (Gödel Conference)Albrecht Visser - Provability According to Kreisel, Löb, Feferman (Gödel Conference)Prof. Dr. Maximilian Schich (Tallinn University, Estonia): Cultural Analysis SitusDr. Christian Feldbacher-Escamilla (Düsseldorf): AI for a Social World – A Social World for AIOliver Buchholz: A Falsificationist Account of Artificial Neural NetworksUlrich Berger - From Brouwers Thesis to the Fan Functional (Gödel Conference)Ladislav Kvasz - Theories of Thomas Kuhn & Imre Lakatos and their applicability to history of logic
Weizsäcker-Zentrum Universität Tübingen |

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

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER