A friendly tour of manifolds: how zooming in reveals flat space, how charts and transition maps stitch patches on curved spaces like the Earth, and how tangent spaces and metrics let us do calculus and physics on curved spacetime. From circles to spheres to general relativity, this episode unpacks one of math’s most powerful ideas. Brought to you by Embersilk (embersilk.com). Note: This podcast was AI-generated, and sometimes AI can make mistakes. Please double-check any critical information....
All content for Intellectually Curious is the property of Mike Breault and is served directly from their servers
with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
A friendly tour of manifolds: how zooming in reveals flat space, how charts and transition maps stitch patches on curved spaces like the Earth, and how tangent spaces and metrics let us do calculus and physics on curved spacetime. From circles to spheres to general relativity, this episode unpacks one of math’s most powerful ideas. Brought to you by Embersilk (embersilk.com). Note: This podcast was AI-generated, and sometimes AI can make mistakes. Please double-check any critical information....
From Aristotle’s future contingents to modern verification, we explore how temporal logic handles statements whose truth evolves over time. We trace the journey from Pryor’s tense logic to branching time with CTL and linear time with LTL, and unpack core operators like F, P, G, H, until, and release. Learn how these ideas power precise guarantees in software and hardware—such as eventual access or safe concurrency—and why they matter for today’s AI-enabled systems. Note: This podcast was AI-g...
Intellectually Curious
A friendly tour of manifolds: how zooming in reveals flat space, how charts and transition maps stitch patches on curved spaces like the Earth, and how tangent spaces and metrics let us do calculus and physics on curved spacetime. From circles to spheres to general relativity, this episode unpacks one of math’s most powerful ideas. Brought to you by Embersilk (embersilk.com). Note: This podcast was AI-generated, and sometimes AI can make mistakes. Please double-check any critical information....
