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