Hacker News new | past | comments | ask | show | jobs | submit login

> Requiring constructive proofs does not seem to provide tangible benefits, but it does unnecessarily hinder mathematical thinking.

Not true. I recommend Five Stages of Accepting Constructive Mathematics:

https://www.ams.org/journals/bull/2017-54-03/S0273-0979-2016...






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

Search: