Examples of results which were surprising but later shown to be natural. - MathOverflow [closed] most recent 30 from http://mathoverflow.net 2013-05-24T06:17:42Z http://mathoverflow.net/feeds/question/55114 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/55114/examples-of-results-which-were-surprising-but-later-shown-to-be-natural Examples of results which were surprising but later shown to be natural. Koundinya Vajjha 2011-02-11T11:22:16Z 2011-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#55116 Answer by Hans Stricker for Examples of results which were surprising but later shown to be natural. Hans Stricker 2011-02-11T12:07:27Z 2011-02-11T12:07:27Z <p>In his <a href="http://books.google.com/books?id=nFvY20pHghAC&amp;printsec=frontcover#v=onepage&amp;q&amp;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#55120 Answer by Gil Kalai for Examples of results which were surprising but later shown to be natural. Gil Kalai 2011-02-11T12:32:38Z 2011-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#55123 Answer by none for Examples of results which were surprising but later shown to be natural. none 2011-02-11T12:35:00Z 2011-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>