Episode 87 · The Machine's Theorems (Deep End, Ep 69–88), part 19 of 20
Physics Meets Proof: Plasmas, Spin Glasses and Other PDEs
Engineers live inside partial differential equations: heat, flow, elasticity, electromagnetism. This episode takes the release's physics families one equation at a time and asks the question the whole series has circled: when does a physical equation stay smooth forever, and when does it break? Farah connects plasma physics, fracture mechanics and seismic inversion to her daily work; Augustin connects them back to Leray. Every claim carries its tier.
Listen to the show on your preferred podcast platform.
Listen on Spotify ↗Listen on Apple Podcasts ↗Listen on Pocket Casts ↗Listen on Podcast Addict ↗Listen on Castbox ↗Listen on TuneIn ↗
Inside this episode
- Cold open: the solver that wouldn't diverge
- Where we are
- The scorecard idea: smooth forever, or blowup?
- A two-minute refresher: three families of equations
- Vlasov–Maxwell: a plasma that stays smooth
- Why a Lean check for a PDE result is unusual
- Boltzmann: two different futures from one past
- Schrödinger: when blowup is stable
- Hot spots: where's the hottest point on a metal plate?
- Interlude: Farah runs the plate
- De Giorgi and Mumford–Shah: phase boundaries and cracks
- Inverse problems: can you see inside an elastic body?
- Spin glasses and the Mézard–Parisi formula
- Magnets and quantum chains: Bloch, Haldane, Laughlin
- Optimal transport: moving sand, and a Lean-listed geometry claim
- Cold atoms and quantum depletion
- Entanglement and the area law
- The fluid that computes
- Which equations break, and why: the scorecard
- Why it matters for an engineer
- Ledger and closing
Production credits & AI disclosure
Scripts generated with Claude Opus. Synthetic narration generated with Edge TTS. Reviewed, listened to, and approved by Sankalp Thakur.