OM DETTA AVSNITT
Synthetic 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/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/
Engelsk
USA
I DETTA AVSNITT
UTSKRIFT 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
SÖK TIDIGARE AVSNITT
Sök efter tidigare avsnitt från aboutlogic.
ANDRA EPISODER I DENNA 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/…
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…
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…
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…
Ansvarsfriskrivning: Podcasten och konstverket som är inbäddat på den här sidan är från Deniz Sarikaya, Thorsten Altenkirch, som är dess ägares egendom och inte anslutet till eller godkänt av Listen Notes, Inc.
REDIGERA
Tack för att du hjälper till att hålla databasen över podcaster uppdaterad.
