News for hackers. Stuff that matters.

A comment on New Orleans Teenagers Found a New Proof of the Pythagorean Theorem. Parent comment

Re:New Orleans Teenagers Found a New Proof of the Pythagorea... by qez on Sunday April 09, 2023 @05:31AM (#35501145)
I wonder, are there an infinite number of proofs of the theorem, each more complex than the last? Can I rephrase what they did, make it more convoluted, and call it a new proof?
[ Parent | on HN ]
Re:New Orleans Teenagers Found a New Proof of the Pythagorea... by FartyMcFarter on Sunday April 09, 2023 @06:35AM (#35501435)
You can always insert irrelevant details into a proof, so it's easy to construct an infinite number of proofs from a single proof.
[ Parent | on HN ]
Re:New Orleans Teenagers Found a New Proof of the Pythagorea... by galaxyLogic on Sunday April 09, 2023 @07:41AM (#35501792)
If they are irrelevant details then that should not count as a new proof, in my opinion.

I guess it might be possible to have a "canonic form" of a proof so that if two proofs can be reduced to the same canonic proof then they are in fact the same proof.

[ Parent | on HN ]