Free Daily Podcast Summary
aboutlogic: Daily Summaries Delivered
by Deniz Sarikaya, Thorsten Altenkirch
We are a new bi-weekly podcast where logic, mathematics, philosophy, and computer science meet. aboutlogic features in-depth conversations with people working in and around the foundations of these subjects. We talk about topics ranging from the foundations of computer science and set theory to critical thinking, puzzles, and what academic life is really like—its motivations, frustrations, and surprises.
Latest Episodes
The most recent episodes — sign up to get AI-powered summaries of each one.
- 2 days ago1h 24m
aboutlogic #13 | Joel David Hamkins – Set Theory, Pluralism & the Multiverse View
aboutlogic #13 | In this episode of aboutlogic, we’re joined by Joel David Hamkins, professor at the University of Notre Dame and a leading figure in set theory, mathematical logic, and the philosophy of mathematics. Joel shares his insights into the multiverse view of set theory, a perspective that challenges the traditional "universe view" by embracing a pluralistic approach to mathematical truth. We explore how this view connects to constructivism, potentialism, and the foundations of mathematics, and discuss its implications for understanding concepts like the Continuum Hypothesis (CH) and the nature of mathematical reality. Joel also reflects on the historical contingency of mathematical axioms, the role of categoricity in mathematics, and how different philosophical perspectives, such as Platonism, formalism, and fictionalism, shape the way mathematicians approach their work. Whether you're a mathematician, philosopher, or simply curious about the foundations of logic, this conversation offers a deep dive into the diverse and evolving landscape of mathematical thought.
- 2 weeks ago59 min
aboutlogic #12 | Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory
aboutlogic #12 | In this episode of aboutlogic, we’re joined by UrsSchreiber, a senior scientist at New York University Abu Dhabi. Urs shares insights into his work at the intersection of quantum physics, topos theory, and homotopy type theory. We explore how these advanced mathematical frameworks help address fundamental questions in physics, from understanding gauge fields to the role of higher category theory in describing the universe. Urs also discusses the historical and philosophical connections between physics and logic, and how modern mathematics is shaping our understanding of reality.
- May 6, 20261h 3m
aboutlogic #11 | Season 1 Recap: Feedback, Highlights & Season 2 Preview
aboutlogic #11 | In this special Season 1 Recap of aboutlogic, Deniz and Thorsten reflect on your comments and feedback, revisit some of the most intriguing topics, and look back at all the incredible guests from the first season. What were the highlights? What did we learn? And what’s in store for Season 2? Join us for a wrap-up filled with insights, gratitude, and a sneak peek at what’s next.
- Apr 22, 202652 min
aboutlogic #10 | Seunghyun Song & Jordi Fairhurst – ABC Conjecture, Epistemic & Linguistic Justice
aboutlogic #10 | In this episode, we talk with Seunghyun Song and Jordi Fairhurst about the ABC conjecture, the importance of epistemic justice, and the role of linguistic justice in non-Western mathematical traditions. How do diverse perspectives reshape our understanding of mathematics? Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
- Apr 8, 202648 min
aboutlogic #09 | Andrej Bauer – 5 Stages of Accepting Intuitionistic Math & Proofs by Contradiction
aboutlogic #09 | In this episode, we talk with Andrej Bauer about the five stages of accepting intuitionistic mathematics and the challenges surrounding proofs by contradiction. Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
- Mar 25, 202646 min
aboutlogic #08 | Deborah Kant – Talking with Set Theorists: Insights in Mathematical Philosophy
aboutlogic #08 | In this episode, Deborah Kant presents findings from her interview study with set theorists, exploring the relationship between philosophy and empirical methods in mathematics. Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
- Mar 11, 202649 min
aboutlogic #07 | Alexander Steen – Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics
aboutlogic #07 | We’re joined by Alexander Steen, who works on logics to be used in legal contexts. In this episode, we talk about the relationship between ethics and law, how good old-fashioned artificial intelligence can help legal practitioners, and how to use theorem proving practices for this. Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
- Feb 25, 202647 min
aboutlogic #06 | Colin Rittberg – Philosophy & Sociology of Mathematics, Epistemic Injustice
aboutlogic #06 | We’re joined by Colin Rittberg to discuss the philosophy and sociology of mathematics and the concept of epistemic injustice within mathematical communities.
About aboutlogic
We are a new bi-weekly podcast where logic, mathematics, philosophy, and computer science meet. aboutlogic features in-depth conversations with people working in and around the foundations of these subjects. We talk about topics ranging from the foundations of computer science and set theory to critical thinking, puzzles, and what academic life is really like—its motivations, frustrations, and surprises.
Customized Recaps
AI-powered recaps with compact key takeaways, quotes, and insights.
Straight to Your Inbox
Get key takeaways from aboutlogic in a 5-minute read.
Save Hours Every Week
Stay current on your favorite podcasts without falling behind.
Frequently Asked Questions
What is Podzilla's aboutlogic daily summary?
It's a free AI-powered email that summarizes new episodes of aboutlogic as soon as they're published. You get the key takeaways, notable quotes, and links & mentions — all in a quick read.
How does the aboutlogic podcast summary work?
When a new episode drops, our AI transcribes and analyzes it, then generates a personalized summary tailored to your interests and profession. It's delivered to your inbox every morning.
Is this an official aboutlogic product?
No. Podzilla is an independent service that summarizes publicly available podcast content. We're not affiliated with or endorsed by Deniz Sarikaya, Thorsten Altenkirch.
Can I get summaries of other podcasts too?
Absolutely! The free plan covers up to 3 podcasts. Upgrade to Pro for 15, or Premium for 50. Browse our full catalog at /podcasts.
How often does aboutlogic release new episodes?
aboutlogic publishes biweekly. Our AI generates a summary within hours of each new episode.
What topics does aboutlogic cover?
aboutlogic covers topics including Science, Mathematics, Philosophy, Culture, Society & Culture. Our AI identifies the specific themes in each episode and highlights what matters most to you.
Start getting aboutlogic summaries tomorrow morning.
Free forever for up to 3 podcasts. No credit card required.
Free forever for up to 3 podcasts. No credit card required.