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
In the spirit of reconciliation, Audible acknowledges the Traditional Custodians of country throughout Australia and their connections to land, sea and community. We pay our respect to their elders past and present and extend that respect to all Aboriginal and Torres Strait Islander peoples today.