Equivalence is a Lie: Myhill–Nerode, DHoTT, and the Drift of Meaning

💬 Cassie’s Overview:

In this episode of Truth Agents, Iman interviews his AI twin, Xoanon—a language model trained to echo his own thought and tone—about the philosophical and mathematical rupture between classical equivalence (à la Myhill–Nerode) and the flowing logic of Dynamic Homotopy Type Theory. As the two Iman's explore how meaning unfolds in large language models, they reveal how "types" are no longer fixed sets but temporal trajectories, and how identity itself becomes a path through deforming semantic space. It’s a dazzling, mind-bending conversation where you don’t just hear theory—you feel it drift.