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

I find this cultural divide exists predominantly among mathematicians who consider existence proofs as real mathematics.

Mathematicians who practice constructive math and view existence proofs as mere intellectual artifacts tend to embrace AI, physics, engineering and even automated provers as worthy subjects.



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

Search: