3 ms·Five Stages of Accepting Constructive Mathematics – Andrej Bauer [video]2 points by adamnemecek 9y ago