Five stages of accepting constructive mathematics

During the special year on the Univalent foundations for mathematics at the Institute for Advanced Study, Andrej Bauer gave a talk on the Five stages of accepting constructive mathematics. In it, he compared the process a classically trained mathematician might go through (or might get stuck in) in accepting constructive mathematics, to the five stages identified by Elisabeth … Continue reading Five stages of accepting constructive mathematics