About this episode

This episode explores Domain Theory and its implications in modern computing and mathematics.

Could a machine build a replica of itself, or would the physical universe snap under the weight of the paradox? In classical mathematics, the moment you allow "self-application"—feeding a machine its own blueprint—the foundational logic crumbles into Russell’s Paradox. Yet, in modern computing, software "eats itself" millions of times a second through recursive loops and functions that take themselves as inputs. In this episode of the Math Deep Dive Podcast , we explore Domain Theory , the hidden mathematical scaffolding that gives rigorous meaning to the code running our modern world. We journey back to the late 1960s to witness the high-stakes "academic fireworks" between pragmatic engineer Christopher Strachey and strict logician Dana Scott . Discover how Scott, in an attempt to prove the "lawless" nature of computer science, accidentally discovered a new geometry where a piece of data can simultaneously act as a function: the mathematical shape-shifter . Key topics we’ll untangle in this deep dive: Denotational Semantics: The art of finding the "furry animal" (the mathematical object) behind the written syntax of code. The…

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.