Five Stages of Accepting Constructive Mathematics - Andrej Bauer

Why it was recommended

Here are two versions of the same well-done talk, from Andrej Bauer

Recommendationjimhefferon · Original2018-11

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. It is for someone who already knows the basic terms and wants the next step.

Video details

Channel

Institute for Advanced Study

Length

57 min 32 sec

Year

2016

More in this topic

• Brian Beckman: Don't fear the Monad
• 28c3: The Science of Insecurity
• "Propositions as Types" by Philip Wadler
• Math's Fundamental Flaw
• The Banach–Tarski Paradox
• The Future of Mathematics?