A deep dive into the foundations of natural numbers: the five Peano axioms (lovingly called the Pino Axioms in our conversation), how they generate all of arithmetic through induction, the surprising world of non-standard models, Gödel’s incompleteness, and their real‑world impact from computing to formal reasoning. Guided by a Fields Medalist, this episode blends history, intuition, and paradox to reveal the power—and limits—of formal arithmetic.
Note: This podcast was AI-generated, and sometimes AI can make mistakes. Please double-check any critical information.
Sponsored by Embersilk LLC
Fler avsnitt av Intellectually Curious
Visa alla avsnitt av Intellectually CuriousIntellectually Curious med Mike Breault finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.
