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

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

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

Listen for free

View show details

Summary

 aboutlogic #09 | In this episode, we talk with Andrej Bauer about the five stages of accepting intuitionistic mathematics and the challenges surrounding proofs by contradiction. Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
adbl_web_anon_alc_button_suppression_c
No reviews yet