aboutlogic

Deniz Sarikaya, Thorsten Altenkirch
aboutlogic
Último episodio

13 episodios

  • aboutlogic

    aboutlogic #12 | Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory

    20/05/2026 | 59 min
    aboutlogic #12 | In this episode of aboutlogic, we’re joined by UrsSchreiber, a senior scientist at New York University Abu Dhabi. Urs shares insights into his work at the intersection of quantum physics, topos theory, and homotopy type theory. We explore how these advanced mathematical frameworks help address fundamental questions in physics, from understanding gauge fields to the role of higher category theory in describing the universe. Urs also discusses the historical and philosophical connections between physics and logic, and how modern mathematics is shaping our understanding of reality.
  • aboutlogic

    aboutlogic #11 | Season 1 Recap: Feedback, Highlights & Season 2 Preview

    06/05/2026 | 1 h 3 min
    aboutlogic #11 | In this special Season 1 Recap of aboutlogic, Deniz and Thorsten reflect on your comments and feedback, revisit some of the most intriguing topics, and look back at all the incredible guests from the first season. What were the highlights? What did we learn? And what’s in store for Season 2? Join us for a wrap-up filled with insights, gratitude, and a sneak peek at what’s next.
  • aboutlogic

    aboutlogic #10 | Seunghyun Song & Jordi Fairhurst – ABC Conjecture, Epistemic & Linguistic Justice

    22/04/2026 | 52 min
    aboutlogic #10 | In this episode, we talk with Seunghyun Song and Jordi Fairhurst about the ABC conjecture, the importance of epistemic justice, and the role of linguistic justice in non-Western mathematical traditions. How do diverse perspectives reshape our understanding of mathematics?

    Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
  • aboutlogic

    aboutlogic #09 | Andrej Bauer – 5 Stages of Accepting Intuitionistic Math & Proofs by Contradiction

    08/04/2026 | 48 min
    aboutlogic #09 | In this episode, we talk with Andrej Bauer about the five stages of accepting intuitionistic mathematics and the challenges surrounding proofs by contradiction.

    Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
  • aboutlogic

    aboutlogic #08 | Deborah Kant – Talking with Set Theorists: Insights in Mathematical Philosophy

    25/03/2026 | 46 min
    aboutlogic #08 | In this episode, Deborah Kant presents findings from her interview study with set theorists, exploring the relationship between philosophy and empirical methods in mathematics.

    Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
Más podcasts de Ciencias
Acerca de 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.
Sitio web del podcast

Escucha aboutlogic, The Rest Is Science y muchos más podcasts de todo el mundo con la aplicación de radio.net

Descarga la app gratuita: radio.net

  • Añadir radios y podcasts a favoritos
  • Transmisión por Wi-Fi y Bluetooth
  • Carplay & Android Auto compatible
  • Muchas otras funciones de la app