Hacker News Reader

I think any new proof of PT is pretty cool. it doesn't even have to be "elegant" or better than previous proofs. Just a new one.

Will there at some point be a proof that all possible proofs of Pythagorean Theorem have been found. Or for any theorem? Is it possible to prove that all possible proofs of something have been found?

View on HN

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?

You can always insert irrelevant details into a proof, so it's easy to construct an infinite number of proofs from a single proof.

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.

Reply on news.ycombinator.com