3
$\begingroup$

I'm studying mathematics and as you all know the most important things in mathematics are proofs.

My question is, who determines if a proof that someone invents in mathematics is valid? Is there some mathematics professors who check all people's proofs in the world?

If I invented a new proof, where do I send it to? Can anyone invent their own mathematical proofs?

$\endgroup$

closed as too broad by Qiaochu Yuan, kjetil b halvorsen, JonMark Perry, user91500, SchrodingersCat Nov 18 '15 at 12:44

Please edit the question to limit it to a specific problem with enough detail to identify an adequate answer. Avoid asking multiple distinct questions at once. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.

  • 1
    $\begingroup$ In general it is a social process. If a published result is deemed important then many people will read it and find bugs in the proof. Maybe. $\endgroup$ – copper.hat Nov 18 '15 at 7:41
  • $\begingroup$ For a proof of a theorem to be validated, a searcher needs to communicate on his proof. He needs to explain it in some conferences and also to find a journal of mathematics to publish it, when he sends his proof to the journal a so-called "reviewer" will review his proof, if the reviewer decides that it is worth be published then it is published. Finally when "enough" mathematicians have seen the proof and nobody found a problem people consider the proof to be valid. $\endgroup$ – Clément Guérin Nov 18 '15 at 7:42
  • $\begingroup$ Wow @ClémentGuérin thanks for explaining. My next question is are there examples of proofs who were accepted but then 100 or 200 years later were discovered to be invalid? $\endgroup$ – bodacydo Nov 18 '15 at 7:44
  • $\begingroup$ @bodacydo, as far as I know the system is efficient, so there are no spectacular examples but for instance you have a French book called "Infirmation de l'hypothèse de Riemann" (rough translation : the Riemann hypothesis is false). The book exists (I had it in my hands when I was a student) and pretends to prove that Riemann hypothesis is false. The book is actually a proof (I don't say anything about the validity of the proof) with a lot of mathematics. The point is that the author did not follow the usual steps (publication in a journal rather than using an editor of "norrmal" books) $\endgroup$ – Clément Guérin Nov 18 '15 at 7:55
  • 1
    $\begingroup$ Usually they're not totally invalid. One example is that Euclid thought he had pinned down all the axioms he needed for Euclidean geometry, but he accidentally used his intuition to derive some results, and so technically those proofs are wrong because they do not follow from the axioms that he specified. More than 2000 years later, this was pointed out by Pasch, and the extra axiom needed is called Pasch's axiom. Euclid also did not specify clearly axioms stating the invariance of certain quantities under Euclidean transformations, so by modern standards his proofs were not completely solid. $\endgroup$ – user21820 Nov 18 '15 at 7:59
3
$\begingroup$

That's a very interesting question. Part of the answer is already included in the question itself - for it is not evident at all that the question should not start with the word "what".

As was pointed out -- correctly I believe -- a determination of the validity of a mathematical proof is a social process. This may come somewhat as a surprise -- especially for high priests of mathematics who believe with all their heart that mathematics equals truth.

The mathematical community is first and foremost a community. It has its institutions, governments, ambassadors, pundits, enthusiasts, cults and rebellious underground movements. The current state of affairs was concisely summarized by Clement Guarin in the comments above. Observe how structured is the social process -- first the proof inventors have to believe in their proof. Then they must present it in front of other people. These other people can be members of their faculty, or readers on a site like this one. Then they ought to present it yet in front of still other people -- presumably holding more distinguished posts than the first ones -- these could be journal editors or otherwise distinguished persona in widely accepted forums, such as some mathematicians who post on the real-mathematics sites. The purpose of this all is to expose the proof to as many eyes as possible, in the hope that if there were some mistake somewhere, it surely would have been found. But this has not always been the case. See the story of the Busemann-Petty problem.

$\endgroup$
  • $\begingroup$ The mathematical community is not first and foremost a community. it is first and foremost a set of people independently pursuing a priori truth. In this way it is possible to be a successful member of the "community" with only very occassional interaction with others! $\endgroup$ – Jacob Wakem May 17 '16 at 0:02
  • $\begingroup$ I beg to disagree. If what you say is true, then "mathematical truth" can be pursued in total isolation, e.g. in solitude on a lonely island. However, history teaches us that not a single mathematical theorem was conceived in isolation of other humans. Hence there is no innate truth in a mathematical theorem, but merely a consensus of the other living mathematicians, which romantic souls often misplace for "truth". $\endgroup$ – uniquesolution May 23 '16 at 8:12
  • $\begingroup$ uesolution So 1+2!=3 on Mars? $\endgroup$ – Jacob Wakem May 23 '16 at 20:26
  • $\begingroup$ I don't know. We should have to ask a Martian. $\endgroup$ – uniquesolution May 24 '16 at 6:45
  • $\begingroup$ That is a good point. And just because a martian may not call it 2! Doesnt mean the ideology wont be the same. Counting is counting no matter the names. $\endgroup$ – Nick Pavini Feb 17 '17 at 14:39

Not the answer you're looking for? Browse other questions tagged or ask your own question.