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]
64 by lainon | 21 comments on Hacker News.