Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Well sure, there is a constructive subset of the topic we call "mathematics", just like there is a subset that admits only numbers less than or equal to 5. But if you want the whole topic of mathematics, it's going to include nonconstructive theorems like the Banach-Tarski paradox. One could take a philosophical view for or against the idea that the non-measurable set in the paradox platonically "exists", but either way, those theorems are a legitimate part of mathematics. At best you can say the theorems are about mythological entities rather than "real" ones.


Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: