4 ms·
So if you want a more general motivation for constructive mathematics, I recommend another paper by Andrej Bauer: Five stages of accepting constructive mathemat
by vilhelm_s 10y ago
So if you want a more general motivation for constructive mathematics, I recommend another paper by Andrej Bauer: Five stages of accepting constructive mathematics.
http://math.andrej.com/2016/10/10/five-stages-of-accepting-constructive-mathematics/ http://math.andrej.com/2016/10/10/five-stages-of-accepting-c...
- glomph 10y agoThis was a lot more informative / interesting to me! I didn't really get the motivation at all reading just the blog post.