エピソード

  • aboutlogic #04 | Graham Priest – Working with Contradictions & Paraconsistent Logics

    aboutlogic #04 | Graham Priest – Working with Contradictions & Paraconsistent Logics
    2026/01/28
    Today we’re joined by Graham Priest from New York, a philosopher who also studied mathematics and is well known for many things. In particular, we will talk about contradictory logics – logics where we can work with a contradiction without being able to prove everything. We’ll also discuss non-standard topics, including non-standard arithmetic and non-standard set theory, and how all of this is philosophically motivated. Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
    続きを読む 一部表示
    46 分
  • 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
    2026/01/14
    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
    続きを読む 一部表示
    29 分
  • aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory

    aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory
    2026/01/14
    This weeks interview with Thorsten Altenkirch touches on topics like: Theorem proving software in education, constructive mathematics, type theory and many more.
    続きを読む 一部表示
    26 分
  • aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics

    aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics
    2026/01/14
    This weeks interview with Kevin Buzzard touches on topics like: Theorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics.
    続きを読む 一部表示
    52 分
  • aboutlogic Teaser | A Podcast on Logic, Mathematics & Philosophy

    aboutlogic Teaser | A Podcast on Logic, Mathematics & Philosophy
    2026/01/14
    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.
    続きを読む 一部表示
    1 分