Five Stages of Accepting Constructive Mathematics - Andrej Bauer
In brief
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.