HeyJaredaboutlogic
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.
- Indexed episodes, last 90 days
- 13
- Latest publication
- Sep 30, 2026
- Audience
- Checking…
- Earliest in this view
- Jul 8, 2026
Latest episodes
aboutlogic Premises #09 | Why Symbolic AI Failed — and Then Won (opens the original)
Read excerpt
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, Thorsten and Deniz explore why, and how statistical AI, the technology that replaced it, may now be quietly bringing symbolic reasoning back — including a Platonic twist: if Plato thought the world of ideas came first, modern AI suggests structure and reasoning actually emerge only after
aboutlogic #21 | Category Theory Meets Agentic AI | Neil Ghani (Kodamai) (opens the original)
Read excerpt
Category 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, Co-Founder of Kodamai, Professor of Computer Science at the University of Strathclyde and a world-leading authority in Applied Category Theory, joins Deniz and Thorsten to explain how the same mathematical structures used to reason about data types can bring trustworthiness, scalab
aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox (opens the original)
Read excerpt
Choice 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 constructive context. In this Premises episode, Thorsten walks Deniz through Diaconescu's theorem: the surprising proof that the Axiom of Choice implies the Law of Excluded Middle, turning a seemingly innocent principle into full-blown classical logic. Using an intuitive type-theoretic
aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic) (opens the original)
Read excerpt
Can 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 mathematical superintelligence is transforming research, education, and the very nature of proof.
aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory (opens the original)
Read excerpt
Fixing 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 reshaped the foundations of mathematics. From Zermelo-Fraenkel (ZFC) axioms to constructive set theories (IZF, CZF). Discover how large cardinals, the continuum hypothesis, and the iterative conception of sets became central to modern set theory and why some mathematicians still p
Publishing over time
Last 90 days. Choose a month to open its work.
Recurring subjects
Named in the text we hold. One piece can cover several.
Not enough subject data for this period yet.
Audience
No verified audience measurement yet.
About this data
Counts cover the work we have indexed. Tone needs enough text and a confident classification. Excerpts and episode notes are not full articles or transcripts.
Identity or attribution wrong? Suggest a correction.