Hacker News new | ask | show | jobs
A new foundational crisis in mathematics, is it happening? (arxiv.org)
1 points by kraitis 2665 days ago