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

5 Stages of Accepting Intuitionistic Math & Proofs by Contradiction
Watch this Episode on Youtube: youtu.be/sbQi6HjyBHM

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