Sveriges mest populära poddar
aboutlogic
aboutlogic

aboutlogic #09 | Andrej Bauer – 5 Stages of Accepting Intuitionistic Math & Proofs by Contradiction

49 min•8 april 2026

Om avsnittet

5 Stages of Accepting Intuitionistic Math & Proofs by Contradiction

Watch this Episode on Youtube: https://youtu.be/sbQi6HjyBHM

Further Reading & Resources: Andrej Bauer: https://www.andrej.com/ 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/

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.