# Examples of mathematical results discovered “late”

What are examples of mathematical results that were discovered surprisingly late in history? Maybe the result is a straightforward corollary of an established theorem, or maybe it's just so simple that it's surprising no one thought of it sooner.

The example that makes me ask is the 2011 paper John Baez mentioned called "Two semicircles fill half a circle", which proves a fairly simple geometrical fact similar to those that have been pondered for thousands of years.

-
I'm likely off, but isn't the posted problem quickly solved by use of coordinate geometry? – Shivam Sarodia Mar 4 '14 at 23:00
It took a surprisingly long time (17th century) for even very basic concepts of probability theory to be developed, considering that those concepts would have been immensely valuable in real life, given that gambling has been popular forever. – dfan May 1 '14 at 21:57

This proof of the irrationality of $\sqrt 2$ appears to have been discovered in 1892 by A.P. Kiselev:

If $\sqrt2$ is rational, let $\triangle ABO$ be the smallest possible isosceles right triangle whose sides are integers.

Construct $CD$ perpendicular to $AO$ with $AC = AB$. $\triangle OCD$ is another isosceles right triangle.

$AC=AB$, therefore $AC$ is an integer, therefore $OC = OA - AC$ is an integer. $\triangle OCD$ is isosceles, so $OC=CD$ and CD is an integer. $CD$ and $BD$ are equal because they are tangent to the same circle, so $BD$ and $OD = BO-BD$ are integers. But then $\triangle OCD$ is an isosceles right triangle with integer sides, contradicting the assumption that $\triangle ABO$ was the smallest such.

I am amazed that this wasn't found by the Greeks, because it is so much more in their style than the proof that they did find.

-
It is really amazing that the Greeks should not have found this argument while they knew that $\sqrt2$ is irrational. Since that implies that Euclid's algorithm applied to lengths $\sqrt2:1$ cannot terminate (and find a $\gcd$) in a finite number of steps. In this particular case that is so because the ratio of the remaining lengths is periodic with period $2$. To wit, subtract the shorter AB from the longer OA in OA:AB to get AB:OC; then again subtract OC=CD=BC from AB=OB to get OC:OD, which as the figure shows is the same ratio as OA:AB, so one gets periodicity, and irrationality. – Marc van Leeuwen Mar 4 '14 at 18:50
Its still a wonderful proof! Wish it was more common. – Sawarnik Mar 4 '14 at 19:08
The Greeks must have known the same proof of irrationality for the golden ratio, where the construction is built into the definition. I would be surprised if the proof for sqrt(2) were first discovered by Kiselyev or not noted by one of the ancient Greek mathematicians. – zyx Mar 4 '14 at 21:49
@zyx I would be delighted to see a citation. I first encountered this proof in Thomas Apostol "Irrationality of the Square Root of Two - A Geometric Proof" American Mathematical Monthly Nov 2000 841–842. Apparently neither Apostol nor the reviewers at the Monthly were aware of either its earlier publication by Kiselev, or any hypothetical earlier publication. Of course, there is plenty of Greek mathematics that is completely lost, and among it there are no doubt some results that would be much more surprising than this one. – MJD Mar 4 '14 at 21:52
@MJD Almost surely this proof is much older. There are many variants on such geometrical forms of the standard descent proofs and many of them are very old. I expect the same is true for this variant. – Bill Dubuque Mar 5 '14 at 2:39

This is not a theorem but a result which was discovered "too late".

The number $e$ hiding inside Pascal's triangle was found it by Harlan Brothers in 2012, in a very simple way!

-
John Baez has a post explaining why this works. If we let $u_n = s_n/s_{n+1}$, then it's easy to see that $u_{n-1} = n!/n^n$, so $$\frac{s_{n-1}s_{n+1}}{s_n^2} = \frac{u_{n-1}}{u_n} = \frac{n!}{n^n}\frac{(n+1)^{n+1}}{(n+1)!} = \left(1+\frac1n\right)^n \to e$$ as $n \to \infty$. – ShreevatsaR Mar 6 '14 at 9:21
Personally, I don't think that this result is singular or imperative enough that it should have been discovered much earlier. – azimut Mar 10 '14 at 12:25
@Neil Presumably, any such result would require Stirling's approximation in its proof. – Akiva Weinberger Aug 18 '15 at 0:46

An example mentioned for Martin Gardner (Martin Gardner's New Mathematical Diversions from Scientific American): Morley's trisector theorem is elementary enough to be proved two millenia ago, but unknown until 1899.

-
I think the use of trisectors was problematic for the Greeks, because they cannot be constructed using a compass and a ruler. – sds Mar 5 '14 at 19:56
@sds: You're absolutely right. Still, between ancient Greece and 1899 lies some room... – Pete L. Clark Mar 5 '14 at 21:43

Apéry's 1975 proof of the irrationality of of $\zeta(3)=\sum_{n=1}^\infty\frac1{n^3}$ took the experts by surprise, and uses tools that had been available for a very long time.

See A Proof that Euler Missed for more details.

-

Informally, the historical definition of an Archimedean solid requires that all its faces are regular polygons and that each vertex of the solid locally looks the same. Since the ancient Greeks it was common knowledge that up to scaling, rotating and reflecting, there are 13 types of Archimedean solids.

It was only in the 20th century that it was noticed that there is a 14th solid which complies with the above definition, the Elongated Square Gyrobicupola. It arises from the Rhombicuboctahedron (one of the 13 established Archimedean solids) by twisting one of its octagonal "caps" by 45 degrees. However, those two solids are not identical.

Since this solid doesn't look as symmetric as the "proper" Archimedean solids (its symmetry group doesn't act regularly on its vertices), nowadays the definition typically is sharpened.

-
This reminds me of another example: the Johnson solids, which are polyhedra with regular polygonal faces, were first enumerated by Norman Johnson in 1966, although there was nothing stopping their enumeration by Kepler, Archimedes, or anyone else in the past 2,500 years or so. – MJD Mar 11 '14 at 0:12
Another similar example: There are exactly eight convex polyhedra whose faces are equilateral triangles. Several, such as the icosahedron, have been known since antiquity. But as far as I know the one with twelve faces is first mentioned in a paper of Freudenthal and Van der Waerden from 1947. – MJD Mar 12 '14 at 16:04

The theorem $$\text{PRIMES is in P}$$ was proven only in 2002 (via the AKS primality test). The algorithm certainly isn't rocket science, making it quite surprising that this wasn't found way earlier. The point is that it was the common believe that PRIMES is not in P, so there was not a big search for such an algorithm.

-
I think it is a misconception that "it was the common belief that PRIMES is not in P". It was actually known in the 1980s that if the Generalized Riemann Hypothesis is true then PRIMES is in P (via the not-as-well-known Ankeny's algorithm). Since many people believe GRH, it was believed that PRIMES is in P. The new result of AKS in 2002 is a proof that doesn't depend on GRH. – Yoni Rozenshein Mar 30 '14 at 13:34
Looked up what I wrote in the previous comment, I made a mistake. It's not called "Ankeny's algorithm", it's simply the Euler-Jacobi test. Ankeny's theorem (1950s) guarantees (conditional GRH) that if $n$ is composite then there is a base $a < 2(\log n)^2$ for which $n$ is not an Euler-Jacobi pseudoprime, which yields a trivial polynomial time algorithm (check all bases $a$ up to $2(\log n)^2$...) – Yoni Rozenshein Mar 30 '14 at 15:23
@YoniRozenshein, Ankeny only proved a result of type $O((\log n)^2)$, not with the sharp constant $2$ in it. Look at his Annals paper (1952). That constant is from Eric Bach's thesis in the 1980s. At the time of the AKS paper I was speaking about it with a CS professor who turned out to be unaware that a polynomial-time algorithm was already known, conditional on the Generalized Riemann Hypothesis. – KCd Jun 11 '15 at 11:04

This is not a theorem but a result as you require that was discovered "late" .

As Erdős mentions :

"At that time,mathematicians of the seventeenth and eighteenth centuries found pairs of odd amicable numbers such as $(12.285,14.595)$.
Curiosly, however,the smallest pair after the one known from antiquity $(1184,1210)$ was found only in 1866 by a 16-year old student Niccolo Paganini".

-
What was "that time", for comparison? – Paŭlo Ebermann Mar 5 '14 at 21:44
@PaŭloEbermann "that time" was "the modern renaissance of mathematics" – Konstantinos Gaitanas Mar 6 '14 at 10:35
When I read this, the first thing that came to mind was "the famous violinist?" – qwr Mar 8 '14 at 7:55
@qwr I wondered also if it was Niccolò Paganini the famous violinist, but I checked, and it was a different person with the same name. The violinist died in 1840. – MJD Mar 29 '14 at 20:44

Another result that was discovered late is the construction of the Heptadecagon (regular seventeen-sided polygon) by compass and unmarked straightedge, found by Gauß in 1796.

Wikipedia describes it as "...the first progress in regular polygon construction in over 2000 years"

Remarkable enough, considering that is a purely geometrical result, and the Greek already had everything that was necessary for achieving it in their toolbox.

-

A Dandelin sphere of a conic section will touch the plane of the conic section at a focus of the conic section. This pretty and useful fact was discovered only in 1822, but there is no reason why it could not have been in the treaties of Apollonius of Perga.

-

I'd say the fact that zero took until sometime after the 600s before it was used in math takes the cake here.

-
Using zero does not qualify as a result that was discovered late. – Marc van Leeuwen Mar 4 '14 at 20:00
And it's not the mathematical concept of zero, that was adopted late, but the written notation for zero in a place-value system. But its late adoption in Europe and elsewhere is not so surprising, because calculation was not done with paper (scarce and expensive) but with abacuses and counting boards. And on an abacus there is a notation for zero. So when you look carefully at just what it was that was adopted late, you find that it is a very specific technical invention that had has much more to do with engineering than with mathematics. – MJD Mar 4 '14 at 21:19
@MJD: Actually the mathematical concept of zero as a number ("how can nothing be a number?") was also very late in being adopted. AFAIK no one in the Western world (so discounting the abacus) did arithmetic with zero as a number ("adding zero to five gives five", etc.) for a long time. Even when Fibonacci introduced the place-value system in his Liber Abaci, he wrote "the nine digits of the Hindus" and "these nine figures, and with the sign $0$", instead of "the ten digits" as we might. And you can Google for "is zero a number" to see many people who have trouble with the idea even now. :-) – ShreevatsaR Mar 6 '14 at 8:36
"The introduction of the digit $0$ or the group concept was general nonsense too, and mathematics was more or less stagnating for thousands of years because nobody was around to take such childish steps..." - Grothendieck. – Ragib Zaman Mar 7 '14 at 17:07

Theorem $\big($Sylvester-Gallai$\big):$ For any $n$ points in $\mathbb{R}^2$, not all collinear, there exists a line passing through exactly two of them.

$\rm{Proof}:$ Pick any $2$ points and draw a line $\ell$ through them: suppose a $3^{\rm{rd}}$ point lies on the line $($else we are done$)$ and pick the closest point $p\not\in\ell$ to the line, at a distance $\delta$ say. Of our $3$ points $\in\ell$ a pair lies on one side of $p:$ draw a line $\ell'$ through $p$ and the furthest of the pair from $p$. The distance $\delta'$ between $\ell'$ and the second point is $<\delta$.

$\qquad\qquad\qquad\quad$

The statement was proposed first by Sylvester in $1893$ and independently by Erdős in $1943\;($rather surprisingly, Erdős could not find a proof$)$. It was proven the following year by Gallai.

$\big[\mathbf{Note:}$ the statement can fail in other fields: for instance, in $\mathbb{P}^2(\mathbb{C})$ see the Hesse configuration$\big]$

-
... So if a third point lies in $l'$, repeat to get two points line joining which has the closest point at even lower non-zero $\delta''$. Since there are finitely many lines with 2 points from the set, this has to stop somewhere, there are two points which have no other point on the line joining them. Incredible proof. – KalEl Mar 30 '14 at 5:20

One possible answer would be the discovery of Strassen algorithm in 1969. This is a way to multiply large matrices together in (slightly) faster than standard time.

Although it may not be the fastest algorithm for matrix multiplication the majority of faster variants stem from this one idea.

It may not be a simple proof but it is very late.

-
The whole field of computational complexity could have started earlier by at least a few decades. – zyx Mar 5 '14 at 5:34
@MJD was the FFT known in those days? Because with a naive DFT, using fourier transforms for multiplication is no better than the standard algorithm. – Tim Seguine Mar 6 '14 at 10:31

It took 2000 years for anyone to recognize that Euclid's Parallel Postulate didn't follow from his other four axioms. It has always been surprising to me that people tried for so long to prove the parallel postulate followed from the other axioms and no one seemed to consider the possibility that it was independent of them. The ultimate realization that there exist models of geometry in which the converse holds has blossomed into an enormous area of mathematics rife with deep and interesting results.

-
Why should this have been discovered earlier? Spherical geometry was known, but (bidirectionally) interpreting Euclidean geometry in spherical or hyperbolic geometry is complicated, and I would imagine some accumulated experience with spherical trigonometry and calculus was important. Saying "curved surfaces exist and have geodesics as the equivalent of lines" doesn't resolve the issue with the parallel axiom. That several people discovered it at the same time suggests that the effectively necessary concepts were not available much earlier than 1800. – zyx Mar 6 '14 at 20:00
Something that is neccessary is a clear understanding that the axioms refer to terms with no further meaning than what the axioms say about them. As long as you have Euclidean intuition about what the term “line” refers to, you have trouble imagining anything satisfying the axioms where that role is played by something you usually wouldn't call a line. I'd associate that level of abstraction with Hilbert, though it might be others should be named here as well or even instead. – MvG Mar 7 '14 at 18:18

Generally the JSJ-decomposition of 3-manifolds is considered to be discovered "late" (by $40$ years, but that is a long time in modern maths!).

From Allen Hatcher's Notes on Basic 3-Manifold Topology,

Beyond the prime decomposition, there is a further canonical decomposition of irreducible compact orientable 3 manifolds, splitting along tori rather than spheres [the JSJ-decomposition]. This was discovered only in the mid 1970’s, by Johannson and Jaco-Shalen, though in the simplified geometric version...it could well have been proved in the 1930’s. (A 1967 paper of Waldhausen comes very close to this geometric version.) Perhaps the explanation for this late discovery lies in the subtlety of the uniqueness statement. There are counterexamples to a naive uniqueness statement, involving a class of manifolds studied extensively by Seifert in the 1930’s. The crucial observation, not made until the 1970’s, was that these Seifert manifolds give rise to the only counterexamples.

For context, JSJ-decompositions are the starting point for Perelman's proof of Geometrisation, which implies the Poincare conjecture. His subsequent shunning of a fields medal and $1m prize is oft-told... - The first thing that came to my mind was the Kepler conjecture. While it's not a straightforward or simple proof, the fact that fruitsellers stacked their apples optimally for thousands of years until it was proven that they did it is somewhat surprising. - I don't think this one qualifies for the question. Which kind of rigorous proof we should have expected much earlier? – azimut Mar 8 '14 at 19:55 @azimut Strictly referring to the question (asking for "simple" results), this is certainly true. Maybe the surprising thing here is that the fact itself is so simple (in contrast to the proof). But admittedly, this would apply to many other open problems (e.g. Goldbach)... and BTW: most results that have been mentioned so far do not really look "simple" for me (I'm not a mathematician). However, I wonder when things like Goldbach and Riemann will be added as answers here ;-) abstrusegoose.com/210 – Marco13 Mar 8 '14 at 20:44 Grothendieck said that he found it embarassing that it took humanity so long to define a group. - @mistermarko ...I'm not sure quite how to respond to that. The English language synonym of the word "group" obviously has no effect on when group theory was developed. Do you think groups would have been discovered earlier if they were named differently? – Alexander Gruber Apr 14 at 3:58 To wit, you may be interested to learn that in early 20th century, most of the literature follows Noether in studying "groups of operators" (what we now refer to as "group actions") rather than groups in the abstract. Even Galois was mostly concerned about the action of groups on polynomials, and spent comparatively little time developing groups abstractly. – Alexander Gruber Apr 14 at 4:08 Pascal's theorem was discovered in 1639 or 1640, but its projective dual, Brianchon's theorem, was only discovered in 1806. So it took about 167 years despite the fact that Pascal already realized the projective nature of his theorem. - I got three of them for you. Trisecting the angle, doubling the cube, and squaring the circle. They were three famous geometric problems from ancient Greece. They were concerned about whether or not these could be done with compass and straightedge. They all ended up being impossible, but it wasn't proven for 2000 years. Trisecting the angle was disproved in 1837 using Galois theory Doubling the cube was proved impossible in 1839 by showing that$\sqrt[3] 2$is not a constructable number. Squaring the circle was proved impossible in 1882 by showing that$\pi$is transcendental - The tools to prove, and even to state, those results were not available until the era in which the proof was accomplished. The first two results are nearly trivial given the idea of degree of a field extension, but this was an unknown concept before approximately 1800. The proofs that pi is irrational and transcendental used ideas of good rational and polynomial approximation that were unheard-of before those breakthroughs, which gave birth to transcendental number theory. – zyx Mar 5 '14 at 5:28 @sicklybeans: While this result and the underlying technique is certainly very nice, I agree with zyx that it doesn't qualify for the question. The proofs were not found late, but they were just in pace with the mathematical development. – azimut Mar 7 '14 at 16:00 The Mason-Stothers theorem (aka the$abc$conjecture for polynomials): if$f(t)$,$g(t)$, and$h(t)$are nonzero polynomials over a field satisfying$f(t) + g(t) = h(t)$with$f(t)$and$g(t)$being relatively prime and the three polynomials are not all constant, then $$\max(\deg f, \deg g, \deg h) \leq \deg({\rm rad}(fgh)) - 1,$$ where${\rm rad}(F)$for a nonzero polynomial$F$is the product of its irreducible factors (set it to be$1$if$F$is constant). Strictly speaking, the version I wrote is for a field of characteristic$0$. In characteristic$p$, the condition that at least one of the polynomials is nonconstant should be replaced with at least one of them having nonzero derivative. This theorem was proved only in the 1980s, independently, by Mason and Stothers. Its proof uses just some elementary calculations with derivatives of polynomials. There was a proof given by Silverman that shows this result is, to use the OP's term, a "straightforward corollary" of the Riemann-Hurwitz formula, so in principle the theorem could have been formulated in the 19th century, but the simple statement of this theorem did not appear until Mason and Stothers as far as I'm aware. On somewhat the same theme, another example of the type being requested is Belyi's theorem. It says that for a smooth projective algebraic curve$C$over the complex numbers, if$C$is defined over the algebraic numbers then$C$admits a covering of the Riemann sphere ramified over at most three points. (The converse was known earlier.) I say this is somewhat the same theme because Belyi's theorem is closely related to when the inequality of the Mason-Stothers theorem is an equality. Like the Mason-Stothers theorem, the proof of Belyi's theorem is surprisingly low-tech compared to what anyone would imagine when hearing the statement of the theorem. - Brouwer's demonstrations of the difficulties with classical logic and the excluded-middle principle (tertium non datur), which had been used in mathematics and logic for more than 2000 years. The lateness of discovery was due to the increasing frequency and complexity of infinitary constructions in 19th-century analysis (and the relatively more concrete arguments before that time), and the concomitant pressure to develop precise and consistent ways of handling them. The extension of principles like Excluded Middle from finite to infinite situations is where the problems isolated by Brouwer most clearly appear. - Considering that classical logic, including tertium non datur, is alive and kicking, if space allows it, it would IMO be good to present at least one of Brouwer's points in some detail. – Daniel Fischer Mar 5 '14 at 10:29 Your point is not clear. Adding the law of excluded middle cannot generate (additional) contradictions, so there is no possibility of an internal foundational crisis specific to classical logic. On the other hand, many classical proofs work as-is or with insignificant modification without nonconstructive methods, so that no matter which approach one pursues, there is always a growing body of mathematical knowledge exempt from Brouwer's criticism, and one could argue that this (and political inertia) is what keeps things alive and kicking even if things are somehow "wrong" in the framework. – zyx Mar 7 '14 at 4:29 "Can you give an example of the difficulties Brouwer demonstrated?" Since classical logic is still the predominant logic used, I think many people don't know Brouwer's criticism, and it seems the community in the large didn't find it convincing. Having a point explained would allow tentatively judging it by oneself. – Daniel Fischer Mar 7 '14 at 11:18 Smale's paradox: in topology, the fact a sphere in R3 can be turned completely inside out without tears or sharp creases (self-intersection is allowed) was only indirectly proved in 1957 and an actual example of the process wasn't found until 1961. See http://en.wikipedia.org/wiki/Smale%27s_paradox and http://www.geom.uiuc.edu/docs/outreach/oi/history.html - Find an explicit bijection between$\mathbb N$and$\mathbb Q^{+}$. The countability of$\mathbb Q^{+}$had been known for a century, but an explicit bijection was not known until, in$1989$, Yoram Sagher noticed a rather simple explicit bijection between$\mathbb N$and$\mathbb Q^{+}$. Let$\frac{m}{n} \in \mathbb Q^{+}$with$gcd(n,m)=1$, and let$q_1, q_2, \dots, q_n$be the prime factors of$n$. Then $$f(\frac{m}{n}) = m^2n^2/(q_1q_2\cdots q_n)$$ is the desired bijection. Given the simplicity of$f$, it is surprising that no one had noticed it before. Note that the inverse is (easily) computable, so you say what the$n$'th rational number listed is for any$n$. - Many explicit bijections were known, but not this one. – André Nicolas Aug 29 '15 at 6:35 All of the usual proofs of countability of$\mathbb{Q}$, or$\mathbb{Q}^+$use an explicit bijection, or involve an explicit bijection that may not be written down in detail. – André Nicolas Aug 29 '15 at 18:27 I'm not sure this is a real answer, but Wikipedia claims that the Möbius strip was invented in 1858, by Möbius. I find it incredible that there is any property of the strip that was still undiscovered by 1858, so to whatever fraction of Wikipedia's claim is true I think qualifies as a surprisingly late discovery. - The binary GCD algorithm was only discovered (re-discovered?) in 1967. - The Futurama Theorem: Regardless of how many mind switches between two bodies have been made, they can still all be restored to their original bodies using only two extra people, provided these two people have not had any mind switches prior (assuming two people cannot switch minds back with each other after their original switch). - The Perko pair: Since the first knot tables published around 1900, these two were thought to be different knots. The mistake slipped by Alexander's (1920s), Conway's (1960s), and Rolfsen's (1970s) tabulating efforts. It was only in 1974 that Kenneth Perko noticed that these two diagrams belong to one and the same knot. (for cuteness sake, the picture above is from Perko himself) - Various irrationality and transcendence results have already been posted, but it is interesting to see that the mere existence of transcendental numbers was not proven until the nineteenth century. Of course the existence of irrational numbers was already known in ancient Greece, but it took until 1844 before we first knew with certainty that there exist transcendental numbers. The notion of algebraic and transcendental numbers was not yet available in ancient Greece. It seems that the first mention of the term transcendental was made by Leibniz in the 17th century, although he was more interested in transcendental functions rather than transcendental numbers. As Bourbaki puts it (Elements of the History of Mathematics, page 74): “The definition that Leibniz gives of "transcendental quantities" [...] seems to apply more to functions than to numbers (in modern language, what he does reduces to defining transcendental elements over the field obtained by adjoining to the field of rational numbers the given numbers from the problem); it is however likely that he had a fairly clear notion of transcendental numbers (even though these latter do not appear to have been defined in a precise way before the end of the XVIIIth century); [...]” The first proof of the existence of transcendental numbers was given by Liouville in 1844, who constructed a class of numbers which he then proved to be transcendental (now known as the Liouville numbers). The Louiville numbers are a cornerstone in the field of Diophantine approximation, which has since grown into a rich and active field of study in contemporary mathematics. Nowadays of course we get the existence of transcendental numbers as an easy corollary of a famous theorem of Cantor's, which states that$\mathbb{R}$is uncountable. Since the set of algebraic numbers is only countable, it follows that there must exist (uncountably many) transcendental numbers. Knowing this simple proof, I was very much surprised to learn that the existence of transcendental numbers had only been settled for 30 years when Cantor first proved$\mathbb{R}\$ to be uncountable.

(Interestingly, Cantor's first proof of the uncountability of the real numbers predates his famous diagonal argument by some 17 years. See also Robert Gray, Georg Cantor and Transcendental Numbers, The American Mathematical Monthly, Vol. 101, No. 9 (Nov., 1994), pp. 819-832, at the time of writing also available in its entirety at the website of the Mathematical Association of America.)

-

How about the Jordan curve theorem? It seems obvious at first sight, but it is quite complicated to prove.

-
This isn't exactly what the question is asking for. Just because some statement is "obvious", it doesn't necessarily imply that its rigorous proof should have been found early. In this case, the only known proofs are quite advanced and it is hard to imagine that someone should have come up with it much earlier. – azimut Mar 7 '14 at 15:51

Another result that seems to have appeared late is the AKS primality test ( http://en.wikipedia.org/wiki/AKS_primality_test ). Although the field of computational compexity is relatively new, one could have expected that a proof for the existance of a deterministic polynomial-time primality-proving algorithm should have appeared earlier - given the fact that some of the most intelligent people in the world have studied prime numbers intensively for thousands of years.

-
@TimSeguine I just wanted to point out that people have wondered "Is this a prime number or not?" for quite a while, and it is a very important question, and ... yet they did not find an efficient (deterministic, polynomial time) method for answering this question. (BTW: As you can see here, I don't hesitate to write irrelevant comments occasionally ;-) ) – Marco13 Mar 12 '14 at 21:44
@TimSeguine They certainly did not try to find out whether "PRIMES is in P", but nevertheless, one could imagine that the ability to quickly check whether a number is prime or composite could have been of some interest. (I'm not a mathematician, so apologies if this sounds naive) – Marco13 Mar 12 '14 at 22:05

The Deduction Meta-Theorem for slews of logical calculi, and slews of conditional proofs in ordinary mathematics which can get said to have an interaction with it.

-