Albrecht Visser - Provability According to Kreisel, Löb, Feferman (Gödel Conference) @weizsacker-zentrumuniversi3136

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

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

Albrecht Visser - Provability According to Kreisel, Löb, Feferman (Gödel Conference)

Prof. Dr. Maximilian Schich (Tallinn University, Estonia): Cultural Analysis Situs

Dr. Christian Feldbacher-Escamilla (Düsseldorf): AI for a Social World – A Social World for AI

Oliver Buchholz: A Falsificationist Account of Artificial Neural Networks

Ulrich 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

Philipp Stecher (Tübingen): Concepts lifecycle in artificial intelligent systems

Dr. Richard Lawrence: Hankels formalism, Freges logicism, and the analytic-synthetic distinction

Guus Eelink - Falsehood without Reference to the Unreal

Maria Osório Costa - A B-eS approach to Bilateralism

Akihiro Kanamori - The Set Theory in Gödels Resultate Grundlagen (Gödel Conference)