HackerTube / Video
Five Stages of Accepting Constructive Mathematics - Andrej Bauer
Institute for Advanced Study
Andrej Bauer's IAS talk introduces constructive mathematics and what it feels like to do mathematics without excluded middle. It is framed as a tour for classical mathematicians.
Pointed to as a well-done introduction to constructive mathematics when it comes up in logic and proof assistant threads.
3 Hacker News mentions · 2018–2026