New top story on Hacker News: Logical difficulties in modern mathematics (2012)

Logical difficulties in modern mathematics (2012)
50 by lainon | 36 comments on Hacker News.