Thierry Coquand - Internal Models of Type Theory (Gödel Conference) @weizsacker-zentrumuniversi3136

Uploaded August 2021 | Updated September 2026, 19 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, Coquand's talk was part of the "Type Theory in Type Theory" section.

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

Thierry Coquand - Internal Models of Type Theory (Gödel Conference)

Samuel Schindler - Scientific Discovery and AI

Stefan Neuwirth - Paul Lorenzens Reception of Gödels Incompleteness Theorems (Gödel Conference)

Ryo Takemura - A completeness theorem in proof-theoretic semantics via set-theoretic semantics

John Zerilli - Explaining Machine Learning Decisions (AI MEETS LAW – Rechtsfakultät)

Victor Luis Barroso Nascimento - On the power and flexibility of base-extension semantics

Simona Ronchi della Rocca - Characterising Probalistic Termination (Gödel Conference)

S. Zezulka - Predictions and politics: communicative rationality in prediction-allocation problems

Tim Lethen - Gödels Theological Notes (Gödel Conference)

Maël Pegny - Some limitations of algorithmic fairness, and their relations with knowledge

Prof.Dr. Kristian Kersting: Systemische KI

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