Widely accepted mathematical results that were later shown wrong? - MathOverflow

Widely accepted mathematical results that were later shown wrong?

2010-08-13T10:12:59Z

I wonder if there are any examples in the history of mathematics of a mathematical proof that was initially reviewed and widely accepted as valid, only to be disproved a significant amount of time later, possibly even after being used in proofs of other results?

(I realise it's a bit vague, but if there is significant doubt in the mathematical community then the alleged proof probably doesn't qualify. What I'm interested in is whether the human race as a whole is known to have ever made serious mathematical blunders.)

Answer by drvitek for Widely accepted mathematical results that were later shown wrong?

2010-08-13T10:23:12Z

Kempe's "proof" of the four-color theorem springs to mind. Wikipedia says that Kempe published it in 1879 and it was proven to be incorrect by Heawood in 1890. As I recall, the flaw in the original argument was as follows: Kempe defined a structure on a planar graph called a Kempe chain, and argued that certain of these chains could not intersect. There was a subtle flaw in this argument (which I can't seem to find a decent explanation of) and it failed for certain large graphs - the chains can in fact intersect. Heawood provided a 25-node example of intersecting chains; the smallest counterexamples are the Fritsch and Soifer graphs on 9 nodes.

Edit: I didn't address the reknown of Kempe's proof. Wikipedia says that it was "widely acclaimed" (interesting coincidence of wording) while Thomas 1998 provides an excellent history but says little on this matter. I don't know if this could be truly considered "widely acclaimed" based on an uncited Wikipedia entry.

Answer by Georges Elencwajg for Widely accepted mathematical results that were later shown wrong?

2010-08-13T11:23:07Z

In 1882 Kronecker proved that every algebraic subset in $\mathbb P^n$ can be cut out by $n+1$ polynomial equations.

In 1891 Vahlen asserted that the result was best possible by exhibiting a curve in $\mathbb P^3$ which he claimed was not the zero locus of 3 equations. It is only 50 years later, in 1941, that Perron gave 3 equations defining Vahlen's curve, thus refuting Vahlen's claim which had been accepted for half a century.

Finally, in 1973 Eisenbud and Evans proved that $n$ equations always suffice to describe (set-theoretically) any algebraic subset of $\mathbb P^n$

Answer by Gerry Myerson for Widely accepted mathematical results that were later shown wrong?

2010-08-13T13:09:57Z

Euclid's proofs were accepted for two thousand years. Only in the late 19th century was it noticed by Hilbert and others that Euclid was making a lot of implicit assumptions and that if you don't make those assumptions the results are false. The text by Prenowitz and Jordan is a good source for details.

Answer by John Stillwell for Widely accepted mathematical results that were later shown wrong?

2010-08-14T02:23:10Z

Hilbert's 21st problem, on the existence of linear DEs with prescribed monodromy group, was for a long time thought to have been solved by Plemelj in 1908. In fact, Plemelj died in 1967 still believing he had solved the problem.

However, in 1989, Bolibruch discovered a counterexample. Details are in the book The Riemann-Hilbert Problem by Anosov and Bolibruch (Vieweg-Teubner 1994), and a nice popular recounting of the story is in Ben Yandell's The Honors Class (A K Peters 2002).

Answer by KConrad for Widely accepted mathematical results that were later shown wrong?

2010-08-14T04:29:50Z

Mathematicians used to hold plenty of false, but intuitively reasonable, ideas in analysis that were backed up with proofs of one kind or another (understood in the context of those times). Coming to terms with the counterexamples led to important new ideas in analysis.

A convergent infinite series of continuous functions is continuous. Cauchy gave a proof of this (1821). See Theorem 1 in Cours D'Analyse Chap. VI Section 1. Five years later Abel pointed out that certain Fourier series are counterexamples. A consequence is that the concept of uniform convergence was isolated and, going back to Cauchy's proof, it was seen that he had really proved a uniformly convergent series of continuous functions is continuous. For a nice discussion of this as an educational tool, see http://www.math.usma.edu/people/Rickey/hm/CalcNotes/CauchyWrgPr.pdf. [Edit: This may not be historically fair to Cauchy. See Graviton's answer for another assessment of Cauchy's work, which operated with continuity using infinitesimals in such a way that Abel's counterexample was not a counterexample to Cauchy's theorem.]
Lagrange, in the late 18th century, believed any function could be expanded into a power series except at some isolated points and wrote an entire book on analysis based on this assumption. (This was a time when there wasn't a modern definition of function; it was just a "formula".) His goal was to develop analysis without using infinitesmals or limits. This approach to analysis was influential for quite a few years. See Section 4.7 of Jahnke's "A History of Analysis". Work in the 19th century, e.g., Dirichlet's better definition of function, blew the whole work of Lagrange apart, although in a reverse historical sense Lagrange was saved since the title of his book is "Theory of Analytic Functions..."
Any continuous function (on a real interval, with real values) is differentiable except at some isolated points. Ampere gave a proof (1806) and the claim was repeated in lots of 19th century calculus books. See pp. 43--44, esp. footnote 11 on page 44, of Hawkins's book "Lebesgue's theory of integration: its origins and development". Here is a Google Books link: http://books.google.com/books?id=oV1aLqag6WwC&pg=PA43&lpg=PA43&dq=Ampere+1806&source=bl&ots=lV-HfqHza5&sig=Q_3U85rv2o8YEok--GjYWeJSZPs&hl=en&ei=-BZmTLm8CIL-8Aatpon8Dg&sa=X&oi=book_result&ct=result&resnum=1&ved=0CBYQ6AEwAA#v=onepage&q=Ampere%201806&f=false. In 1872 Weierstrass killed the whole idea with his continuous nowhere differentiable function, which was one of the first fractal curves in mathematics. For a survey of different constructions of such functions, see http://www.scribd.com/doc/29256978/Continuous-Nowhere-Differentiable-Functions-Johan-Thim
A solution to an elliptic PDE with a given boundary condition could be solved by minimizing an associated "energy" functional which is always nonnegative. It could be shown that if the associated functional achieved a minimum at some function, that function was a solution to a certain PDE, and the minimizer was believed to exist for the false reason that any set of nonnegative numbers has an infimum. Dirichlet gave an electrostatic argument to justify this method, and Riemann accepted it and made significant use of it in his development of complex analysis (e.g., proof of Riemann mapping theorem). Weierstrass presented a counterexample to the Dirichlet principle in 1870: a certain energy functional could have infimum 0 with there being no function in the function space under study at which the functional is 0. This led to decades of uncertainy about whether results in complex analysis or PDEs obtained from Dirichlet's principle were valid. In 1900 Hilbert finally justified Dirichlet's principle as a valid method in the calculus of variations, and the wider classes of function spaces in which Dirichlet's principle would be valid eventually led to Sobolev spaces. A book on this whole story is A. F. Monna, "Dirichlet's principle: A mathematical comedy of errors and its influence on the development of analysis" (1975), which is not reviewed on MathSciNet.

Answer by Micah Miller for Widely accepted mathematical results that were later shown wrong?

2010-08-14T16:07:22Z

The Euler Characteristic V-E+F has an interesting history. It was initially stated that, for all polyhedra,

$$V(ertices)-E(dges)+F(aces)=2$$

and its proof was widely accepted, until people found counter-examples.

Imre Lakatos' book Proofs and Refutations has an imagined dialogue between teacher and student giving arguments and counter-examples leading to the correct formulation, which, he explains in his footnotes, traces the actual historical development of the statement and proof of the theorem.

Answer by Daniel Asimov for Widely accepted mathematical results that were later shown wrong?

2010-08-14T18:13:40Z

One part of Hilbert's 16th problem is to determine whether a polynomial vector field in ℝ²:

V(x,y) = (P(x,y),Q(x,y))

has at most a finite number of limit cycles.

In 1923, Dulac published a paper supposedly proving this.

Around 1980-81, Ecalle and Ilyashenko independently recognized that the proof had serious gaps.

In 1991-92, Ilyashenko and Ecalle independently published (quite different) proofs that a polynomial vector field in the plane does indeed have at most a finite number of limit cycles.

See Ilyashenko's paper, "A centennial history of Hilbert's 16th problem" at http://www.ams.org/journals/bull/2002-39-03/S0273-0979-02-00946-1/S0273-0979-02-00946-1.pdf.

(Many related questions remain unsolved, such as finding sharp or even good upper bounds for the maximum number of limit cycles in terms of the degrees of the polynomials P and Q.)

Answer by Greg Graviton for Widely accepted mathematical results that were later shown wrong?

2010-08-15T10:57:57Z

(I don't have enough rep to comment on KConrad's answer, hence this additional answer.)

On the matter of Cauchy's "mistaken" proof that a convergent infinite series of continuous functions is continuous, Detlev Laugwitz argues in his paper "Definite values of infinite sums: Aspects of the foundations of infinitesimal analysis around 1820" (in particular pages 211-212) that Cauchy was well aware of the issue that $\displaystyle\sum_{k=1}^{\infty} \frac{\sin(kx)}k$ is not continuous at $x=0$, and that it's not a counterexample to his theorem.

Basically, Laugwitz argues that the mistake is not in Cauchy's proof, but in its interpretation by others; in particular, a direct translation of Cauchy's notions of infinitesimal quantities and convergence into epsilons and deltas fails to capture the intended meaning. The point is that Cauchy understood the series to converge for infinitesimal $x$ as well, which is tantamount to requiring uniform convergence in the modern sense. His line of reasoning can be made rigorous by using non-standard analysis.

Edit: To elaborate, here a faithful reproduction of Cauchy's theorem and Cauchy's (1853) discussion of this trigonometric series.

Theorem: Let $S_m(x)$ be the partial sums of a series on the interval $a \leq x \leq b$. If

$S_m(x)$ is continuous for all finite $m$
and $S_m(\xi)$ converges to $S(\xi)$ for all numbers $\xi$ in the interval (including non-standard numbers!)

then the sum $S(x)$ is also continuous. (Continuity in the sense of Cauchy, which is defined with infinitesimals and also very sensitive to $x$ being non-standard or not, but that's not relevant here.) $\square$

Now, consider the series $\sum \frac{\sin(kx)}k$. It's not a counterexample to this theorem because it does not converge for infinitesimal $x$. Namely, let $n=\mu$ infinitely large and $x = \omega := \frac1\mu$ infinitesimally small. Then, the residual sum is

$$S(\omega) - S_{\mu-1}(\omega) = \sum_{k=\mu}^{\infty} \frac{\sin(k\omega)}k = \sum_{k=\mu}^{\infty} \frac{\sin(k\omega)}{k\omega}\omega \approx \int_{\omega\mu}^{\infty} \frac{\sin t}{t} \ dt = \int_1^{\infty} \frac{\sin t}{t} \ dt$$

Clearly, the integral is finite and not negligible; hence, the series does not converge for $x=\omega\approx 0$.

Answer by Will Jagy for Widely accepted mathematical results that were later shown wrong?

2010-08-15T18:55:11Z

EDIT: The episode I had in mind turns out to be the work of Robert Coleman repairing a gap in a paper by Manin about the Mordell conjecture over function fields. See comments by KConrad below, giving specific references. Note that this is not about a false result, it is about an accepted proof with a gap that was found 20 to 25 years later and repaired.

Original:Requesting assistance with a memory.

This being community wiki, I will give my vague memory. I think someone who was actually there could tell a good story. I have been searching with combinations of words on google with no success.

Anyhoo, when I was in graduate school at Berkeley in the 1980's, a professor, whom I think was likely Robert Coleman, told us a story about a celebrated result on "function fields" or the function field version of something... The accepted proof was by someone really big, on google I kept running across the name Manin but I am not at all sure about the name. Prof. Coleman decided to present the proof to a class/seminar. Partway through it became clear that the accepted proof just did not work. I have a sense that the class and professor were able to clean up the proof but I have no idea what publication may have come of this. There is also the chance that the seminar did not occur at Berkeley, rather at an earlier job of the professor concerned. Sigh.

So, there are a few ways this story could be filled in. Many MO people are students or postdocs at Berkeley, somebody could walk down the hall and ask Prof. Coleman if that was really him, and if so what actually happened, or ask Ken Ribet, etc.. Again, someone on MO with encyclopedic knowledge of every possible use of the phrase "function field" might be able to say. Or someone very old, yea, verily stricken in years, like unto me.

Finally, note that the title and text of the OP's question disagree a little, and people have posted both "results" that remained false and correct results with incorrect proofs. Also, my memory is really quite good, but I heard this story once and did my dissertation on differential geometry and minimal submanifolds.

Answer by Jose Brox for Widely accepted mathematical results that were later shown wrong?

2010-08-15T20:18:01Z

In the 1960s, John Horton Conway verified the 1920s efforts of Alexander and Seifert in Knot Theory to tabulate all the knots of at most 10 crossings (1). He found several omissions and one duplication, but somewhat famously failed to discover another one. This error would propagate when Dale Rolfsen added a knot table (as Appendix C) in his influential book Knots and Links in 1976, based on Conway's work. This addition happened in spite that Kenneth Perko had noticed, in 1974, the other pair of entries in classical knot tables that actually represent the same knot (2). In Rolfsen's knot table, this supposed pair of distinct knots is labeled $10_{161}$ and $10_{162}$. Now this pair is called the Perko pair, for obvious reasons :)

(1) An enumeration of knots and links, and some of their algebraic properties, Computational Problems in Abstract Algebra (Proc. Conf., Oxford, 1967), Pergamon, pp. 329–358

(2) On the classification of knots. Proc. Amer. Math. Soc. 45 (1974), 262--266

(The information of this post is quoted from the following Wikipedia articles:

)

Answer by Timothy Chow for Widely accepted mathematical results that were later shown wrong?

2010-08-15T20:20:19Z

R. B. Kershner's paper "On Paving the Plane," Amer. Math. Monthly 75 (1968), 839–844, announced the classification of all convex pentagons that tile the plane. Kershner said that "The proof...is extremely laborious and will be given elsewhere." As far as I know the proof was never published, but the claim was apparently accepted at least until 1975 when Martin Gardner wrote about the subject. Then, as explained in detail by Doris Schattschneider ("In Praise of Amateurs," in The Mathematical Gardner, ed. David A. Klarner, Wadsworth International, 1981, pages 140–166), Richard James III and Marjorie Rice found examples that had been missed by Kershner.

Answer by Timothy Chow for Widely accepted mathematical results that were later shown wrong?

2010-08-15T20:24:19Z

William Shanks's calculation of pi to 707 digits in 1873 seems to have been accepted for 72 years before Ferguson discovered an error in the 528th place.

Answer by Adam Gal for Widely accepted mathematical results that were later shown wrong?

2010-08-16T11:27:45Z

Verma proved that the multiplicities of all simple modules in a verma module are 1 or 0. When BGG tried to repeat his proof for some other case they found an error. This led to the study of multiplicities in category O etc.

Answer by Matheus for Widely accepted mathematical results that were later shown wrong?

2010-08-17T12:34:34Z

This question reminded me of the following article of A. Neeman with an appendix by P. Deligne:

A counterexample to a 1961 “theorem” in homological algebra

Answer by Misha Verbitsky for Widely accepted mathematical results that were later shown wrong?

2010-08-18T19:35:38Z

The (in)famous Jacobian Conjecture was considered a theorem since a 1939 publication by Keller (who claimed to prove it). Then Shafarevich found a new proof and published it in some conference proceedings paper (in early 1950-ies). This conjecture states that any polynomial map from C^2 to C^2 is invertible if its Jacobian is nowhere zero. In 1960-ies, Vitushkin found a counterexample to all the proofs known to date, by constructing a complex analytic map, not invertible and with nowhere vanishing Jacobian. It is still a main source of embarrassment for arxiv.org contributors, who publish about 3-5 false proofs yearly. Here is a funny refutation for one of the proofs: http://arxiv.org/abs/math/0604049

" The problem of Jacobian Conjecture is very hard. Perhaps it will take human being another 100 years to solve it. Your attempt is noble, Maybe the Gods of Olympus will smile on you one day. Do not be too disappointed. B. Sagre has the honor of publishing three wrong proofs and C. Chevalley mistakes a wrong proof for a correct one in the 1950's in his Math Review comments, and I.R. Shafarevich uses Jacobian Conjecture (to him it is a theorem) as a fact..."

Answer by Daniel Moskovich for Widely accepted mathematical results that were later shown wrong?

2010-08-19T16:57:33Z

In 1993, Pat Gilmer asserted as Theorem 1 of Classical knot and link concordance, that certain Casson-Gordon invariants vanish for all slice knots, which would be true if the kernel of the inclusion $H_1(M_K;\mathbb{Z}[t^{\pm1}])\rightarrow H_1(N_D;\mathbb{Z}[t^{\pm1}])$ were a metabolizer for the Blanchfield pairing. There, $M_K$ is the $3$--manifold obtained from zero-surgery on a knot K and $N_D$ is the complement of a slice disc in $D^4$.
The statement was believed, and many papers based statements on this theorem, which was taken for granted. It looks plausible, and the similar-looking statements of Levine or of Cochran-Orr-Teichner are certainly true. But it was shown a decade later in Stefan Friedl's 2004 thesis, Sections 8.3 and 8.4, that Gilmer's proof assumes that tensoring with $\mathbb{Q}/\mathbb{Z}$ is exact, which is false. Stefan is forced to do something unnatural and ugly to get his results, and to show that for each choice of Seifert surface, the Casson-Gordon invariants in question vanish for all but a finite number of primes (Theorem 8.6).
I believe that Gilmer's theorem is still open, which is very irritating for people studying knot concordance; because surely it MUST be true, and it is quite fundamental.

Answer by Marko Amnell for Widely accepted mathematical results that were later shown wrong?

2010-08-19T22:47:41Z

In 1803, Gian Francesco Malfatti proposed a solution to the problem of how to cut out three circular columns of marble of maximal area from a triangular piece of stone. Malfatti's solution was three circles that are tangent to each other and to the sides of the triangle (known as Malfatti circles). His solution was believed to be correct until 1930, when it was shown that Malfatti circles are not always the best solution. Then, in 1967, Goldberg showed that Malfatti circles are never the optimal solution. Finally, in 1992, Zalgaller and Los' gave a complete solution to the problem.

http://en.wikipedia.org/wiki/Malfatti_circles

Answer by Matthieu Romagny for Widely accepted mathematical results that were later shown wrong?

2010-08-28T12:48:58Z

In a 1966 paper (Rational surfaces over perfect fields, Publ. Math. IHES), Manin gave examples of cubic surfaces with Brauer group of order 2. In 1996, Urabe proved a conjecture of Tate on The bilinear form of the Brauer group of a surface (this is the title of his Invent. Math. 1996 paper) after noticing that Manin's examples, that were in contradiction with Tate's conjecture, were false (this he noted in Calculation of Manin's invariant for Del Pezzo surfaces, Math. of Computation 1996). Read a bit more on this story in Liu, Lorenzini, Raynaud, On the Brauer group of a surface, Invent. Math. 2005.

Answer by Peter Arndt for Widely accepted mathematical results that were later shown wrong?

2010-10-24T19:40:10Z

Here is a list of counterexamples to once accepted theorems on Clifford algebras.

Answer by Beren Sanders for Widely accepted mathematical results that were later shown wrong?

2010-10-25T04:52:15Z

The Busemann-Petty problem (posed in 1956) has an interesting history. It asks the following question: if $K$ and $L$ are two origin-symmetric convex bodies in $\mathbb{R}^n$ such that the volume of each central hyperplane section of $K$ is less than the volume of the corresponding section of $L$: $$Vol_{n-1}(K\cap \xi^\perp)\le Vol_{n-1}(L\cap \xi^\perp)\qquad\text{for all } \xi\in S^{n-1},$$ does it follow that the volume of $K$ is less than the volume of $L$: $Vol_n(K)\le Vol_n(L)?$

Many mathematician's gut reaction to the question is that the answer must be yes and Minkowski's uniqueness theorem provides some mathematical justification for such a belief---Minkwoski's uniqueness theorem implies that an origin-symmetric star body in $\mathbb{R}^n$ is completely determined by the volumes of its central hyperplane sections, so these volumes of central hyperplane sections do contain a vast amount of information about the bodies. It was widely believed that the answer to the Busemann-Problem must be true, even though it was still a largely unopened conjecture.

Nevertheless, in 1975 everyone was caught off-guard when Larman and Rogers produced a counter-example showing that the assertion is false in $n \ge 12$ dimensions. Their counter-example was quite complicated, but in 1986, Keith Ball proved that the maximum hyperplane section of the unit cube is $\sqrt{2}$ regardless of the dimension, and a consequence of this is that the centered unit cube and a centered ball of suitable radius provide a counter-example when $n \ge 10$. Some time later Giannopoulos and Bourgain (independently) gave counter-examples for $n\ge 7$, and then Papadimitrakis and Gardner (independently) gave counter-examples for $n=5,6$.

By 1992 only the three and four dimensional cases of the Busemann-Petty problem remained unsolved, since the problem is trivially true in two dimensions and by that point counter-examples had been found for all $n\ge 5$. Around this time theory had been developed connecting the problem with the notion of an "intersection body". Lutwak proved that if the body with smaller sections is an intersection body then the conclusion of the Busemann-Petty problem follows. Later work by Grinberg, Rivin, Gardner, and Zhang strengthened the connection and established that the Busemann-Petty problem has an affirmative answer in $\mathbb{R}^n$ iff every origin-symmetric convex body in $\mathbb{R}^n$ is an intersection body. But the question of whether a body is an intersection body is closely related to the positivity of the inverse spherical Radon transform. In 1994, Richard Gardner used geometric methods to invert the spherical Radon transform in three dimensions in such a way to prove that the problem has an affirmative answer in three dimensions (which was surprising since all of the results up to that point had been negative). Then in 1994, Gaoyong Zhang published a paper (in the Annals of Mathematics) which claimed to prove that the unit cube in $\mathbb{R}^4$ is not an intersection body and as a consequence that the problem has a negative answer in $n=4$.

For three years everyone believed the problem had been solved, but in 1997 Alexander Koldobsky (who was working on completely different problems) provided a new Fourier analytic approach to convex bodies and in particular established a very convenient Fourier analytic characterization of intersection bodies. Using his new characterization he showed that the unit cube in $\mathbb{R}^4$ is an intersection body, contradicting Zhang's earlier claim. It turned out that Zhang's paper was incorrect and this re-opened the Busemann-Petty problem again.

After learning that Koldobsky's results contradicted his claims, Zhang quickly proved that in fact every origin-symmetric convex body in $\mathbb{R}^4$ is an intersection body and hence that the Busemann-Petty problem has an affirmative answer in $\mathbb{R}^4$---the opposite of what he had previously claimed. This later paper was also published in the Annals, and so Zhang may be perhaps the only person to have published in such a prestigious journal both that $P$ and that $\neg P$!

Answer by Gerry Myerson for Widely accepted mathematical results that were later shown wrong?

2011-02-25T06:05:25Z

According to Branko Grunbaum, An enduring error, Elemente der Mathematik 64 (2009) 89-101, reprinted in Mircea Pitici, ed., The Best Writing On Mathematics 2010, Daublebsky in 1895 found that there are precisely 228 types of collections of 12 lines and 12 points, each incident with three of the others. In fact, as found by Gropp in 1990, the correct number is 229.

The Gropp reference is H Gropp, On the existence and nonexistence of configurations $n_k$, J Combin Inform System Sci 15 (1990) 34-48.

Grunbaum has some other examples in this paper, which I may write up for this question.

Answer by Gerry Myerson for Widely accepted mathematical results that were later shown wrong?

2011-02-25T06:12:28Z

According to Branko Grunbaum, An enduring error, Elemente der Mathematik 64 (2009) 89-101, reprinted in Mircea Pitici, ed., The Best Writing On Mathematics 2010, Andreini in 1905 claimed that there are precisely 25 types of uniform tilings of three-dimensional space. But in 1994 Grunbaum showed that the correct number is 28. The reference is B Grunbaum, Uniform tilings of 3-space, Geombinatorics 4 (1994) 49-56.

Grunbaum has yet more examples in this paper, which I may write up for this question.

Answer by Steven Landsburg for Widely accepted mathematical results that were later shown wrong?

2011-02-25T06:54:03Z

This thread on the Italian tradition in algebraic geometry contains some important examples.

Answer by Gerry Myerson for Widely accepted mathematical results that were later shown wrong?

2011-02-28T23:39:13Z

Another one from Grunbaum's paper:

According to Branko Grunbaum, An enduring error, Elemente der Mathematik 64 (2009) 89-101, reprinted in Mircea Pitici, ed., The Best Writing On Mathematics 2010, Bruckner enumerated 4-dimensional simple polytopes with eight facets, in 1909. But one of Bruckner's polytopes does not exist, according to Grunbaum and Sreedharan, An enumeration of simplicial 4-polytopes with 8 vertices, J Combin Theory 2 (1967) 437-465.

Answer by roy smith for Widely accepted mathematical results that were later shown wrong?

2011-03-01T05:06:21Z

I heard that Bott's theorem on the periodicity of the stable homotopy of the unitary group was delayed for some time by an erroneous computation in dimension 10, possibly due to Pontryagin.

Answer by George Jelliss for Widely accepted mathematical results that were later shown wrong?

2011-03-26T13:34:25Z

Euler in his 1759 paper on knight's tours claimed that closed tours were not possible on any board with 4 or fewer ranks, though he gave no explicit proof. The claim was repeated by other influential writers such as E. Lucas and W. Ahrens. It was proved true for 4-rank boards by C. Flye Sainte-Marie in 1877. It was finally disproved by Ernest Bergholt in 1918 by constructing closed tours on 3x10 and 3x12 boards. Algorithms for enumerating tours on 3xn boards have now been devised by D. E. Knuth. This is a case of a famous mathematician's statements being taken as gospel and not really subjected to testing.

There are also numerous sources that state that Euler constructed a magic knight's tour on the 8x8 board. Where this mis-statement originated I'm not sure, but it has proved difficult to eradicate from the literature. In fact the first such tours were found by W. Beverley in 1848 and C. Wenzelides in 1849.

Answer by Alex Eskin for Widely accepted mathematical results that were later shown wrong?

2011-07-07T04:03:02Z

In 1959 Kravetz published a proof that the Teichmuller metric on Teichmuller space is negatively curved in the sense of Buseman. This was widely quoted and used until Linch found a gap in 1971.

In 1974, Howard Masur showed that the Teichmulller metric is not negatively curved, by exhibiting two distinct geodesic rays which have a common starting point but stay a bounded distance apart. There is now a whole subfield studying Teichmuller geometry, which grew out of the failure of Kravetz's theorem.

Answer by Alain Valette for Widely accepted mathematical results that were later shown wrong?

2011-07-07T09:20:26Z

Carmichael's totient function conjecture (stating that the equation $\phi(x)=n$ never has a unique solution) was a theorem until an error was found in 1922 (apparently after the proof was left as an exercise in a textbook); since then, it is a conjecture. See: http://mathworld.wolfram.com/CarmichaelsTotientFunctionConjecture.html

Answer by Vlad Niculae for Widely accepted mathematical results that were later shown wrong?

2012-08-22T19:43:56Z

This blog post, the previous one (linked inside) and the addendum caused by reader response, treat exactly this question, including Euler's polyhedra formula from Micah Miller's response.