What is mathematics now, and what should it be?(arxiv.org)2 points by butokai 17 days ago | 0 commentsNo comments yet