aboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays
About this episode
Jan von Plato joins the hosts to discuss the hidden history and key figures of the 1930s logic revolution.
aboutlogic #18 | What really happened in the 1930s logic revolution? Jan von Plato (University of Helsinki, ERC Grantee) joins Deniz and Thorsten to uncover the hidden collaborations, misunderstandings, and lost manuscripts that shaped modern logic. From Gödel’s unpublished notes to Gentzen’s lost normalization proof and Bernays’ pivotal role in Hilbert’s school, this episode reveals how the history of logic is far richer—and more interconnected—than we often assume.
People in this episode
Hosts: Deniz Sarikaya, Thorsten Altenkirch
Guest: Jan von Plato
Topics covered
- history of logic
- Gödel
- Gentzen
- Bernays
- logic revolution
- collaborations
- manuscripts
Keywords
- logic
- Gödel
- Gentzen
- Bernays
- history
- collaboration
- manuscripts
Mentioned in this episode
Organizations: University of Helsinki, Hilbert’s school
More episodes of aboutlogic
- aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)
- aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory
- aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman
- aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory
- aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer Science
- aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics
Explore listener stats, chart rankings, contacts and more on the aboutlogic podcast page.