Prof. Dr. Jan von Plato (University of Helsinki): How Gödel discovered his incompleteness theorems @weizsacker-zentrumuniversi3136

Uploaded October 2021 | Updated September 2026, 18 hours ago

Recorded in the Carl Friedrich von Weizsäcker Colloquium on the 20th of October 2021

Prof. Dr. Jan von Plato (University of Helsinki): How Gödel discovered his incompleteness theorems

Gödel surprised the mathematical world by his famous incompleteness theorems of arithmetic of 1931. The way he arrived at these results is described against two shorthand notebooks of his that have been recently transcribed.

Prof. Dr. Jan von Plato (University of Helsinki): How Gödel discovered his incompleteness theorems

Duarte Maia - An Introduction to Reverse Math

Dr. Justin Vlasits: Accuracy and the Epistemic Value of Inquiry

Prof. Dr. Federico Pailos (Buenos Aires): Why metainferences matter

Dr. Edson Bezerra - Non-standard accessibility relations for many-valued modal logics

Michel Janssen - COI Stories II: Inferences or Incentives?

Anna Hoffmann - KI-Kontextanalysen als notwendiges Entscheidungswerkzeug für Machine Learning

Prof. Dr. Eberhard Knobloch: Leibnizens Konzept einer ars characteristica oder ars combinatoria

Manuela Fernández Pinto (Universidad de los Andes)

Helen Preiß - What Replaces Diagonalisation in Boolos Proof of the First Incompleteness Theorem?