OVER DEZE AFLEVERING
Category Theory Meets Agentic AI
You can now become a channel member on Youtube: 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
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/
AI #CategoryTheory #TypeTheory #AgenticAI #Kodamai #Containers #FormalVerification #aboutlogic
Engels
Verenigde Staten
IN DEZE AFLEVERING
TRANSCRIPTIE 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
OUDE AFLEVERINGEN ZOEKEN
Zoek naar eerdere afleveringen van aboutlogic.
ANDERE AFLEVERINGEN IN DEZE PODCAST
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…
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…
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/…
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:/…
Disclaimer: De podcast en de illustraties die op deze pagina zijn ingesloten, zijn afkomstig van Deniz Sarikaya, Thorsten Altenkirch, eigendom van de eigenaar en niet gelieerd aan of goedgekeurd door Listen Notes, Inc.
BEWERKEN
Bedankt voor uw hulp bij het up-to-date te houden van de podcast-database .
