Sveriges mest populära poddar
aboutlogic
aboutlogic

aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman

1 tim 1 min•26 augusti 2026

Om avsnittet

Homotopy Type Theory, Narya & the Future of Proof Assistants

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.youtube.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/

Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.

Fler avsnitt

Visa alla avsnitt av aboutlogic

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

31 min

aboutlogic #21 | Category Theory Meets Agentic AI | Neil Ghani (Kodamai)

55 min

aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox

33 min

aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)

41 min

aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory

30 min

aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory

27 min

aboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays

1 tim 3 min

aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer Science

28 min

aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics

1 tim 16 min

aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI

28 min

aboutlogic med Deniz Sarikaya, Thorsten Altenkirch finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.