What is mathematics now, and what should it be?

(arxiv.org) by butokai | Sep 25, 2026 | 0 comments on HN