An introduction to constructive mathematics

Institute for Advanced Study · Lecture · 58 min · 2016 · YouTube title: Five Stages of Accepting Constructive Mathematics - Andrej Bauer

Why it's here

Pointed to as a well-done introduction to constructive mathematics when it comes up in logic and proof assistant threads.

What it covers

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.