aboutlogic
Deniz Sarikaya, Thorsten Altenkirchaboutlogic 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, frustrati... more
| Publishes | Weekly | Episodes | 26 | Founded | 8 months ago |
|---|---|---|---|---|---|
| Number of Listeners | Categories | MathematicsPhilosophyScienceSociety & Culture | |||
Listen to this Podcast
Latest Episodes
Homotopy Type Theory, Narya & the Future of Proof Assistants
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 vi... more
What Is a Set? A Beginner’s Guide to Set Theory
Your support helps us keep these conversations going!
If you’d like to contribute, you can buy us a coffee here: buymeacoffee.com/aboutlogic
Or become a channel member here on Youtube. We’d lov... more
The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays
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 availab... more
Dependent Type Theory: A Revolution in Math & Computer Science
Your support helps us keep these conversations going!
If you’d like to contribute, you can buy us a coffee here: buymeacoffee.com/aboutlogic
Further Reading & Resources:
Get the ... more
Key Facts
Similar Podcasts
People also subscribe to these shows.
Recent Guests
Hosts
Reviews
- Great
Hope there was more similar podcast
Apple Podcasts5lily glayre 10 ans
Switzerland3 months ago
Listeners Say
Key themes from listener reviews, highlighting what works and what could be improved about the show.
Chart Rankings
How this podcast ranks in the Apple Podcasts, Spotify and YouTube charts.
Apple Podcasts | #4 |  United States/Science/Mathematics |
Apple Podcasts | #11 |  Canada/Science/Mathematics |
Apple Podcasts | #14 |  United Kingdom/Science/Mathematics |
Apple Podcasts | #9 |  Italy/Science/Mathematics |
Apple Podcasts | #22 |  Australia/Science/Mathematics |
Apple Podcasts | #25 |  Germany/Science/Mathematics |
Talking Points
Recent interactions between the hosts and their guests.
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?
Thinkers and researchers from mathematics, philosophy, and theoretical computer science gather to unpack foundations, logic, and the structure of mathematical knowledge. Conversations routinely toggle between historical developments (set theory, type theory, category theory) and modern practice (proof systems, AI-assisted reasoning, formal verification), with guests ranging from leading logicians to category theorists and philosophers of mathematics. The show often threads through how mathematical truth is practiced, how foundational ideas influence computation and science, and how communities shape what counts as rigorous evidence. A notable strength is the blend of deep technical exploration with accessible storytelling and practical impl... 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 four 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. Type Theory Forall
2. Iowa Type Theory Commute
3. The Quanta Podcast
4. Theories of Everything with Curt Jaimungal
5. The Joy of Why
How many episodes of aboutlogic are there?
aboutlogic launched 8 months ago and published 26 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. Jan von Plato
2. José Pérez Escobar
3. Bernhard Schröder
4. Bernhard Fisseni
5. Emily Riehl
6. Dana Scott
7. Joel Hamkins
8. Urs Schreiber
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.