Podcast thumbnail for aboutlogic

by Deniz Sarikaya, Thorsten Altenkirch

17 episodes
Updated Daily
Accepts GuestsHas Sponsors

Podcast Overview

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.

Language

🇺🇲

Publishing Since

1/14/2026

1 verified contact email on file for aboutlogic

Pitch yourself as a guest, propose sponsorships, or reach out directly to the host.

Recent Episodes

Episode thumbnail for aboutlogic: premises #02 | Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory

June 24, 2026

aboutlogic: premises #02 | Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory

Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic What is set theory—a foundation of math or a science of infinity? In this aboutlogic: premises episode, Deniz and Thorsten explore the history, paradoxes, and philosophical debates behind set theory. From Cantor’s diagonal argument to Hilbert’s Hotel and the role of ZFC, they discuss why set theory became the language of mathematics—and where its limits lie. Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.

Episode thumbnail for #14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math

June 17, 2026

#14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math

aboutlogic #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 his collaborations with Kleene and Solovay to his thoughts on constructive mathematics, Scott shares insights into the history and future of logical foundations. Hear anecdotes about Gödel’s unpublished ideas, Einstein’s influence, and the telephone conversations that shaped modern logic.

Episode thumbnail for aboutlogic: premises #01 | Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma

June 10, 2026

aboutlogic: premises #01 | Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma

Our weekly Premises: Behind-the-scenes thoughts, deep dives, and the ideas that didn’t fit into the main episodes. Is mathematics a discovery or a story we tell ourselves? In this first aboutlogic: premises episode, Deniz and Thorsten explore why math might be more like fiction than absolute truth and what that means for logic, proof, and the future of the field.

17 total episodes available

Deep-dive analytics for aboutlogic

Frequently asked questions

Have a different question and can't find the answer you're looking for? Reach out to our support team by sending us an email and we'll get back to you as soon as we can.

What is 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.

How often does this podcast release new episodes?

This podcast updates daily.

Where can I listen to this podcast?

This podcast is available on 4 platforms including Apple Podcasts, Spotify, and more. You can also use the RSS feed directly.

Does this podcast accept guests?

Yes, this podcast regularly features guests.

Legal Disclaimer

Pod Engine is not affiliated with, endorsed by, or officially connected with any of the podcasts displayed on this platform. We operate independently as a podcast discovery and analytics service.

All podcast artwork, thumbnails, and content displayed on this page are the property of their respective owners and are protected by applicable copyright laws. This includes, but is not limited to, podcast cover art, episode artwork, show descriptions, episode titles, transcripts, audio snippets, and any other content originating from the podcast creators or their licensors.

We display this content under fair use principles and/or implied license for the purpose of podcast discovery, information, and commentary. We make no claim of ownership over any podcast content, artwork, or related materials shown on this platform. All trademarks, service marks, and trade names are the property of their respective owners.

While we strive to ensure all content usage is properly authorized, if you are a rights holder and believe your content is being used inappropriately or without proper authorization, please contact us immediately at hey@podengine.ai for prompt review and appropriate action, which may include content removal or proper attribution.

By accessing and using this platform, you acknowledge and agree to respect all applicable copyright laws and intellectual property rights of content owners. Any unauthorized reproduction, distribution, or commercial use of the content displayed on this platform is strictly prohibited.