Rephonic
Artwork for aboutlogic
Mathematics
Homotopy Type Theory
Logic
Computer Science
Philosophy
Philosophy Of Mathematical Practice
Philosophy Of Mathematics
Interactive Theorem Provers
AI In Mathematics
Type Theory
Paraconsistent Logic
Dialecticism
Epistemic Injustice
Colin Jakob Rittberg
Constructive Mathematics
Lean
Applied Mathematics
Contradictions In Logic
Pure Mathematics
Intuitionism

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

PublishesWeeklyEpisodes8Founded2 months ago
Number of ListenersCategories
PhilosophyScienceMathematicsSociety & Culture

Listen to this Podcast

Artwork for aboutlogic

Latest Episodes

Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics

Further Reading & Resources:

The Natural Number Game: adam.math.hhu.de/#/g/leanprover-community/nng4

The Xena Project: xenaproject.wordpress.com/

Graham Priest: https:/... more

Philosophy & Sociology of Mathematics, Epistemic Injustice

Further Reading & Resources:

Get the HoTT Book for free (no advertisement): homotopytypetheory.org/book/

Thorsten Altenkirch: www.cs.nott.ac.uk/~psztxa/

Deniz Sarikaya: https:/... more

Homotopy Type Theory, Logic & Philosophy

"I am convinced that my Begriffsschrift will find successful application wherever particular value is placed on the rigor of proofs, as in the foundations of the differential and integral calculus. It seems to... more

Working with Contradictions — Graham Priest Contradictory Logics and More

Further Reading & Resources:

The Natural Number Game: adam.math.hhu.de/#/g/leanprover-community/nng4

The Xena Project: xenaproject.wordpress.com/

Graham Priest:... 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.

Recent Guests

Alexander Steen
Professor for computer science, University of Greifswald
University of Greifswald
Episode: aboutlogic #07 | Alexander Steen – Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics
Graham Priest
Philosopher and scholar known for his work in contradictions and paraconsistent logics.
Episode: aboutlogic #04 | Graham Priest – Working with Contradictions & Paraconsistent Logics
Deniz Sarikaya
Philosopher of Mathematics and organizer of academic groups
Associated with academic institutions in Hamburg and Brussels
Episode: aboutlogic #02 | Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse

Hosts

Torsten Altenkirch
Professor for computer science, a leading voice in the exploration of type theory and theorem proving in academic contexts.
Dennis
Co-host with a research background, contributing insights into mathematics and its philosophical implications.

Chart Rankings

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

Talking Points

Recent interactions between the hosts and their guests.

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.
aboutlogic #02 | Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse
Q: How do computer-assisted proof systems change the nature of mathematics?
They could potentially revolutionize practice by managing knowledge and assisting in theorem proofing.
aboutlogic #02 | Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse
Q: Do you think mathematics is self-invented or discovered?
I think it is constructed and discussed, relying on human involvement in mathematical practices.
aboutlogic #02 | Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse
Q: What is mathematics and how is it different from other disciplines?
Mathematics is less different than traditionally thought; it seeks to prove theorems about abstract systems and has similarities with knowledge from other sciences.

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?

Conversations focus on the intersection of logic, mathematics, philosophy, and computer science, featuring a variety of experts from these fields. Topics range widely, covering foundational elements of logic and mathematics, philosophical inquiries, and the application of these concepts in contemporary academic discussions. Noteworthy themes include critical thinking, the intricacies of set theory, and the exploration of various debates surrounding mathematical and philosophical practices. Unique to this series is its emphasis on the personal experiences of academics, offering insights into the motivations and challenges faced in these disciplines.

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. Money Stuff: The Podcast
2. Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas
3. Astral Codex Ten Podcast

How many episodes of aboutlogic are there?

aboutlogic launched 2 months ago and published 8 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. Alexander Steen
2. Graham Priest
3. Deniz Sarikaya

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