If we’re looking for the most elegant possible proof of a theorem (whatever that means), any sufficiently short proof is much more likely to be it than any sufficiently long proof.
Could you give a precise meaning to that statement? I can’t think of any possible meaning except “if a proof exists, it has finite length”, which is trivial. Are short proofs really more likely? Why?
Could you give a precise meaning to that statement? I can’t think of any possible meaning except “if a proof exists, it has finite length”, which is trivial. Are short proofs really more likely? Why?
More emphasis on the most elegant possible.
Sorry for deleting my comment, I got frustrated and rewrote it. See my other reply to grandparent.
I don’t believe it either, by the way.