Épisodes

  • aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics

    aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics
    Jan 14 2026
    This weeks interview with Kevin Buzzard touches on topics like: Theorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics.
    Afficher plus Afficher moins
    52 min
  • aboutlogic #02 | Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse

    aboutlogic #02 | Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse
    Jan 14 2026
    This weeks interview with Deniz Sarikaya touches on topics like: Philosophy of Mathematical Practice, Sociology of Mathematics, Set Theory and the Universe vs. Multiverse-Debate
    Afficher plus Afficher moins
    29 min
  • aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory

    aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory
    Jan 14 2026
    This weeks interview with Thorsten Altenkirch touches on topics like: Theorem proving software in education, constructive mathematics, type theory and many more.
    Afficher plus Afficher moins
    26 min
  • aboutlogic Teaser | A Podcast on Logic, Mathematics & Philosophy

    aboutlogic Teaser | A Podcast on Logic, Mathematics & Philosophy
    Jan 14 2026
    Welcome to aboutlogic, a dedicated space where the realms of logic, mathematics, philosophy, and computer science converge. Every two weeks, we feature in-depth conversations with some of the most brilliant minds in these fields, who were somehow stupid enough to speak with us.
    Afficher plus Afficher moins
    1 min