Sergei Artemov - Missing Proofs and the Provability of Consistency (Gödel Conference) @weizsacker-zentrumuniversi3136

Uploaded August 2021 | Updated September 2026, 1 hour 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, Artemov's talk was part of the "Provability Predicates" section.

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

Sergei Artemov - Missing Proofs and the Provability of Consistency (Gödel Conference)

Bruno Barras - Type Theory in Set Theory, in Type Theory (Gödel Conference)

Reinhard Kahle - The Formalized Consistency Statement Revisited

Jens Lemanski - Multimodality in natural and artificial intelligence: Philosophical Perspectives

Carlo Nicolai - Inexhaustibility and Implicit Commitment (Gödel Conference)

Benedikt Poggel - Quantencomputing für die Anwendung – Grundlagen, Chancen, Herausforderungen

Christopher Shields - The Univocity of Existence

Mirna Džamonja - Truth in Mathematics (Gödel Conference)

Michele Contente - The Nature and Extent of Constructive Predicativity

Peter Dybjer - A Note on Generalized Algebraic Theories and Categories with Families (Gödel)

Jacob Stegenga (University of Cambridge)

Dr. Maël Pégny (CFvW Zentrum): Algorithmic Fairness and the Epistemic Limitations of Bureaucracy