To begin with, I am aware of these questions, which seems to be related:
How do I fix someone's published error?, Examples of common false beliefs in mathematics, When have we lost a body of mathematics because errors were found?, etc…
My background: I am a senior undergraduate student in mathematics. Recently, I got a nice chance in a REU program, and started to read some journal articles. My impression was: any result in modern mathematics critically depends on another result, and that result depends on some other result, and ad infinitum.
On the other hand, some graduate students and professors in my university, who stand in quite intimate relations to me, say that, they do not check every details of proofs when they read mathematical monographs and research articles. They simply do not have enough time to read all the details and fill in the lines. (Clearly, I also do not read all the proofs in detail, if it seems to be so difficult or not much relevant to what I am interested in.)
Finally, I've been heard of some stories on fatal mathematical errors. To be honest, I do not understand what the errors precisely are. What I've been heard about are some "urban legends".
(I intentionally didn't write down the details of these urban legends, since if I write down everything I've heard, maybe someone working in the mentioned field may feel insulted…)
For the above reasons, recently I am afraid of the situation where a field in mathematics collapse down because of a single, fatal, but very subtle error in the foundations of that field. In mathematics, everything seems to be so much intertwined, and it seems that no one actually checks every single detail in every mathematical articles.
But the mathematics community seems to be very sound.
Maybe at least one of the followings are true:
-
Actually, a typical mathematical result does not depend that much on other results. So whenever if possible, a mathematician can check the details of every results which is of interest to him/her.
-
Strictly speaking, rigor is actually not that important. Even if a mathematical result turns out to be false, there is still something true in the statement. Therefore, only minor changes will be needed, and all the results depending on the turned-out-to-be-false result remains sound.
Here are my questions.
-
Why the whole mathematics remains so sound, even though humans are imperfect and quite often produce errors? Are my explanations above correct?
-
If a theorem turns out to be wrong, then mathematicians will try to correct (if possible) all the results depending on that theorem. How hard is this job? Isn't it very tedious and frustrating? I want to hear some personal stories.
-
As an undergraduate student, I want to know if anybody who is much wiser, older, or experienced, had the same fear as mine. (Again, I want to hear some personal stories.)
-
As an undergraduate student who will get into a graduate school in the near future, I want to get some advice. Should I stop worrying and believe the authors of the books and articles I read? When should I check all the details, and when should I just accept the theorem as given?
Thanks to everyone for reading my question.
Best Answer
In addition to the answers that have already been given, I think another reason that mathematics doesn't collapse is that the fundamental content of mathematics is ideas and understanding, not only proofs. If mathematics were done by computers that mindlessly searched for theorems and proof but sometimes made mistakes in their proofs, then I expect that it would collapse. But usually when a human mathematician proves a theorem, they do it by achieving some new understanding or idea, and usually that idea is "correct" even if the first proof given involving it is not.
One recent and well-publicized story is that told by the late Vladimir Voevodsky in his note The Origins and Motivations of Univalent Foundations. Here's a bit of one story that he tells about his own experience:
I don't know any of the details of the mathematics in this story, but the fact that he was able to prove a "weaker and more complicated lemma which turned out to be sufficient for all applications" matches my own experience. For instance, while working on a recent project I discovered no fewer than nine mistaken theorem statements (not just mistakes in proofs of correct theorems) in published or almost-published literature, including several by well-known experts (and two by myself). However, in all nine cases it was simple to strengthen the hypothesis or weaken the conclusion in such a way as to make the theorem true, in a way that sufficed for all the applications I know of.
I would argue that this is because the mistaken statements were based on correct ideas, and the mistakes were simply in making those ideas precise. Or to put it differently, mathematicians get our intuitions from "well-behaved" objects: sometimes that intuition can be wrong for "pathological" objects we didn't know about, but in such cases we simply alter the definitions to exclude the pathological ones from consideration.
On the other hand, people do sometimes get mistaken ideas. For instance, here's another quote from Voevodsky's article:
In this case I do know something about the mathematics involved, and my own opinion is somewhat different from Voevodsky's. In the 2000's I was a graduate student working on higher category theory, and my impression was that in the community of higher category theory it was taken for granted that Simpson's counterexample was correct and the Kapranov-Voevodsky paper was wrong, because the claimed KV result contradicted well-known ideas in the field.
The point here is that a community of people developing ideas together is likely to have arrived at correct intuitions, and these intuitions can flag "suspicious" results and lead to increased scrutiny of them. That is, when looking for mistaken ideas (as opposed to technical slips), it makes sense to give differing amounts of scrutiny to different claims based on whether they accord with the intuitions and expectations of experience.
So what do you do as a student? In addition to the other good advice that's been given, I think one of your primary goals should be to train your own intuition. That way you will be better-able to evaluate whether a given result, or something like it, is probably true, before you decide whether to read and check the proof in detail.
Of course, there is also the position that Voevodsky was led to:
I have a lot of respect for that position; I do plenty of formalization in proof assistants myself, and am very supportive of it. But I don't think that mathematics would be in danger of collapse without formalization, and I feel free to also do plenty of mathematics that would be prohibitively time-consuming to formalize in present-day proof assistants.