aboutlogic

About aboutlogic

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.

Publisher

Deniz Sarikaya, Thorsten Altenkirch

Category

science · science · society & culture

Language

en

Explicit

No

First episode

14 Jan 2026

Latest episode

7 Oct 2026

Latest episodes

32 episodes in the feed.

1. 

   7 Oct 2026

   Season 2 Recap: From Gödel to AI-Proved Math | aboutlogic #22

   Season 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 finally meet? In this Season 2 recap, Thorsten Altenkirch and Deniz Sarikaya look back at conversations with Urs Schreiber, Joel David Hamkins, Dana Scott, Emily Riehl, Bernhard Fisseni, Bernhard Schröder, José Pérez Escobar, Jan von Plato, Mike Shulman, Tudor Achim, and Neil Ghani — and preview where Season 3 is headed.

2. 

   30 Sept 2026

   aboutlogic Premises #09 | Why Symbolic AI Failed — and Then Won

   Host Thorsten and guest Deniz explore how statistical AI's success paradoxically enables rigorous symbolic AI, revealing a new understanding of reasoning's emergence.

3. 

   23 Sept 2026

   aboutlogic #21 | Category Theory Meets Agentic AI | Neil Ghani (Kodamai)

   Neil Ghani, Co-Founder of Kodamai and Professor of Computer Science, explains to Deniz and Thorsten how category theory can bring trustworthiness and scalability to agentic AI.

Who has been a guest on aboutlogic

Names identified in recent episode analyses. Showing up to five guests.

• Neil Ghani
• Tudor Achim
• Mike Shulman
• Michael Shulman
• Jan von Plato

Reach and audience

Public platform figures. Ratings count people who left a rating, not total listeners.

Apple Podcasts (US)

5.0 / 5

3 ratings

Contact aboutlogic

Guest appearances

Books guests

Based on episode analysis; this does not confirm that the show is currently accepting guests.

Shows with a similar audience

• 

  Machine Learning Street Talk (MLST)

• 

  Dwarkesh Podcast

• 

  Complex Systems with Patrick McKenzie (patio11)

• 

  Signals and Threads

• 

  Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

• 

  The Developing Dev

Questions about aboutlogic