Oct 21, 202658 min
What does set theory have to do with reality? Giovanni Sambin, Professor at the University of Padua and a leading figure in constructive mathematics, couldn't accept the standard axiomatic foundations of mathematics. So...
About this Podcast:
aboutlogic is a podcast on logic, foundations of mathematics, philosophy, and theoretical computer science. 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.
Pitch Analysis
Required Pod Score for this podcast. PitchCentric checks your profile against host openness, topical fit, and audience signals before you generate a pitch.
Contact path
Verified email
Booking probability
31%
Guest openness
Selective
80/100
Required Score
Sign up to generate a grounded pitch for aboutlogic.
Signup to Generate a PitchQuestions about aboutlogic
What is aboutlogic about?
aboutlogic is a podcast on logic, foundations of mathematics, philosophy, and theoretical computer science. 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.
What has aboutlogic covered recently?
Recent episodes include "aboutlogic #23 | Rebuilding Mathematics from the Ground Up | Giovanni Sambin" (21 October 2026, 58 minutes), "Season 2 Recap: From Gödel to AI-Proved Math | aboutlogic #22" (7 October 2026, 27 minutes), and "aboutlogic Premises #09 | Why Symbolic AI Failed, and Then Won" (30 September 2026, 31 minutes).
How often does aboutlogic publish?
aboutlogic publishes roughly weekly, with episodes averaging 44 minutes across 34 episodes.
How hard is it to get booked on aboutlogic?
Booking probability for aboutlogic is 31%, and the host is rated Selective on guests. aboutlogic requires a Pod Score of 80 or higher. aboutlogic's contact route on record: verified email.
Who should pitch aboutlogic?
The strongest fits for aboutlogic are Courses, Coaching & Lessons. aboutlogic has a science audience.
About the host
aboutlogic is a science podcast with 34 episodes published.
Verified host email: ████████@████.comSign in to unlock →
Recent episodes
Our AI reads these to draft pitches. Use them as grounding for a pitch that cites a real guest and a specific topic.
Oct 7, 202627 minSeason 2 Recap: From Gödel to AI-Proved Math | aboutlogic #22 Nine guests, four emerging themes, and one big question running through all of it: what happens to mathematics when symbolic reasoning and statistical AI...
- Sep 30, 202631 min
Why Symbolic AI Failed — and Then Won | aboutlogic Premises #09 Symbolic AI — "GOFAI" — was meant to be the foundation of machine intelligence, and it failed spectacularly in the 1980s. In this premises episode...
Sep 23, 202655 minCategory Theory Meets Agentic AI | Neil Ghani (Kodamai) Why does almost all agentic AI today run completely untyped — even though 40 years of type theory and category theory research says that's a mistake? Neil Ghani...
Sep 16, 202633 minChoice vs. Excluded Middle: A Constructive Paradox | aboutlogic: premises #08 Constructive mathematics is all about building things explicitly — so why does it reject the Axiom of Choice, which sounds trivial in a...
View More
Sep 9, 202641 minCan AI prove the Riemann Hypothesis? Tudor Achim, CEO of Harmonic and creator of Aristotle — the first AI to win IMO gold and solve Erdős problems using the Lean theorem prover — joins Deniz and Thorsten to discuss how...
aboutlogic
aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory
Sep 2, 202630 minFixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory How did mathematicians fix Russell’s paradox and save set theory? In this aboutlogic: premises episode, Deniz and Thorsten explore the solutions that...
aboutlogic
aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman
Aug 26, 20261h 1mHomotopy Type Theory, Narya & the Future of Proof Assistants with Michael Shulman. How does homotopy type theory bridge the gap between abstract mathematics and computational proof systems? Mike Shulman (University of...
Aug 13, 20261h 3maboutlogic #18 | What really happened in the 1930s logic revolution? Jan von Plato (University of Helsinki, ERC Grantee) joins Deniz and Thorsten to uncover the hidden collaborations, misunderstandings, and lost...
Aug 5, 202628 minDependent Type Theory: A Revolution in Math & Computer Science | aboutlogic: premises #05 What makes dependent type theory so powerful? In this aboutlogic: premises episode, Deniz and Thorsten explore the evolution of...
aboutlogic
aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics
Jul 29, 20261h 16maboutlogic #17 | Why is mathematics so effective in science? José Pérez Escobar (UNED, Madrid) joins Deniz and Thorsten to explore Wittgenstein’s philosophy of applied mathematics, the role of rules vs. structures in...
aboutlogic
aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI
Jul 22, 202628 minYour support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic How do interactive theorem provers like Lean and Agda change the way...
aboutlogic
aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI
Jul 15, 202650 minaboutlogic #16 | How is mathematical language structured, and what can linguistics teach us about proofs, ambiguity, and storytelling in math? In this episode, Bernhard Fisseni and Bernhard Schröder (University of...
Jul 8, 202638 minInspired by our conversation with Emily Riehl on higher category theory, this aboutlogic: premises episode dives into the synthetic vs. analytic approach in mathematics. Deniz and Thorsten explore how Euclid’s geometry...
Jul 1, 202659 minaboutlogic #15 | Emily Riehl (Johns Hopkins University) joins us to explore higher category theory, homotopy, and the role of AI in modern mathematics. From the foundations of category theory to the challenges of...
Jun 17, 202633 minaboutlogic #14 | Turing Award winner Dana Scott joins us to discuss his groundbreaking work on lambda calculus, forcing, and Boolean-valued models and how these ideas revolutionized set theory and computability. From...
Recent guests
Recent guests on aboutlogic. Study who booked and why before you pitch.
T
Tudor Achim
Co-Founder and CEO, Harmonic
E
Emily Riehl
Professor of Mathematics, Johns Hopkins University
N
Neil Ghani
Kodamai
M
Michael Shulman
University of San Diego
Best industries to pitch aboutlogic for
PitchCentric classifies aboutlogic under these industries. Guests from them are the closest fit, and each links to the best podcasts in that industry.
Similar Podcasts
Shows with the most semantically similar episode content. Pitch one, pitch all; producers cluster.
Podcasts like aboutlogic
Is this podcast yours and you'd like to remove or correct details? Request removal or email privacy@pitchcentric.com.
Questions about the free trial? See the pricing FAQ