Most interesting mathematics mistake? - MathOverflow [closed] most recent 30 from http://mathoverflow.net 2010-03-12T22:09:40Z http://mathoverflow.net/feeds/question/879 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake Most interesting mathematics mistake? Ilya Nikokoshev 2009-10-17T14:28:43Z 2010-03-12T17:45:34Z <p>Some mistakes in mathematics made by extremely smart and famous people can eventually lead to interesting developments and theorems, e.g. Poincare's 3d sphere charaterization or the search to prove that Euclid's parallel axiom is really <s>necessary</s> unnecessary.</p> <p>But I also think there are less famous mistakes worth hearing about. So, here's a question:</p> <blockquote> <p>What's the most interesting mathematics mistake that you know of?</p> </blockquote> <p>This question is community wiki, meaning neither the question nor the answers receive points (which are reserved for "hard" questions). So please post as much as you like (indeed <strong>please post one answer per post</strong> so that others can upvote the ones easier), vote a lot and vote freely. </p> <p>(should there be a tag 'not-math-related' or similar?)</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/881#881 Answer by Thomas Riepe for Most interesting mathematics mistake? Thomas Riepe 2009-10-17T14:55:58Z 2009-10-17T14:55:58Z <p>Cantor's set theory - had he known the related paradoxa, he would probably not have started developing set theory. </p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/883#883 Answer by Thomas Riepe for Most interesting mathematics mistake? Thomas Riepe 2009-10-17T15:05:14Z 2009-10-17T15:05:14Z <p>Hilbert's program, whose development was induced by on assumptions shattered by Goedel. </p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/885#885 Answer by John Goodrick for Most interesting mathematics mistake? John Goodrick 2009-10-17T15:21:19Z 2009-10-17T15:21:19Z <p>Frege's proposed axioms in <em>Die Grundlagen der Arithmetik.</em></p> <p>Frege was trying to derive the concept of "number" from more basic concepts, and he tried to axiomatize higher-order logic (essentially, a kind of set theory), but his intuitive-seeming axioms were logically inconsistent. Russell first found the inconsistency, which we now call Russell's Paradox.</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/887#887 Answer by Reid Barton for Most interesting mathematics mistake? Reid Barton 2009-10-17T16:09:09Z 2009-10-17T16:09:09Z <p>Pontryagin made a famous mistake while computing the stable homotopy groups of spheres (specifically, &pi;<sub>2</sub>) which led to the discovery of the Kervaire invariant. I won't spoil what the mistake was: watch this <a href="https://www.simonsfoundation.org/news/-/asset_publisher/bo1E/content/mathematicians-solve-45-year-old-kervaire-invariant-puzzle" rel="nofollow">video</a> of Mike Hopkins' talk (second video on the page), starting about 7 minutes in.</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/898#898 Answer by Gerald Edgar for Most interesting mathematics mistake? Gerald Edgar 2009-10-17T17:23:29Z 2009-10-17T17:23:29Z <p>An error of Lebesgue. 1905 or so. Take a Borel set in the plane, project it onto a line, the result is a Borel set. Obvious: the projection of an open set is open, and the Borel sets in the plane are the least family containing the open sets, closed under countable unions and countable intersections.</p> <p>But wrong. Projection doesn't commute with countable intersection.</p> <p>Studying this error lead Suslin to begin the line of study now called "descriptive set theory", 1917 or so.</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/901#901 Answer by Alex Basson for Most interesting mathematics mistake? Alex Basson 2009-10-17T17:48:33Z 2009-10-17T17:48:33Z <p>All of the (in retrospect) misguided attempts to prove Euclid's Parallel Postulate, which eventually lead Gauss to develop hyperbolic geometry.</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/910#910 Answer by shenghao for Most interesting mathematics mistake? shenghao 2009-10-17T18:30:41Z 2009-10-17T18:30:41Z <p>I don't know if this is really a mistake: Fermat's "missing proof" for Fermat's last theorem.</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/913#913 Answer by Grétar Amazeen for Most interesting mathematics mistake? Grétar Amazeen 2009-10-17T18:45:55Z 2009-10-17T18:45:55Z <p>I believe Kummer's failed attempt at a proof of Fermat's last theorem led to the discovery of ideals.</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/921#921 Answer by Kevin Lin for Most interesting mathematics mistake? Kevin Lin 2009-10-17T19:24:39Z 2009-10-17T19:24:39Z <p>Maybe it's not true, but there's the story of the "Grothendieck prime":</p> <blockquote> <p>One striking characteristic of Grothendieck's mode of thinking is that it seemed to rely so little on examples. This can be seen in the legend of the so-called "Grothendieck prime". In a mathematical conversation, someone suggested to Grothendieck that they should consider a particular prime number. "You mean an actual number?" Grothendieck asked. The other person replies, yes, an actual prime number. Grothendieck suggested, "All right, take 57."</p> <p>But Grothendieck must have known that 57 is not prime, right? Absolutely not, said David Mumford of Brown University. "He doesn’t think concretely."</p> </blockquote> <p>from here: <a href="http://www.ams.org/notices/200410/fea-grothendieck-part2.pdf" rel="nofollow">http://www.ams.org/notices/200410/fea-grothendieck-part2.pdf</a></p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/922#922 Answer by Kevin Lin for Most interesting mathematics mistake? Kevin Lin 2009-10-17T19:26:56Z 2009-10-17T19:26:56Z <p>If Hilbert's program was a "mistake", then surely so was Russell-Whitehead's Principia Mathematica.</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/932#932 Answer by John for Most interesting mathematics mistake? John 2009-10-17T19:49:06Z 2009-10-17T19:49:06Z <p>I find this one (it is not in the same vein as the ones that have been posted here so far, this is not a pure math mistake) to be interesting and instructive to students: <a href="http://www.google.com/search?hl=en&amp;safe=off&amp;client=safari&amp;rls=en&amp;q=patriot+missile+failure+binary" rel="nofollow">patriot missile failure due to poor understanding of binary decimals</a></p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/933#933 Answer by Harrison Brown for Most interesting mathematics mistake? Harrison Brown 2009-10-17T19:57:39Z 2009-10-17T19:57:39Z <p>Kempe's "proof" of the four-color theorem, which didn't prove the four-color theorem, but did:</p> <ol> <li>Prove the <em>five</em>-color theorem</li> <li>Somehow manage to go unnoticed for a dozen years</li> <li>Lay the foundations for major tools in structural graph theory, and despite being fundamentally flawed, serve as the starting point for the eventual successful proof(s) of 4CT.</li> </ol> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/965#965 Answer by jvp for Most interesting mathematics mistake? jvp 2009-10-18T00:27:28Z 2009-10-18T00:27:28Z <p>Certainly not the most interesting mistake in math, but it deserves to be mentioned.</p> <p>Hesse claimed that homogeneous polynomials in n variables with vanishing Hessian are, after a linear change of coordinates, polynomials in at most n-1 variables.</p> <p>Gordan and M. Noether verified Hesse's claim for n&lt;=3 and constructed counter-examples for every n>=4. </p> <p>It is ironic that there is no hesitation today to call the hessian hessian. </p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/967#967 Answer by jvp for Most interesting mathematics mistake? jvp 2009-10-18T00:58:48Z 2009-10-18T00:58:48Z <p>Petrovisky-Landis solution to the second part of Hilbert 16th problem. They "proved" the existence of a bound for the number of limit cycles of planar polynomial vector fields of fixed degree. Ilyashenko pointed out the mistake. </p> <p>The problem remains wide open but the basic idea of Petrovisky-Landis ( complexify ) lead to the study of holomorphic foliations. </p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/982#982 Answer by Anna Varvak for Most interesting mathematics mistake? Anna Varvak 2009-10-18T02:08:31Z 2009-10-18T02:08:31Z <p>Karl Pearson's contributions in the development of statistics are so ubiquitous that most users take his assumptions for granted. One key contribution and mistake of his was to claim that all distributions are parametric. Such models are still predominantly used in social and behavioral sciences, but his insistence led to a lot of interesting and very useful developments in mathematical statistics and its applications by people who published refutations of his work (like R.A. Fisher).</p> <p>As a non-math mistake, Karl Pearson avidly advocated eugenics towards racial purity. Big mistake.</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/1034#1034 Answer by helvio for Most interesting mathematics mistake? helvio 2009-10-18T14:02:55Z 2009-10-18T14:02:55Z <p>William Shanks (1812-1882), who calculated pi to the 707th place, by hand, but it was only correct for the first 527 places.</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/1061#1061 Answer by Hap for Most interesting mathematics mistake? Hap 2009-10-18T18:57:32Z 2009-10-18T18:57:32Z <p>Then there's always the <a href="http://www.thefreelibrary.com/Math+error+equals+loss+of+Mars+orbiter-a057155808" rel="nofollow">Martian Climate Orbiter Newtons vs Pounds of thrust embarrassment.</a> </p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/1097#1097 Answer by John Goodrick for Most interesting mathematics mistake? John Goodrick 2009-10-18T22:44:25Z 2009-10-18T22:44:25Z <p>A story I heard in grad school: </p> <p>Once upon a time, a set theorist was writing a paper on inner models, and in it he worte, "... and we will call such models <em>nice</em>." When he got his manuscript back from the typist (this was back in the pre-LaTeX days of technical typists), he saw that his handwriting had been misread, and the line came out as: "... and we will call such models <em>mice</em>." The name stuck, and to this day if you browse almost any recent volume of the <em>Journal of Symbolic Logic,</em> you will find set theory articles on "mice."</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/1148#1148 Answer by Pawl for Most interesting mathematics mistake? Pawl 2009-10-19T03:19:25Z 2009-10-19T03:19:25Z <p>Cantor's been mentioned, but I think the lessons there should be different. First, the really big mistake was that of highly-reputed academics (including, I believe, Poincare, Kronecker and even Wittgenstein) who rejected his ideas. And (related) second, even in a wiki devoted to mistakes it seems somewhat carping to fault Cantor for failing to spot a subtlety without at the same time adequately crediting his genius.</p> <p>Somewhat along the same lines, one might mention Fourier's difficulties in getting his ideas accepted.</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/1274#1274 Answer by unknown (google) for Most interesting mathematics mistake? unknown (google) 2009-10-19T19:58:23Z 2009-10-19T19:58:23Z <p>Goodrick's "story from Grad school" is incorrect. According to Ronald Jensen, the set theorist in question, he felt that the concept was important enough that it deserved a name which had not already been used elsewhere in mathematics. And 'mice' was it. (Also, note that 'mice' is a noun, and 'nice' is an adjective --- it would not make sense.) </p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/1330#1330 Answer by John mac for Most interesting mathematics mistake? John mac 2009-10-20T00:56:59Z 2009-10-20T00:56:59Z <p>Perhaps not under this heading but I enjoy reading in Marshall Hall Group Theory book:</p> <p>"Let p be any old prime."</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/1679#1679 Answer by Wlog for Most interesting mathematics mistake? Wlog 2009-10-21T15:41:02Z 2009-10-21T15:41:02Z <p>Samuel I. Krieger made many attempts at significant contributions to the field of mathematics, unfortunately some of his efforts did not pan out.</p> <p>In 1934, he claimed that the 72-digit composite number 231,584,178,474,632,390,847,141,970,017,375,815,706,593,969,331,281,128,078,915,826,259,279,871 was the largest known prime number.</p> <p>He also attempted to show that the number 2^256(2^257-1) was perfect, implying that 2^257-1 is a prime number. 852,133,201 is a factor of 2^257-1.</p> <p>Finally, he claimed to have a counter example to Fermat's Last Theorem x^n + y^n = z^n using the numbers x = 1324, y = 731 and z = 1961 with an undisclosed n. A reporter supposedly called Krieger to ask how the left and the right hand side could be equal, when the left hand side could only end in a 4 or a 6 plus 1, and the right hand side could only end in 1.</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/1688#1688 Answer by Peter Arndt for Most interesting mathematics mistake? Peter Arndt 2009-10-21T17:05:55Z 2009-10-21T17:05:55Z <p>Poincare defined the fundamental group and the homology groups and proved that H _1 was pi _1 abelianized. So the question came up whether there were other groups pi _n whose abelianization would give the H _n. Cech defined the higher pi _n as a proposed answer and submitted a paper on this. But Alexandroff and Hopf got the paper, proved that the higher pi _n were abelian and thus not the solution, and they persuaded Cech to withdraw the paper. Nevertheless a short note appeared and the pi _n started to be studied anyway...</p> <p>Taken from <a href="http://www.intlpress.com/hha/v1/n1/a1/" rel="nofollow">http://www.intlpress.com/hha/v1/n1/a1/</a> ,page 17 </p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/1712#1712 Answer by engelbrekt for Most interesting mathematics mistake? engelbrekt 2009-10-21T19:58:18Z 2009-10-21T19:58:18Z <p>Supposedly Stefan Bergman attended a course on orthogonal functions while an undergraduate, and misunderstood what he was hearing, believing that the functions were supposed to be analytic. This led him to the Bergman kernel and Hilbert spaces of analytic functions, which has developed into a whole field of study at the junction of complex analysis and operator theory, and also with important ramifications in the more geometric parts of SCV. If the story is true, this was certainly an extremely fruitful mistake!</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/2687#2687 Answer by an-huang for Most interesting mathematics mistake? an-huang 2009-10-26T21:48:41Z 2009-10-26T21:48:41Z <p>I think The Feynman path integral may be regarded as a great mathematical mistake, as once remarked by Richard Borcherds in a conversation.</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/9026#9026 Answer by Alejandro for Most interesting mathematics mistake? Alejandro 2009-12-15T19:06:36Z 2009-12-15T19:06:36Z <p>From wikipedia (<a href="http://en.wikipedia.org/wiki/Uniform_convergence" rel="nofollow">http://en.wikipedia.org/wiki/Uniform_convergence</a>), about uniform convergence:</p> <p>"Augustin Louis Cauchy in 1821 published a faulty proof of the false statement that the pointwise limit of a sequence of continuous functions is always continuous. Joseph Fourier and Niels Henrik Abel found counter examples in the context of Fourier series. Dirichlet then analyzed Cauchy's proof and found the mistake: the notion of pointwise convergence had to be replaced by uniform convergence."</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/9029#9029 Answer by Henry Wilton for Most interesting mathematics mistake? Henry Wilton 2009-12-15T19:14:53Z 2009-12-15T19:14:53Z <p>Not just a great mistake, but also a great <em>documentation</em> of a mistake: Stallings's <a href="http://math.berkeley.edu/~stall/notPC.pdf" rel="nofollow">How not to prove the Poincare Conjecture</a>. (I think this paper is my answer to every community-wiki question.)</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/9038#9038 Answer by Matt Noonan for Most interesting mathematics mistake? Matt Noonan 2009-12-15T20:33:53Z 2009-12-15T20:33:53Z <p>For surfaces of constant mean curvature, it is alleged that Hopf thought that all compact CMC surfaces in $\mathbb{R}^3$ were round spheres. CMC surfaces are what you get if you have a soap film bounding a fixed volume, so after a childhood full of blowing bubbles this is a pretty reasonable thing to think. And it even happens to be mostly true: Hopf proved that immersed CMC spheres are round, and Alexandrov proved with a nice reflection argument that <em>embedded</em> CMC surfaces of any genus must actually be round spheres.</p> <p>But a bit later, Wente discovered a collection of CMC tori. Ivan Sterling has some nice pictures of these <a href="http://faculty.smcm.edu/isterling/tof/" rel="nofollow">on his website</a>, as does <a href="http://www.msri.org/about/sgp/jim/geom/cmc/library/wente/index.html" rel="nofollow">MSRI</a>. There are many very pretty connections between these surfaces and algebraic geometry, so to me they sort of mark the start of the modern "integrable systems" era of CMC research.</p> <p>I should probably add that nobody actually seems sure if Hopf believed that compact CMC surfaces are spheres, but it makes a good creation story for the subfield!</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/9040#9040 Answer by J. H. S. for Most interesting mathematics mistake? J. H. S. 2009-12-15T20:46:09Z 2009-12-15T20:46:09Z <p>Weierstrass pointed out that the proof of Riemann of <em>his</em> mapping theorem contained serious flaws.</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/9059#9059 Answer by Daniel Moskovich for Most interesting mathematics mistake? Daniel Moskovich 2009-12-16T01:36:02Z 2009-12-16T01:36:02Z <p>C.N. Little listing the <a href="http://en.wikipedia.org/wiki/Perko_pair" rel="nofollow">Perko pair</a> as different knots in 1885 (10<sub>161</sub> and 10<sub>162</sub>). The mistake was found almost a century later, in 1974, by Ken Perko, a NY lawyer (!)<br> For almost a century, when everyone thought they were different knots, people tried their best to find knot invariants to distinguish them, but of course they failed. But the effort was a major motivation to research covering linkage etc., and was surely tremendously fruitful for knot theory.<br> <img src="http://mathworld.wolfram.com/images/eps-gif/PerkoPair%5F1000.gif" alt="alt text" /></p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/9080#9080 Answer by Douglas S. Stones for Most interesting mathematics mistake? Douglas S. Stones 2009-12-16T06:03:05Z 2009-12-16T06:03:05Z <p>Euler conjectured that there were no pairs of orthogonal Latin squares for orders $n \equiv 2 \pmod 4$. Nearly two hundred years later, this was proved false for every $n \equiv 2 \pmod 4$ except $2$ and $6$. <a href="http://math.dartmouth.edu/~euler/pages/E530.html" rel="nofollow">Here</a>'s the link to Euler's paper. Regardless, Euler's work certainly helped spur research into Latin squares.</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/9106#9106 Answer by Kevin O'Bryant for Most interesting mathematics mistake? Kevin O'Bryant 2009-12-16T13:58:56Z 2009-12-16T13:58:56Z <p>The mother of all examples: Euclid's <em>Elements</em> contains errors from start to finish.</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/9653#9653 Answer by d__ for Most interesting mathematics mistake? d__ 2009-12-24T04:01:44Z 2009-12-24T04:01:44Z <p>Something I came across a long time ago during my years in Oxford. A bit off a tangent, but still worth a quick read:</p> <p><a href="http://eprints.maths.ox.ac.uk/104/1/balls.pdf" rel="nofollow">http://eprints.maths.ox.ac.uk/104/1/balls.pdf</a></p> <p>"If I remember rightly, cos(pi/2) = 1"</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/9694#9694 Answer by Richard Stanley for Most interesting mathematics mistake? Richard Stanley 2009-12-24T18:00:26Z 2010-03-02T17:19:21Z <p>An insignificant mistake, but amusing nonetheless: in Cayley's famous 1854 paper where he defines the concept of an abstract group, as an illustration he proves that there are <em>three</em> groups of order 6 (up to isomorphism). This is because he does not realize that the groups $Z_2\times Z_3$ and $Z_6$ are isomorphic. (See my comment for the correct Cayley reference.)</p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/16881#16881 Answer by Regenbogen for Most interesting mathematics mistake? Regenbogen 2010-03-02T17:31:37Z 2010-03-12T17:45:34Z <p>Goro Shimura says thus about Yutaka Taniyama:</p> <blockquote> <p>Though he was by no means a sloppy type, he was gifted with the special capability of making many mistakes, mostly in the right direction. I envied him for this, and tried in vain to imitate him, but found it quite difficult to make good mistakes.</p> </blockquote> <p>The above is from the article "Yutaka Taniyana And His Time -- Very Personal Recollections" by Shimura.</p> <p>In Shimura's autobiography, published much later, Shimura clarifies that the so-called Shimura-Taniyama conjecture on modularity of elliptic curves over $\mathbb{Q}$, arose out of such an "interesting mistake" of Taniyama, which was made into the correct and precise form later by Shimura. Later Weil also took it up, and for a while it was known as the Weil conjecture on modularity. Serge Lang criticized Weil for allegedly taking credit for others' work, and as a result of his efforts, the name of the conjecture was restored to be Shimura-Taniyama. </p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/16885#16885 Answer by Liran for Most interesting mathematics mistake? Liran 2010-03-02T17:59:55Z 2010-03-02T17:59:55Z <p>It was "proved" in 1961 that the first right derived functor, $\lim^1_{\leftarrow}$ of the inverse limit functor is zero on Mittag-Leffler systems.</p> <p>However, recently a counter-example was found by Neeman and Deligne: <a href="http://www.springerlink.com/content/aeem2yx884nnufxn/" rel="nofollow">http://www.springerlink.com/content/aeem2yx884nnufxn/</a></p> http://mathoverflow.net/questions/879/most-interesting-mathematics-mistake/17312#17312 Answer by Gary Kennedy for Most interesting mathematics mistake? Gary Kennedy 2010-03-06T19:49:30Z 2010-03-06T19:49:30Z <p>Steiner's count 7776 of the number of the number of plane conics tangent to 5 general plane conics certainly deserves a mention here. He gave this answer in 1848, and it wasn't fixed until 1864, when Chasles pointed out the error and came up with the correct value of 3264. You can regard this as the first recognition of needing appropriate compactifications in order to do valid calculations in enumerative geometry.</p>