New top story on Hacker News: The weird and wonderful world of constructive mathematics (2017) [pdf]

The weird and wonderful world of constructive mathematics (2017) [pdf]
70 by lainon | 26 comments on Hacker News.