What is mathematics now, and what should it be?arxiv.org2 points·butokai··0 commentsOpen articleSaveView on HN