About this episode

The episode explores the evolution and impact of dependent type theory in mathematics and computer science.

Dependent Type Theory: A Revolution in Math & Computer Science | aboutlogic: premises #05 What makes dependent type theory so powerful? In this aboutlogic: premises episode, Deniz and Thorsten explore the evolution of type theory. From simple types to Pierre Martin-Löf’s groundbreaking dependent types. Discover how this innovation transformed mathematics and computer science by allowing types to depend on values, enabling more expressive and precise reasoning.

People in this episode

Hosts: Deniz Sarikaya, Thorsten Altenkirch

Topics covered

• Dependent Type Theory
• Type Theory
• Mathematics
• Computer Science
• Expressive Reasoning

Keywords

• dependent type theory
• type theory
• mathematics
• computer science
• expressive reasoning
• Pierre Martin-Löf

More episodes of aboutlogic

• aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic) · September 9, 2026 · 41 min
• aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory · September 2, 2026 · 30 min
• aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman · August 26, 2026 · 1h 1m
• aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory · August 19, 2026 · 27 min
• aboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays · August 13, 2026 · 1h 3m
• aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics · July 29, 2026 · 1h 16m

Explore listener stats, chart rankings, contacts and more on the aboutlogic podcast page.