What is mathematics now, and what should it be?

(arxiv.org)

2 points | by butokai 5 hours ago ago