- Home
- Podcasts
- Arts
- Books
- Fashion & Beauty
- Food
- Performing Arts
- Visual Arts
- Business
- Careers
- Entrepreneurship
- Investing
- Management
- Marketing
- Non-Profit
- Comedy
- Comedy Interviews
- Improve
- Stand-Up
- Education
- Courses
- How To
- Language Learning
- Self-Improvement
- Fiction
- Comedy Fiction
- Drama
- Science Fiction
- Government
- Health & Fitness
- Alternative Health
- Fitness
- Medicine
- Mental Health
- Nutrition
- Sexuality
- History
- Kids & Family
- Education for Kids
- Parenting
- Pets & Animals
- Stories for Kids
- Leisure
- Animation & Manga
- Automotive
- Aviation
- Crafts
- Games
- Hobbies
- Home & Garden
- Video Games
- Music
- Music Commentary
- Music History
- Music Interviews
- News
- Business News
- Daily News
- Entertainment News
- News Commentary
- Politics
- Sports News
- Tech News
- Religion & Spirituality
- Buddhism
- Christianity
- Hinduism
- Islam
- Judaism
- Religion
- Spirituality
- Science
- Astronomy
- Chemistry
- Earth Sciences
- Life Sciences
- Mathematics
- Natural Sciences
- Nature
- Physics
- Social Sciences
- Society & Culture
- Documentary
- Personal Journals
- Philosophy
- Places & Travel
- Relationships
- Sports
- Baseball
- Basketball
- Cricket
- Fantasy Sports
- Football
- Golf
- Hockey
- Rugby
- Running
- Soccer
- Swimming
- Tennis
- Volleyball
- Wilderness
- Wrestling
- TV & Film
- After Shows
- Film History
- Film Interviews
- Film Reviews
- TV Reviews
- Technology
- True Crime
- Music
- Spatial Audio
- George Michael Covered
- Hits
- Charts
- New Music
- Apple Music Radio
- Punjabi
- Apple Music Live: Lil Durk
- Summertime Sounds
- Hip-Hop
- Country
- Feel Good
- Pop
- Latin
- Fitness
- Chill
- Alternative
- Punk
- Dance
- Party
- DJ Mixes
- Essentials
- Electronic
- Kids
- Family
- Up Next
- Christian
- Urbano Latino
- Musica Mexicana
- Decades
- Rock
- Classic Rock
- Hard Rock
- Metal
- Acoustic
- Indie
- Classical
- Jazz
- Romance
- Reggae
- Focus
- Motivation
- Pop Latino
- K-Pop
- C-Pop
- Soul/Funk
- Gospel
- Oldies
- Americana
- Audio Book
- Arts and Entertainment
- Latino
- Biographies and Memoirs
- Business
- Classics
- Comedy
- Drama and Poetry
- Mystery
- History
- Kids and Young Adults
- Languages
- News
- Nonfiction
- Romance
- Religion and Spirituality
- Sci-Fi and Fantasy
- Science
- Self Development
- Speakers and Storytellers
- Sports
- Technology
- Travel and Adventure
- Pages
- Blog
- Own Audio
Find the licence that's right for your business
Listen Show PodCast
Season 2 Recap: From Gödel to AI-Proved Math | aboutlogic #22
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic: premises #09 | Why Symbolic AI Failed — and Then Won
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #21 | Category Theory Meets Agentic AI | Neil Ghani (Kodamai)
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer Science
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic: premises #02 | Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
#14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic: premises #01 | Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #13 | Joel David Hamkins – Set Theory, Pluralism & the Multiverse View
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #12 | Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #11 | Season 1 Recap: Feedback, Highlights & Season 2 Preview
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #10 | Seunghyun Song & Jordi Fairhurst – ABC Conjecture, Epistemic & Linguistic Justice
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #09 | Andrej Bauer – 5 Stages of Accepting Intuitionistic Math & Proofs by Contradiction
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #08 | Deborah Kant – Talking with Set Theorists: Insights in Mathematical Philosophy
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #07 | Alexander Steen – Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #06 | Colin Rittberg – Philosophy & Sociology of Mathematics, Epistemic Injustice
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #05 | Steve Awodey – Homotopy Type Theory, Logic & Philosophy
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #04 | Graham Priest – Working with Contradictions & Paraconsistent Logics
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #02 | Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
aboutlogic Teaser | A Podcast on Logic, Mathematics & Philosophy
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.