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

> that's true of human proofs too.

I'm not sure that's right. The peer review process works well (e.g. [0]) precisely because human mathematicians are likely to make (at least somewhat) different mistakes from each other.

[0] https://en.wikipedia.org/w/index.php?title=Wiles%27s_proof_o...




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

Search: