Rephonic
Artwork for aboutlogic
Mathematics
Homotopy Type Theory
Logic
Computer Science
Category Theory
Set Theory
Philosophy
Constructive Mathematics
Philosophy Of Mathematics
Epistemic Injustice
Philosophy Of Mathematical Practice
Intuitionistic Logic
Interactive Theorem Provers
AI In Mathematics
Type Theory
Dialecticism
Paraconsistent Logic
Colin Jakob Rittberg
Quantum Computing
Multiverse View

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 sur... more

PublishesTwice monthlyEpisodes21Founded6 months ago
Number of ListenersCategories
PhilosophyScienceSociety & CultureMathematics

Listen to this Podcast

Artwork for aboutlogic

Latest Episodes

The Harry Potter Approach to Proof Assistants – Lean, Agda & AI

Your support helps us keep these conversations going!

If you’d like to contribute, you can buy us a coffee here: buymeacoffee.com/aboutlogic

This episode is also available as a... more

The Language of Mathematics: Frames, Narratives & AI

Your support helps us keep these conversations going!

If you’d like to contribute, you can buy us a coffee here: buymeacoffee.com/aboutlogic

This episode is also available as a video on o... more

Synthetic vs. Analytic Math: Inspired by Emily Riehl

This episode is also available as a video on our YouTube channel: www.youtube.com/@aboutlogic

Your support helps us keep these conversations going!

If you’d like to contribute, you can bu... more

Higher Category Theory, Homotopy & AI in Math

This episode is also available as a video on our YouTube channel: www.youtube.com/@aboutlogic

Your support helps us keep these conversations going!

If you’d like to contribute, you can buy us a ... more

Key Facts

Accepts Guests
Accepts Sponsors
Contact Information
Podcast Host
Number of Listeners
Find out how many people listen to this podcast per episode and each month.

Similar Podcasts

People also subscribe to these shows.

The Joy of Why
The Joy of WhySteven Strogatz, Janna Levin and Quanta Magazine
Dwarkesh Podcast
Dwarkesh PodcastDwarkesh Patel
The Quanta Podcast
The Quanta PodcastQuanta Magazine

Recent Guests

Emily Riehl
Professor of Mathematics at Johns Hopkins University
Johns Hopkins University
Episode: aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math
Dana Scott
Philosophy of set theory and computability; visiting scholar and prize-winning contributor
Dana Scott (guest)
Episode: aboutlogic: premises #01 | Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma
Joel Hamkins
Professor at University of Notre Dame; expert in set theory and multiverse view
University of Notre Dame
Episode: aboutlogic #13 | Joel David Hamkins – Set Theory, Pluralism & the Multiverse View
Urs Schreiber
Senior scientist, known for work at the intersection of quantum physics and higher mathematics
New York University Abu Dhabi
Episode: aboutlogic #12 | Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory
Kevin Buzzard
Mathematician known for Lean and related to program verification in mathematics
Imperial College London
Episode: aboutlogic #11 | Season 1 Recap: Feedback, Highlights & Season 2 Preview
Steve Awoody
Speaker discussed in episode
Episode: aboutlogic #11 | Season 1 Recap: Feedback, Highlights & Season 2 Preview
Joel Hempkins
Mathematician/Logician
Independent researcher
Episode: aboutlogic #11 | Season 1 Recap: Feedback, Highlights & Season 2 Preview
Andrei Bauer
Guest mentioned as part of season two planning
Episode: aboutlogic #11 | Season 1 Recap: Feedback, Highlights & Season 2 Preview
Seunghyun Song
Professor at Tilburg University; researcher in theories of justice, knowledge production, and language
Tilburg University
Episode: aboutlogic #10 | Seunghyun Song & Jordi Fairhurst – ABC Conjecture, Epistemic & Linguistic Justice

Host

Dennis
Host (and co-host) of About Logic; frequently appears across episodes.

Chart Rankings

How this podcast ranks in the Apple Podcasts, Spotify and YouTube charts.

Talking Points

Recent interactions between the hosts and their guests.

#14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math
Q: What is the relationship between the lambda calculus and higher types, and how did you come to view an infinite type as central to its model?
The move to infinite types provided a unified framework where continuous functionals on that type are determined by their behavior on finite types, so you don't need to go to ever-higher types because the infinite type encapsulates the necessary structure.
aboutlogic: premises #02 | Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory
Q: So, Dennis, as a philosopher, can you tell me a bit more about the history of Set Theory?
Dennis explains that Set Theory emerged with a tension between intuitive notions of sets and the push to formalize mathematics, highlighting Frege's foundational problems, the Russell paradox, and the eventual shift to axiomatic systems like ZFC as a flexible framework for formal mathematics.
aboutlogic: premises #01 | Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma
Q: Does Captain Ahab have a blue shirt, and how is that resolved philosophically?
The question lacks a Boolean truth value in the story; whether the shirt is blue or red cannot be determined within the narrative, illustrating how some propositions are contextually dependent.
aboutlogic #07 | Alexander Steen – Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics
Q: What is your favorite proof system, and have you compared it to others like Lean or Coq?
The guest prefers Isabelle for its combination of tactics and structured proof, and mentions Leo as an integrated automated prover within Isabel, while acknowledging other systems (Lean, Coq, etc.) have their own strengths for different applications.
aboutlogic #02 | Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse
Q: What's the impact of AI on mathematics and mathematical research?
I'm cautious about AI's impact as I value understanding each step in proofs rather than relying solely on tools.

Audience Metrics

Listeners, social reach, demographics and more for this podcast.

Listeners per Episode
Gender Skew
Location
Interests
Professions
Age Range
Household Income
Social Media Reach

Frequently Asked Questions About aboutlogic

What is aboutlogic about and what kind of topics does it cover?

This program consistently dives into the foundations of logic, mathematics, philosophy, and computer science through in-depth conversations with researchers and practitioners. Episodes often center on foundational questions in math (set theory, constructive math, axioms), logic (paraconsistent logics, interactive theorem proving), and the social dimensions of knowledge production (epistemic justice, communities, language in mathematics). A standout pattern is the integration of technical content with discussions about how communities, practices, and institutions shape mathematical and logical inquiry, including the role of proof assistants, formal methods, and AI in mathematical practice. Listeners can expect rigorous, idea-rich dialogue, a... more

Where can I find podcast stats for aboutlogic?

Rephonic provides a wide range of podcast stats for aboutlogic. We scanned the web and collated all of the information that we could find in our comprehensive podcast database. See how many people listen to aboutlogic and access YouTube viewership numbers, download stats, audience demographics, chart rankings, ratings, reviews and more.

How many listeners does aboutlogic get?

Rephonic provides a full set of podcast information for three million podcasts, including the number of listeners. View further listenership figures for aboutlogic, including podcast download numbers and subscriber numbers, so you can make better decisions about which podcasts to sponsor or be a guest on. You will need to upgrade your account to access this premium data.

What are the audience demographics for aboutlogic?

Rephonic provides comprehensive predictive audience data for aboutlogic, including gender skew, age, country, political leaning, income, professions, education level, and interests. You can access these listener demographics by upgrading your account.

How many subscribers and views does aboutlogic have?

To see how many followers or subscribers aboutlogic has on Spotify and other platforms such as Castbox and Podcast Addict, simply upgrade your account. You'll also find viewership figures for their YouTube channel if they have one.

Which podcasts are similar to aboutlogic?

These podcasts share a similar audience with aboutlogic:

1. The Joy of Why
2. Dwarkesh Podcast
3. The Quanta Podcast
4. Theories of Everything with Curt Jaimungal
5. Signals and Threads

How many episodes of aboutlogic are there?

aboutlogic launched 6 months ago and published 21 episodes to date. You can find more information about this podcast including rankings, audience demographics and engagement in our podcast database.

How do I contact aboutlogic?

Our systems regularly scour the web to find email addresses and social media links for this podcast. We scanned the web and collated all of the contact information that we could find in our podcast database. But in the unlikely event that you can't find what you're looking for, our concierge service lets you request our research team to source better contacts for you.

Where can I see ratings and reviews for aboutlogic?

Rephonic pulls ratings and reviews for aboutlogic from multiple sources, including Spotify, Apple Podcasts, Castbox, and Podcast Addict.

View all the reviews in one place instead of visiting each platform individually and use this information to decide if a show is worth pitching or not.

How do I access podcast episode transcripts for aboutlogic?

Rephonic provides full transcripts for episodes of aboutlogic. Search within each transcript for your keywords, whether they be topics, brands or people, and figure out if it's worth pitching as a guest or sponsor. You can even set-up alerts to get notified when your keywords are mentioned.

What guests have appeared on aboutlogic?

Recent guests on aboutlogic include:

1. Emily Riehl
2. Dana Scott
3. Joel Hamkins
4. Urs Schreiber
5. Kevin Buzzard
6. Steve Awoody
7. Joel Hempkins
8. Andrei Bauer

To view more recent guests and their details, simply upgrade your Rephonic account. You'll also get access to a typical guest profile to help you decide if the show is worth pitching.

Find and pitch the right podcasts

We help savvy brands, marketers and PR professionals to find the right podcasts for any topic or niche. Get the data and contacts you need to pitch podcasts at scale and turn listeners into customers.
Try it free for 7 days