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: premises #11 | Category Theory: Algebra on Steroids?Category Theory: Algebra on Steroids?
Become an Omega or Aleph Member on Youtube and help us keep this going! 🙏
Or 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.
30 min - aboutlogic #24 | Why Didn't Homotopy Type Theory Take Over the World? | Ulrik BuchholtzWhy Didn't Homotopy Type Theory Take Over the World?
You can now become a channel member on Youtube.
or you can buy us a coffee here: https://buymeacoffee.com/aboutlogicYour support helps us keep these conversations going!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/59 min - aboutlogic premises #10 | Is Unique Choice Really a Choice? (Follow-up to Giovanni Sambin)Is Unique Choice Really a Choice with Giovanni Sambin
Watch our conversation with Giovanni Sambin here: https://youtu.be/81A2A2HRvrA
Become an Omega or Aleph Member on Youtube and help us keep this going! 🙏
https://www.youtube.com/@aboutlogic
Or 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/33 min - aboutlogic #23 | Rebuilding Mathematics from the Ground Up | Giovanni SambinRebuilding Mathematics from the Ground Up with Giovanni Sambin
You can now become a channel member on Youtube.
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/58 min - Season 2 Recap: From Gödel to AI-Proved Math | aboutlogic #22From Gödel to AI-Proved Math
You can now become a channel member on Youtube.
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/Mathematics #Logic #AI #CategoryTheory #TypeTheory #SetTheory #FormalVerification #aboutlogic28 min - aboutlogic: premises #09 | Why Symbolic AI Failed — and Then WonWhy Symbolic AI Failed — and Then Won
Become an Omega or Aleph Member on Yotuube and help us keep this going! 🙏
https://www.youtube.com/@aboutlogicOr 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.
GOFAI #SymbolicAI #LLM #ArtificialIntelligence #Plato #PhilosophyOfMind #FormalVerification #aboutlogic32 min - aboutlogic #21 | Category Theory Meets Agentic AI | Neil Ghani (Kodamai)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/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/AI #CategoryTheory #TypeTheory #AgenticAI #Kodamai #Containers #FormalVerification #aboutlogic55 min - aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive ParadoxA Constructive Paradox
Become an Omega or Aleph Member on Youtube and help us keep this going! 🙏
https://www.youtube.com/@aboutlogicOr 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.
34 min - aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)Developing the Artificial Mathematical Superintelligence
You can now become a channel member on Youtube.
https://www.youtube.com/@aboutlogicYour 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/AI #Mathematics #Harmonic #Aristotle #Lean #ProofAssistants #FutureOfMath #RiemannHypothesis #aboutlogic41 min - aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set TheoryFixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory
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/31 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.