Sveriges mest populära poddar
aboutlogic
aboutlogic

aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory

26 min•14 januari 2026

Om avsnittet

Theorem proving software in education, constructive mathematics, type theory and many more.

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/

Production: Jan-Niklas Meyer: http://www.jammos.com/

Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.

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 #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman

1 tim 1 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 med Deniz Sarikaya, Thorsten Altenkirch finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.