ÜBER DIESE EPISODE
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): 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.
Englisch
Vereinigte Staaten
IN DIESER FOLGE
TRANSKRIPT 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
VERGANGENE FOLGEN SUCHEN
Vorhandene Folgen von aboutlogic durchsuchen.
WEITERE EPISODEN IN DIESEM PODCAST
The 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/aboutlogic
This episode is also available as a video on our YouTube channel: https://www.yo…
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…
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/…
Rechtliche Hinweise: Der auf dieser Seite eingebettete Podcast und das Bildmaterial stammen von Deniz Sarikaya, Thorsten Altenkirch, das Eigentum seines Eigentümers ist und nicht mit Listen Notes, Inc. verbunden ist oder von diesen unterstützt wird.
BEARBEITEN
Vielen Dank, dass Sie uns helfen, die Podcast-Datenbank auf dem neuesten Stand zu halten.
