Sign up to save your podcasts
Or
Share aboutlogic
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
aboutlogic
aboutlogic episodes
- aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike ShulmanHomotopy Type Theory, Narya & the Future of Proof Assistants
Your support helps us keep these conversations going!
If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogicThis episode is also available as a video on our YouTube channel: https://www.youtube.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.
1 hr 1 min - aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set TheoryWhat Is a Set? A Beginner’s Guide to Set 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/aboutlogicOr become a channel member here on Youtube. We’d love to have your support!https://www.youtube.com/@aboutlogicFurther 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.
28 min - aboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & BernaysThe Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays
Your support helps us keep these conversations going!
If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogicThis episode is also available as a video on our YouTube channel: https://www.youtube.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.
1 hr 3 min - aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer ScienceDependent Type Theory: A Revolution in Math & Computer Science
Your support helps us keep these conversations going!
If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogicFurther 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.
28 min - aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied MathematicsWittgenstein, Turing & the Philosophy of Applied Mathematics
Your support helps us keep these conversations going!
If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogicThis episode is also available as a video on our YouTube channel: https://www.youtube.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.
1 hr 16 min - aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AIThe Harry Potter Approach to Proof Assistants – Lean, Agda & AI
Your support helps us keep these conversations going!
If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogicThis episode is also available as a video on our YouTube channel: https://www.youtube.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.
29 min - aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AIThe Language of Mathematics: Frames, Narratives & AI
Your support helps us keep these conversations going!
If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogicThis episode is also available as a video on our YouTube channel: https://www.youtube.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.
51 min - aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily RiehlSynthetic vs. Analytic Math: Inspired by Emily Riehl
This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic
Your support helps us keep these conversations going!
If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogicFurther 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/39 min - aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in MathHigher Category Theory, Homotopy & AI in Math
This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic
Your support helps us keep these conversations going!
If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogicGet 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.
59 min - aboutlogic: premises #02 | Hilbert’s Hotel & Cantor’s Infinity: The Story of Set TheoryHilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory
This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic
Your support helps us keep these conversations going!
If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogicFurther 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/27 min
About aboutlogic
From the publisher's feed
aboutlogic is a podcast on logic, foundations of mathematics, philosophy, and theoretical computer science.
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.