aboutlogic

aboutlogic

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

aboutlogic episodes

  • aboutlogic #05 | Steve Awodey – Homotopy Type Theory, Logic & Philosophy
    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 me that it would be even easier to extend the domain of this formal language to geometry. Only a few more symbols would need to be added for the intuitive relations occurring there. In this way, one would obtain a kind of analysis situs."

    Preface to Begriffsschrift, 1879, Gottlob Frege

    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.

    52 min
  • aboutlogic #04 | Graham Priest – Working with Contradictions & Paraconsistent Logics
    Working with Contradictions — Graham Priest Contradictory Logics and More

    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.

    47 min
  • aboutlogic #02 | Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse
    Philosophy of Mathematical Practice, Sociology of Mathematics, Set Theory and the Universe vs. Multiverse-Debate

    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/

    Production, Creative Direction:

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

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

    29 min
  • aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory
    Theorem proving software in education, constructive mathematics, type theory and many more.

    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/

    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.

    27 min
  • aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics
    Theorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics.

    Further Reading & Resources:

    The Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/nng4
    The Xena Project: https://xenaproject.wordpress.com/
    Kevin Buzzard: https://profiles.imperial.ac.uk/k.buzzard

    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.

    52 min
  • aboutlogic Teaser | A Podcast on Logic, Mathematics & Philosophy
    From foundations of computer science, set theory, critical thinking, riddles to the questions how it is to be an academic researcher.

    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/

    Production, Creative Direction:

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

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

    1 min

About aboutlogic

From the publisher's feed

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