News for hackers. Stuff that matters.

A comment on Show HN: I made a puzzle game & it gently introduces my favorite math mysteries. Parent comment

Re:Show HN: I made a puzzle game & it gently introduces my f... by unclad5968 on Thursday June 20, 2024 @04:34PM (#40743065)
A convincing argument that cannot be checked is not a proof. If you want to extend the definition of proofs you're welcome to do that, but for academic mathematics the meaning of proof doesn't contain a middle ground.
[ Parent | on HN ]
Re:Show HN: I made a puzzle game & it gently introduces my f... by valenterry on Thursday June 20, 2024 @05:42PM (#40743728)
Why would it not be a proof?

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?

[ Parent | on HN ]