Hacker News new | ask | show | jobs
by danielmarkbruce 970 days ago
The commenter is quite rigorous about what parts of math are done with rigor and which parts are not.