About this episode

This episode explores Linear Logic and its implications on mathematical truth and physical reality.

Is $1.00 actually infinite money? In classical mathematics, the answer is a surprising "yes"—but in the messy, physical reality of the universe, that logic falls apart. In this episode of the Math Deep Dive Podcast , we explore Linear Logic , a revolutionary framework that shatters the "foundational illusion" that mathematical truth is an eternal, inexhaustible resource. We move beyond abstract geometry and into a world where formulas are finite physical resources that must be created, consumed, and transformed. What’s inside this episode: The Vending Machine Paradox: Why traditional logic fails to account for the simple act of buying a pack of gum and how Jean-Yves Girard’s 1987 breakthrough fixed the "plumbing" of mathematics. The Logic Wars: Go behind the scenes of the 20th-century ideological battle between "Classical" and "Intuitionistic" logicians and see how Linear Logic finally married their competing visions. The "Linear Logic Cafe": We break down the intimidating symbols of logic—tensors, lollipops, and ampersands—using a simple restaurant menu analogy. From Theory to Reality: Discover how these abstract rules…

More episodes of Math Deep Dive

• Process Theory · September 8, 2026 · 48 min
• Foundations of Mathematics · September 1, 2026 · 48 min
• Quantum Mechanics · August 25, 2026 · 46 min
• Galois Theory · August 18, 2026 · 58 min
• Homotopy Type Theory · August 11, 2026 · 33 min
• Allegory · August 4, 2026 · 48 min

Explore listener stats, chart rankings, contacts and more on the Math Deep Dive podcast page.