aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & 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.
Podzilla Summary coming soon
Sign up to get notified when the full AI-powered summary is ready.
Free forever for up to 3 podcasts. No credit card required.
Listen to This Episode
More from aboutlogic
aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox
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
Get summaries like this every morning.
Free AI-powered recaps of aboutlogic and your other favorite podcasts, delivered to your inbox.
Free forever for up to 3 podcasts. No credit card required.