Examples of results which were surprising but later shown to be natural. - MathOverflow [closed]most recent 30 from http://mathoverflow.net2013-05-24T06:17:42Zhttp://mathoverflow.net/feeds/question/55114http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/55114/examples-of-results-which-were-surprising-but-later-shown-to-be-naturalExamples of results which were surprising but later shown to be natural.Koundinya Vajjha2011-02-11T11:22:16Z2011-02-14T23:07:33Z
<p>After Ramanujan formulated his conjectures on the Tau-function, and after the importance of the function was realized, it took the development of the theory of Modular forms for the complete resolution and understanding of the conjectures and the function itself.(For example, it was only later that people could explain the appearance of the mysterious index 24 in its definition.) </p>
<p>Another example is the problem of constructibility of regular polygons. The Ancient Greeks must have pondered the reason for their inability to construct certain polygons. But after Gauss, it now seems natural why one cannot construct a 11-gon using only a compass and straightedge.</p>
<p>In the above two cases, there is a common feature. There is a discovery which at first seems surprising or baffling. Only later, after sufficient developments in theory, was the mystery lifted. Are there any other such examples? </p>
http://mathoverflow.net/questions/55114/examples-of-results-which-were-surprising-but-later-shown-to-be-natural/55116#55116Answer by Hans Stricker for Examples of results which were surprising but later shown to be natural.Hans Stricker2011-02-11T12:07:27Z2011-02-11T12:07:27Z<p>In his <a href="http://books.google.com/books?id=nFvY20pHghAC&printsec=frontcover#v=onepage&q&f=false" rel="nofollow">Indiscrete Thoughts</a> Gian-Carlo Rota writes:</p>
<blockquote>
<p>Every mathematical theorem is
eventually proved trivial. The
mathematician's ideal of truth is
triviality, and the community of
mathematicians will not cease its
beaver-like work on a newly discovered
result until it has shown to
everyone's satisfaction that all
difficulties in the early proofs were
spurious, and only an analytic
triviality is to be found at the end
of the road.</p>
</blockquote>
<p>According to Rota what you ask for is the normal case. He - and others - do not even rule out the possibility that some day Fermat's Last Theorem turns out to be "trivial".</p>
http://mathoverflow.net/questions/55114/examples-of-results-which-were-surprising-but-later-shown-to-be-natural/55120#55120Answer by Gil Kalai for Examples of results which were surprising but later shown to be natural.Gil Kalai2011-02-11T12:32:38Z2011-02-14T23:07:33Z<p>A favorite example of this kind for me is the result that the set of triangulations of an n gon (or, equivalenty, the set of interpretations of the nonassociative product $x_1x_2\dots x_{n-1}$) has the structure of a convex (n-1)-dimensional polytope. (It is called the associahedron or the Stasheff Polytope.) This looked (to me) as a curiosity at first but it turned out to be very basic and natural construction which is related to a lot of exciting mathematics. See <a href="http://gilkalai.wordpress.com/2009/02/28/ziegler%c2%b4s-lecture-on-the-associahedron/" rel="nofollow">Ziegler's lecture on the associahedron</a>.</p>
http://mathoverflow.net/questions/55114/examples-of-results-which-were-surprising-but-later-shown-to-be-natural/55123#55123Answer by none for Examples of results which were surprising but later shown to be natural.none2011-02-11T12:35:00Z2011-02-11T12:35:00Z<p>Gödel's incompleteess theorems -- knocked over the Hilbert program to prove mathematics was consistent and complete.</p>
<p>Smale's sphere eversion theorem - originally thought to be a counterexample showing an error in the proof, but the eversion is really there.</p>
<p>Butterfly effect (Edward Lorenz) -- looked like a numerical artifact in an ODE integrator, the idea of nonperiodic solutions hadn't been forseen.</p>
<p>Banach Tarski paradox</p>
<p>Monty Hall problem (ducks head)</p>
<p>Barrington's theorem for branching programs</p>
<p>PCP theorem</p>
<p>Rationality of Legendre's constant ;-)</p>