Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Show HN: I made a puzzle game & it gently introduces my favorite math mysteries. Parent comment
What is your criteria of "can be checked then"? If a proof for "sqrt(2) is not a rational number" can't be checked by a 5yo, it's still a proof no?
There are no comments on this comment yet.
What is your criteria of "can be checked then"? If a proof for "sqrt(2) is not a rational number" can't be checked by a 5yo, it's still a proof no?