Five Stages of Accepting Constructive Mathematics - Andrej Bauer

Archive guide

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.