19

Have there been cases of errors in math papers, that were undetected for so long, that they caused subsequent errors in research, citing those papers. ie: errors getting propagated along. My impression is that this type of thing is extremely rare.

What was the worst case of such a scenario? Thanks.

Mikhail Katz
  • 42,112
  • 3
  • 66
  • 131
Ameet Sharma
  • 2,957

1 Answers1

3

One egregious case recently analyzed in detail by Adrian Mathias is Bourbaki's text Theory of sets and a couple of sequels published by Godement and others. Mathias' paper is:

Mathias, A. R. D. Hilbert, Bourbaki and the scorning of logic. Infinity and truth, 47–156, Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap., 25, World Sci. Publ., Hackensack, NJ, 2014.

Mathias analyzes several ubiquitous errors in the book, such as choosing an inappropriate foundation in Hilbert's pre-Goedel epsilon (or tau) operator, confusion of language and metalanguage, missing hypotheses that make certain statements incorrect, and even more serious "editorial comments" suggesting to the reader that certain issues in logic are too complicated to be clarified completely.

The result was not merely perpetuation of errors in other papers, but the stagnation of logic in France for several generations that only recently has begun to be corrected.

MJD
  • 65,394
  • 39
  • 298
  • 580
Mikhail Katz
  • 42,112
  • 3
  • 66
  • 131
  • there goes my afternoon.... – mercio Mar 30 '16 at 14:33
  • :-) It's well worth a read. @mercio – Mikhail Katz Mar 30 '16 at 14:39
  • Could you clarify where in the linked article it says that there are actual technical errors in Bourbaki's Théorie des ensembles? I understand that it is widely argued Bourbaki was misguided in its choice of logical foundations for mathematics, and that its members sometimes displayed ignorance of the results of 20th century research in logic. But I am surprised by the assertion that the actual execution of this system in Bourbaki's treatise is incorrect. If it is, then does this still apply to the latest edition of the book? – user49640 Jun 22 '17 at 19:50
  • It's been a while since I read the article but as I recall there were both misconceptions and errors both in Bourbaki and in books and textbooks it inspired. Confusion of language and metalanguage is an error. I agree with @mercio that Mathias's article is a fascinating read. – Mikhail Katz Jun 23 '17 at 08:46
  • Looking at the article, and restricting attention to the latest edition of Bourbaki's treatise itself, the actual technical criticisms seem very modest and to my eye don't amount to "errors." The criticism that is emphasized the most seems to be that in cases where there is no object $x$ satisfying a relation $R$, then the term $\tau_x(R)$, which normally represents some object with property $R$, takes on an unspecified value instead of being undefined, and that this leads to counterintuitive results. I would describe this as perhaps a poor choice, but not an error. – user49640 Jun 23 '17 at 16:42
  • The reason I am asking is also because as far as I can tell, the confusion of language and metalanguage asserted by the author was apparently in other works by some individual members of the Bourbaki group, not in the Bourbaki treatise itself. Perhaps I am wrong, but this is why I'm asking you to point out where this is mentioned in the article. Obviously, all of this is separate from the question of whether Bourbaki's system was suitable for the study of logic. I'm only asking whether it was suitable to support the mathematical content of their treatise. – user49640 Jun 23 '17 at 16:48
  • Actually, as far as I can tell, the confusion of language and metalanguage Mathias talks about was not even by a member of Bourbaki. It was in a popular French undergraduate textbook that happens to cite Bourbaki's Théorie des ensembles in its bibliography. – user49640 Jun 24 '17 at 19:39