aboutlogic: premises #09 | Why Symbolic AI Failed — and Then Won

Why Symbolic AI Failed — and Then Won
Become an Omega or Aleph Member on Yotuube and help us keep this going! 🙏
youtube.com/@aboutlogic

Or you can buy us a coffee here: buymeacoffee.com/aboutlogic

Further Reading & Resources:
Get the HoTT Book for free (no advertisement): homotopytypetheory.org/book
Thorsten Altenkirch: cs.nott.ac.uk/~psztxa
Deniz Sarikaya: denizsarikaya.de
Creative Production: Jan-Niklas Meyer: 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 #aboutlogic