aboutlogic

aboutlogic

By Deniz Sarikaya, Thorsten AltenkirchSociety & CultureSciencePhilosophyMathematics
Download on the App Store

aboutlogic episodes

  • #14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math
    Dana Scott: Turing Award Winner on Logic & Computation

    Your support helps us keep these conversations going!

    If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic

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

    Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
    Deniz Sarikaya: https://www.denizsarikaya.de/
    Creative Production: Jan-Niklas Meyer: http://www.jammos.com/

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

    33 min
  • aboutlogic: premises #01 | Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma
    Storytelling in Math - A Constructivist Perspective and Captain Ahab's Dilemma

    Your support helps us keep these conversations going!

    If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic

    Further Reading & Resources:

    Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/
    Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
    Deniz Sarikaya: https://www.denizsarikaya.de/
    Creative Production: Jan-Niklas Meyer: http://www.jammos.com/

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

    27 min
  • aboutlogic #13 | Joel David Hamkins – Set Theory, Pluralism & the Multiverse View
    Set Theory, Pluralism & the Multiverse View

    Your support helps us keep these conversations going!

    If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic

    Further Reading & Resources:

    Joel David Hamkins: https://jdh.hamkins.org/
    Joel's substack: https://www.infinitelymore.xyz/
    Joel's book Lectures on the Philosophy of Mathematics: https://mitpress.mit.edu/9780262542234/lectures-on-the-philosophy-of-mathematics/
    Joel's new book, The Book of Infinity: https://mitpress.mit.edu/9780262054010/the-book-of-infinity/

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

    Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
    Deniz Sarikaya: https://www.denizsarikaya.de/
    Creative Production: Jan-Niklas Meyer: http://www.jammos.com/

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

    1 hr 25 min
  • aboutlogic #12 | Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory
    Quantum (Physics, Computing), Topos & Homotopy Theory

    Your support helps us keep these conversations going!

    If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic

    This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic

    00:01:19 Introduction to Quantum Research and Technologies

    00:04:34 Understanding Fermions, Bosons, and Anyons
    00:10:16 The Role of Anyons in Quantum Computing
    00:13:29 Understanding Topos Theory and Its Relevance
    00:17:02 Mathematical Foundations: Differential Geometry and Topos Theory
    00:20:55 The Intersection of Physics, Mathematics and Logic
    00:32:31 Historical Context of Mathematics and Physics
    00:37:26 Category Theory and Its Implications
    00:41:23 Gauge Fields and Homotopy Type Theory
    00:49:40 Philosophical Implications of Higher Topos Theory / Hegel

    Further Reading & Resources:

    Urs Schreiber: https://ncatlab.org/nlab/show/Urs+Schreiber
    Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/
    Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
    Deniz Sarikaya: https://www.denizsarikaya.de/
    Creative Production: Jan-Niklas Meyer: http://www.jammos.com/

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

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

    Your support helps us keep these conversations going!

    If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic

    Listen to the podcast on the go: https://aboutlogic.podigee.io/

    Further Reading & Resources:

    Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/
    Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
    Deniz Sarikaya: https://www.denizsarikaya.de/
    Creative Production: Jan-Niklas Meyer: http://www.jammos.com/

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

    1 hr 4 min
  • aboutlogic #10 | Seunghyun Song & Jordi Fairhurst – ABC Conjecture, Epistemic & Linguistic Justice
    ABC Conjecture, Epistemic & Linguistic Justice in non-Western maths

    Further Reading & Resources:

    Jordi Fairhurst: https://jordifairhurst.weebly.com/

    Seunghyun Song: https://www.tilburguniversity.edu/staff/s-song_1
    Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/
    Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
    Deniz Sarikaya: https://www.denizsarikaya.de/
    Creative Production: Jan-Niklas Meyer: http://www.jammos.com/

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

    Watch this Episode on Youtube: https://youtu.be/sbQi6HjyBHM

    Further Reading & Resources:

    Andrej Bauer: https://www.andrej.com/
    Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/
    Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
    Deniz Sarikaya: https://www.denizsarikaya.de/
    Creative Production: Jan-Niklas Meyer: http://www.jammos.com/

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

    Watch the Episode on Youtube: https://youtu.be/81CRjASvIng

    Further Reading & Resources:

    Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
    Deniz Sarikaya: https://www.denizsarikaya.de/

    Production:

    Jan-Niklas Meyer: http://www.jammos.com/

    Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.

    47 min
  • aboutlogic #07 | Alexander Steen – Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics
    Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics

    Further Reading & Resources:

    The Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/nng4
    The Xena Project: https://xenaproject.wordpress.com/
    Graham Priest: https://grahampriest.net/

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

    Deniz Sarikaya: https://www.denizsarikaya.de/

    Production:

    Jan-Niklas Meyer: http://www.jammos.com/

    Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.

    50 min
  • aboutlogic #06 | Colin Rittberg – Philosophy & Sociology of Mathematics, Epistemic Injustice
    Philosophy & Sociology of Mathematics, Epistemic Injustice

    Further Reading & Resources:

    Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/
    Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
    Deniz Sarikaya: https://www.denizsarikaya.de/
    Jan-Niklas Meyer: http://www.jammos.com/

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

    48 min

About aboutlogic

From the publisher's feed

aboutlogic is a podcast on logic, foundations of mathematics, philosophy, and theoretical computer science.