2

A proof is some explanation to convincing others that a statement is true (or false in case of a counterexample). As Yuri Manin once wrote: "A proof becomes a proof only after the social act of accepting it as a proof".

Since Mathematics is not comprehensively 'connected' to the nature, I am trying to compare it with another situation: there were many beliefs in history that every body was convinced their truth, it could even be as far as a superstition. But as time passed their validity changed.

My question is: Do we need other type(s) of intelligent creation (like intelligent aliens) for final check whether our proofs are true or not? Or, human mind is enough for checking their truth?

Note - My question is especially focus on non-empirical Mathematics.

EDIT - Also, there have been many mathematical proofs that had very subtle inconsistency detected by smart people; checking Fermat Last Theorem's proof by a colleague of Wiles came up with a subtle mistake is an example; Is it possible that a 'proof' has that type of mistake but not easy enough to 'see' even by nowadays' people for a long long time? any historical story?

PS - migrated from math.SE

MKR
  • 123
  • 4
  • I'm pretty sure we've answered what to me seems to be roughly the same question before. See for instance: http://philosophy.stackexchange.com/questions/8216/is-it-possible-to-know-something-with-absolute-certainty / http://philosophy.stackexchange.com/questions/15841/can-we-prove-reality / http://philosophy.stackexchange.com/questions/77/can-you-prove-anything-in-philosophy / http://philosophy.stackexchange.com/questions/17719/the-blur-between-proof-and-evidence – virmaior Jun 16 '15 at 22:43
  • If none of these are similar to what you're trying to ask, please clarify how your question is singular on this front. – virmaior Jun 16 '15 at 22:44
  • 'This sounds like the question "If a tree falls down in some forest and nobody is there to hear the fall, did the fall actually make some sound?" . I'd go with yes to your question: the validity and soundness of a proof of anything depends heavily on the skills of the author to make it clear to at least some of his peers (how many? Good question), as these things must be validated for people other than the author himself. – DonAntonio May 23 '14 at 14:15 'http://math.stackexchange.com/questions/806676/is-a-proof-still-valid-if-only-the-writer-understands-it – BCLC Jul 04 '15 at 14:55

1 Answers1

3

Neither human nor any other finite mind is enough for true finality, we or them may be delusional, or make subtle errors in logic no matter how many times we verify it, a computer may have glitches when checking the steps, etc. This seems far fetched for simple propositions like the Pythagorean theorem, but not so much for elaborate proofs, Wiles's proof originally had a mistake, proof of the four color theorem could only be done by a computer, and it is suspected that there are still minor flaws and gaps in the multivolume classification of finite simple groups.

Of course, we are fairly certain of our mathematical proofs, the more so the simpler they are. But even that certainty is ultimately empirical, it is based on our confidence in understanding our own workings, just as our certainty that the Sun will rise tomorrow is based on our confidence in understanding the workings of the world. The more sophisticated a mind the more complex proofs it can be confident about. But none of it is the final check, only God can provide that, if he exists.

Conifold
  • 42,225
  • 4
  • 92
  • 180
  • Thank you. Esp. I liked "The more sophisticated a mind the more complex proofs it can be confident about." – MKR Jun 17 '15 at 02:10