OM DENNE EPISODE
Homotopy 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/aboutlogic
This 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.
Engelsk
USA
UDSKRIFT 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
SØG BLANDT TIDLIGERE EPISODER
Søg efter gamle afsnit af aboutlogic.
ANDRE EPISODE I DENNE PODCAST
The 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/aboutlogic
This episode is also available as a video on our YouTube channel: https:/…
What 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/aboutlogic
Or become a channel member here on Youtube. We’d love to have your support!
https://www.youtube.com/…
Dependent 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/aboutlogic
Further Reading & Resources:
Get the HoTT Book for free (no advertisement): ht…
Wittgenstein, 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/aboutlogic
This episode is also available as a video on our YouTube channel: https://www.youtu…
Ansvarsfraskrivelse: Podcasten og kunstværket, der er indlejret på denne side, er fra Deniz Sarikaya, Thorsten Altenkirch, som tilhører dens ejer og ikke er tilknyttet eller godkendt af Listen Notes, Inc.
REDIG
Tak fordi du hjælper med at holde podcast-databasen opdateret.
