## The half-life of a theorem, or Arnold’s principle at work

Suppose you prove a theorem, and then sleep well at night knowing that future generations will remember your name in conjunction with the great advance in human wisdom. In fact, sadly, it seems that someone will publish the same (or almost the same) thing $n \ll \infty$ years later. I was wondering about what examples of this people might have. Here are two:

Bill Thurston had remarked in the late seventies that Andre'ev's theorem implies the Circle Packing Theorem. The same result was proved half a century earlier by Koebe (so the theorem is now known as the Koebe-Andre'ev-Thurston Circle Packing Theorem). However, in the book

Croft, Hallard T.(4-CAMBP); Falconer, Kenneth J.(4-BRST); Guy, Richard K.(3-CALG) Unsolved problems in geometry. Problem Books in Mathematics. Unsolved Problems in Intuitive Mathematics, II. Springer-Verlag, New York, 1991. xvi+198 pp. ISBN: 0-387-97506-3

the question of existence of mid-scribed polyhedron (which is obviously equivalent to the existence of circle packing with the prescribed combinatorics is listed as an open problem.

Another example: In the early 2000s, I noticed that every element in $A_n$ is actually a commutator, and Henry Cejtin and I proved this in

1. arXiv:math/0303036 [pdf, ps, other] A property of alternating groups Henry Cejtin, Igor Rivin Subjects: Group Theory (math.GR)

Ore, Oystein Some remarks on commutators. Proc. Amer. Math. Soc. 2, (1951). 307–314.

But that's not all: in D. Husemoller's thesis, published as:

Husemoller, Dale H. Ramified coverings of Riemann surfaces. Duke Math. J. 29 1962 167–174.

only a few years after Ore's paper, this result is reproved (by Andy Gleason) -- this is actually the key result of the paper.

Another example (which actually inspired me to ask the question):

If you look at the comments to

http://mathoverflow.net/questions/47961/undecidability-in-matrix-groups

you will find a result proved by S. Humphries in the 1980s reproved by other people in the 2000s (and I believe there are other proofs in between).

It would be interesting to have a list of such occurrences (hopefully made less frequent by the existence of MO).

-
+1 for the question, but I think this should be a community wiki. – algori May 26 2011 at 17:20
I agree this should be CW. – Todd Trimble May 26 2011 at 17:36
No -- some history questions will have one definitive (and verifiably correct) answer. Whereas here you are explicitly asking for a list, so by definition no one answer will be definitive. – Todd Trimble May 26 2011 at 17:56
Disturbing as it might often be, rediscovery is one of the surest signs of the importance of a concept.... – S. Sra May 26 2011 at 19:34
As someone who has read lots of original papers in the 19th and 20th century I'd like to remark that the list of answers would probably be shorter if you had asked for results that have been proved just once.. – Franz Lemmermeyer May 27 2011 at 10:41

This is maybe an extreme example. I don't remember if it was a joke or not, but I recall receiving an e-mail announcement about someone recently inventing the trapezoidal method for approximating Riemann integrals.

-
"Other formulas widely applied by researchers under- or overestimated total area under a metabolic curve by a great margin". I find this sentence a bit unsetteling.. – J.C. Ottem May 26 2011 at 17:58
The real question is whether any of the referees took calculus in college... – Qiaochu Yuan May 26 2011 at 18:01
I remember once reading a review article in a mechanics journal is which the completeness of eigenfunctions for a self-adjoint fourth order ODE problem was referred to as "Collatz's theorem." Collatz wrote an ODE textbook which is widely used to teach engineers. – Michael Renardy May 26 2011 at 18:17
I read the paper at one point. The way she explains it, you should pick some nice-looking collection of points on the graph of the function, and interpolate between them with straight lines. Then the area below the straight lines is a union of rectangles and triangles whose area you can compute. She gives data indicating that this gives a more accurate value than simply approximating the area with a union of rectangles, although it is not clear how she found the "true" value of the area. She does make a point of the fact that her method will work no matter what points on the graph you choose. – Dan Petersen May 26 2011 at 18:41
What boggles me most is: what did people studying metabolic curves do before Tai rediscovered the Trapezium rule? – known google May 26 2011 at 23:12

Cantor proved that for any two countable dense subsets of the real line there is a homemorphism from the reals to the reals mapping one countable set to the other. Can the homeomorphism be analytic? This question has been answered periodically (about every twenty years) since Cantor's result was published. However, looking at Cantor's original paper reveals that the very next article in the journal is by a student who extends Cantor's theorem to analytic functions.

-

I am unsure it fits the OP's requirements but, in connection with Ryan Budney's most-upvoted answer regarding the rediscovery of trapezoidal method, let me recall that Grothendieck spent about three years working in isolation in French provinces developing the Lebesgue theory of integration. It was not before he went to Paris that he was told someone had already done that.

-
Perhaps I should have added that this story is told at the beginning of "Récoltes et Semailles". – Jonathan Chiche May 27 2011 at 7:17

According to Arnol'd himself (we are not worthy, we are not worthy...) Poincare had published a paper in the proceedings of the French Philosophical Society in the late nineteenth century sometime, on electromagnetism, but since the paper was intended for philosophers, there were no equations in it, except one, on the last page, which was $E = m c^2$ -- apparently this was too cool to resist. Apparently, Poincare was, in fact, the referee of Einstein's special relativity paper, around a decade later, and recommended it for acceptance, and when people asked him why, given that he had known the stuff for a while, he responded that this seems to be a bright young guy, and such should be encouraged. I am not sure where this is written down (I heard it from Arnold in person). Perhaps someone here knows the actual facts.

-
I cannot resist the temptation to cite Etienne Ghys concerning Poincar\'e: "Il faut faire tres attention avant de dire que quelque chose n'est pas dans Poincar\'e" (One has to be very careful before saying that something is not in Poincar\'e). – Roland Bacher May 27 2011 at 6:48
I saw a long talk by A. Borel on Einstein, Poincare, relativity, and the like (at Ann Arbor, in 1999 or 1998). He gave the impression that Poincare really disliked Einstein and his ideas, and offered as evidence a letter of recommendation written by Poincare saying, in effect, this guy is a competent physicist (analogous to: he was in my class, and got a B). – Jeff Strom May 27 2011 at 14:15
Arnold was not a great fan of Einstein either -- another thing he recounted to me (and I am sure it is in some book of his) was that Einstein's formulation of General Relativity is essentially due to Hilbert. Maybe Borel mentioned this too... – Igor Rivin May 27 2011 at 14:51
Regarding 'Relativity and priority' there is a lot of debate, see en.wikipedia.org/wiki/Relativity_priority_dispute In particular during the last 15 years quite a bit was written, as far as I understand (that is to say not much) due to the fact that about 1997 new evidence was found in the form of proof-sheets of one of Hilberts's papers (which was interpreted by Corry, Renn, Stachel to settle the dispute in Einstein's favor, but others disagree). – quid May 27 2011 at 17:07
I once heard a talk by a patent lawyer from Silicon Valley. Many times in his career, there were little flurries of activity when people would come to him with the same idea, all within a month or so. He was sure that in most cases, there was no hint of theft or plagiarism - only the connexion that these people were steeped in the same culture and drawing on the same body of ideas, which had become so discussed that everyone had forgotten their importance. Sometimes we forget that we belong to a bigger organism of fellow researchers, hence the phenomenon that "some ideas just have their time". – WetSavannaAnimal aka Rod Vance Jun 10 2011 at 0:21

In his monograph (D. V. Anosov: Geodesic flows on closed Riemann manifolds with negative curvature, Proceedings of the Steklov Institute 90 (1967) AMS 1969), Anosov writes: "Every five years or so, if not more often, someone 'discovers' the theorem of Hadamard and Perron proving it either by Hadamard's method or Perron's. I myself have been guilty of this."

-

I ran across the following (to me startling) example in Robert Cromie 1895 techno-thriller The Crack of Doom (reprinted in The End of the World: Classic Tales of Apocalyptic Science Fiction, Michael Kelehan, ed.)

Page 102: "If you consult a common text-book on the physics of the aether, you will find that one grain of matter, contains sufficient energy, if etherised, to raise a hundred thousand tons nearly two miles."

Here "grain" is a standard unit of jewelers (one gram = 15.4 grains). Then it is easy to verify, that within ±2% error, Cromie's "etherised" mass-energy relation is $E = m c^2/2$.

Einstein was 16 years old when Cromie's book appeared (published by a European publishing house) ... a very impressionable age, needless to say. Yet despite the clue that Cromie so generously provided to science fiction fans in Europe, ten years passed before Einstein got the factor of two right.

-
Interesting. We're getting a bit off-topic, but is there any evidence that Einstein would have read the book? Was it translated into German - would there have been whiffs of it in an 1895 German "Boy's own"? – WetSavannaAnimal aka Rod Vance Jun 10 2011 at 0:28

I think the number of examples is roughly half the number of published theorems, so this could be a very long list, indeed. But that won't stop me from making a contribution or two.

The Cauchy-Davenport Theorem. Harold Davenport published it in 1935. Then in 1947 he wrote a paper in which he noted that Cauchy had published the same result in 1813.

Cauchy, A. Recherches sur les nombres, J. Ecole Polytech, Volume 9, 1813, pgs. 99-116.

Davenport, H. On the addition of residue classes, Journal of the London Mathematical Society, Volume 10, 1935, pgs. 30-32.

Davenport, H., A historical note, Journal of the London Mathematical Society, 22, (1947) 100-101.

(References taken from Paul Balister and Jeffrey Paul Wheeler, The Cauchy-Davenport Theorem for Finite Groups, which I found on the web).

-
This is an example I like a lot. Note however that the pages of the Cauchy paper 123 and not 116 is correct. (I did not want to simply change it as then I would also have to change the reference for the references and this seemed a bit invasive.) Since I know that the 116 is somewhat widespread, I guess I should back up my 123. Here gallica.bnf.fr/ark:/12148/cb34378280v/date are the digitized volumes of JEP, one has to scroll down a bit to arrive at 1813. – quid May 27 2011 at 17:26

The Cooley--Tukey FFT algorithm (1965) was already known to Gauss (ca. 1805).

Perhaps a slight stretch, but then the temporal gap is quite impressive.

Details e.g. http://en.wikipedia.org/wiki/Fast_Fourier_transform (under Algorithms)

-
I heard Gauss also solved the Poincare Conjecture before anyone knew about it. – Samuel Reid Apr 1 2012 at 1:33
@Samuel Reid: is the date you posted this significant? If not, I never heard of this. That he had a solution by todays standars, seems however essentially impossible. – quid Apr 4 2012 at 12:53
Frank Yates working in Design of Experiments also had (some special case of) FFT around 1939-40. – Kjetil B Halvorsen Nov 15 at 2:35

In 1983, at the request of a referee, I added to a paper of mine a proof that (under certain hypotheses which need not detain us here) a certain norm could be given as a certain resultant. Since then I have found that the same theorem had already been published by (at least) half-a-dozen authors going back to Cebotarev in 1936, none of them citing any of their predecessors.

Oh what the heck. It's a nice result, and not all that hard to state. Let $A$ be a commutative ring with unity. Let $f$ and $g$ be in $A[x]$, with $f$ monic. Let $B=A[x]/(f)$. Then the resultant of $f$ and $g$ equals the norm from $B$ to $A$ of the class of $g$ in $B$.

-

Benford's Law ... so called not because Benford was the first to publish it, but merely because Benford was the first to publish it in a physics journal.

-
 Interesting, but who WAS the first to publish it? – Igor Rivin May 26 2011 at 22:07 Physics? Philosophy! (Proc. Am. Philosophical Soc. 1938) But Benford was a Physicist. Simon Newcomb published the law in American J. Math. in 1881, and was an Astronomer. – quid May 27 2011 at 0:15 Interesting. Proc. Am. Philos. Soc., though, was not a philosophy journal, but a more general journal. The paper following Benford's is on the scattering of electrons by Bethe et.al. I have heard that the reason Benford's paper was noticed by physicists was that it was adjacent to this physics paper. (and I wrongly assumed it was a physics journal where this happened) – Gerald Edgar May 27 2011 at 14:43 I admittedly just went by the name of the journal, now I see it is a journal with a general scope ('various disciplines in the humanities and sciences'). Thank you for the clarification. – quid May 27 2011 at 17:42

This may not strictly count because the time between the independently derived results may not have been long, but the significance of the result makes this example interesting and the two workers concerned certainly were unaware of each other's result.

The Russell Paradox was known to Cantor independently of Russell's announcement of the result and highly likely some years before Russell hit on it. See Jean van Heijenoort, "From Frege to Goedel: a source book in mathematical logic, 1879-1931" (1967) on page 114, where a letter from Cantor to Dedekind is reproduced. Cantor writes to Dedekind in 1899, two years before Russell announced his paradox:

"...If we start from the notion of a definite multiplicity (a system, a totality) of things, it is necessary, as I have discovered, to distinguish two kinds of multiplicities (by this I mean definite multiplicities).

For a multiplicity can be such that the assumption that all of its elements 'are together' leads to a contradition, so that it is impossible to conceive of the multiplicity as a unity, as 'one finished thing'. Such multiplicities I call absolutely infinite or inconsistent multiplicities.

As we can readily see, the 'totality of everything thinkable', for example, is such a multiplicity ..."

Cantor was aware that if you applied the Cantor slash argument to the set of all sets, a contradiction would follow. In this letter he shows he was aware of the contradiction inherent in the conception of this 'multiplicity as a unity, as one finished thing', and the Russell paradox in the words that Russell used was likewise found by Russell when he was seeking a flaw in Cantor's slash argument and applied it to set of all sets or, the 'totality of everything thinkable'. See the wikipedia article for the history of Russell's take on things.

-

Most of the guts of the Kalman filter - the recursive algorithm for estimating the probability density function for the hidden states of an unknown Markov process - was known to Gauss and used by the latter to simplify hand calculations needed to find optimal estimates of planetary orbits from astronomical observations.

The point of the Kalman filter is that, as each new measurement comes in, the parameters of the (assumed) Gaussian PDF are updated by simple recurrence relationships that make use of former estimates of these parameters and the new observation alone. You don't have to go back and get all the old observational data and do a maximum likelihood estimate from the newly augmented full dataset from scratch.

Kalman was unaware of Gauss's work, and indeed his method of proof was quite different and more general, so it may not altogether count as a rederiving of an old result, but still the key ideas are rediscovered by an author unaware of his intellectual forerunners.

See this exposition.

-

Often, this happens when a mathematician does not recognize the problem (s)he faces as a problem already studied in another branch. This happened to me as follows. While studying the Riemann problem for the Euler equations of a compressible gas obeying a Chaplygin equation of state, I encountered the following equation $${\rm div}\frac{\nabla u}{\sqrt{1+|\nabla u|^2}}+\frac{2}{u\sqrt{1+|\nabla u|^2}}=0.$$ I had to solve the Dirichlet boundary-value problem ($u=0$ on $\partial\Omega$) in strictly convex domains $\Omega\subset{\mathbb R}^2$. This I did in Multi-dimensional shock interaction for a Chaplygin gas. Arch. Rational Mech. Anal., 191 (2009), pp 539--577.

Two years later, Lihe Wang pointed out to me that such solutions describe complete minimal surfaces in the 3D-hyperbolic space. The result is therefore due originally to M. Anderson (Inventiones Math. 1982). The boundary regularity, which I left open, was actually proved by Fang Hua Lin (Inventiones Math. 1989).

-
I guess this is particularly tricky for equations, since they tend to have different name in different fields, and the actual formula is a little hard to look up... – Igor Rivin Nov 14 at 13:10

A related issue is that of simultaneity. The best example I recall of that is the independent discovery by Friedberg and by Muchnik of solutions to Post's problem ( two sets of integers neither of which were computable from the other, a.k.a a pair of incomparable and not very complicated Turing degrees below 0', the Turing degree of the halting problem). Perhaps someone can confirm/refute the idea that they were both under 20 years of age at the time of discovery.

Two personal examples are a note on the size of a minimal counterexample to Frankl's union closed conjecture which I showed to my advisor, and then found it over a year later published by Giovanni LoFaro. He never told me directly, but I suspect my advisor thought that Ron Graham had proved and not published a similar lower bound (given some restrictions, a minimal example on a universe of n elements must have at least 4n - 1 sets in the family). The following year I came up with a basis of five equations for an equational theory that was shown to be finitely based with a basis of at most X equations (I forget the value of X, but had something like 5 or 6 decimal digits). Libor Polak found the same basis, and in his paper "On Hyperassociativity" kindly acknowledged my independent discovery, which happened within a month of his. There were other examples among my fellow graduate students, at least one of which resulted in a change of dissertation topic.

It is experiences like this that support the notion "If Gauss didn't know it, either Euler did or it wasn't worth knowing."

Gerhard "I Keep At It Anyway" Paseman, 2011.05.26

-
Muchnik was born in 1934 and solved the problem in 1956, so he was 21 or 22 at the time. Friedberg solved the problem when he was 20, according to this article: time.com/time/magazine/article/… – Timothy Chow May 26 2011 at 22:27

The parallelogram of forces is often attributed to Varignon. It was already discovered by Stevin roughly a century earlier.

-

I heard it once from a specialist in dynamical systems that the Hurwitz criterion (which helps determine whether all eigenvalues of a matrix have negative real part, see e.g. http://en.wikipedia.org/wiki/Routh%E2%80%93Hurwitz_stability_criterion) used to get rediscovered on a regular basis by engineers who needed it to check whether a zero of a vector field in a Euclidean space is stable (one has to linearize the field near the fixed point and apply Lyapunov's stability theorem, see e.g. http://en.wikipedia.org/wiki/Lyapunov_stability)

I should also say that this person was referring to the time before computers became widespread, so chances are, nowadays no one bothers.

-
 I did this myself in about 1989 - I was definitely fairly fluent with software development at the time and addicted to Mathematica version 1. But this was when I was working as an engineer and before my PhD - so I guess I was a bit naive and not very good at checking what had been done before. But my main point is, even when computers are around, if you're interested in the truth of a statement rather than applying it, then the computers are immaterial. After all, is this not what drives a mathematician? – WetSavannaAnimal aka Rod Vance May 27 2011 at 1:29

There is the Hilbert-Burch Theorem, which gives structure of Cohen-Macaulay ideals having projective dimension one in a regular or polynomial ring. The named authors published their results about 80 years apart. Eisenbud wrote (page 506 of his "Commutative Algebra..." book) that "many people have discovered it for themselves (and many have published it) in the intervening years".

This theorem is quite useful in many contexts in algebra and geometry. In fact, you can find a nice historical account at the end of Chapter 8 of Hartshorne's "Deformation Theory", which applies it to study deformations of Cohen-Macaulay subschemes of codimension two.

-

I gave an example in mathoverflow.net/questions/63386, where I asked a similar question.

-

"On teaching mathematics" by V.I. Arnold:

Prof. M. Berry once formulated the following two principles:

The Arnold Principle. If a notion bears a personal name, then this name is not the name of the discoverer.

The Berry Principle. The Arnold Principle is applicable to itself.

It is also interesting, how Arnold's Principle can be applied to Arnold's works.

1) Arnold's Problem (problem 1993-11 from "Arnold's Problems" Springer, 2005) on statistical properties of finite continued fraction was essentially solved by Lochs in 1961 (32 years before Arnold’s conjecture, see "Statistik der Teilnenner der zu den echten Brüchen gehörigen regelmässigen Kettenbrüche", Monatsh. Math., 1961, 65, 27-52).

2) His question about weak asymptotic for Frobenius numbers (problem 1999-8 from "Arnold's Problems" Springer, 2005) was asked earlier by Davison (only for three arguments, but in fact the question is the same, see "On the linear Diophantine problem of Frobenius", J. Number Theory, 1994, 48, 353-363)

3) In the article "Geometry of continued fractions associated with Frobenius numbers" (Funct. Anal. Other Math., 2009, 2, 129-138) he almost rediscovered Rodseth's formula for Frobenius numbers.

-
I didn't know of Lochs's work. Thanks for the reference. – Andres Caicedo Nov 14 at 7:12
Interestingly, in statistics this principle is known as "Stigler's law of epinomy" : en.wikipedia.org/wiki/Stigler's_law_of_eponymy – Kjetil B Halvorsen Nov 15 at 2:43
mathoverflow.net/questions/24132/… – Andres Caicedo Nov 15 at 3:59

The Poincaré-Birkhoff-Witt-theorem. Proven independently by Garret Birkhoff and Ernst Witt in 1937, and attributed either to one or both or none of them in the following years (and even to Harish-Chandra, who gave another proof). Then, in the 1950s, some authors seem to have pre-inventend the statement of Etienne Ghys as cited by Roland Bacher on this page (thereby giving another example, although on a meta-level), and began to attribute it to Poincaré, too. -- There seem to be different views on whether Poincaré in his article, which dates from 1900, gave a "complete" proof. Many more details can be found in: T. Ton-That, T.-D. Tran: Poincaré's proof of the so-called Birkhoff-Witt theorem, Rev. Histoire Math., 5 (1999), pp. 249–284. Edit: There is already an MO page about Poincaré's supposed proof.

Another example -- the classification of codomains of epimorphisms from $\mathbb{Z}$ -- was the content of my answer here.

-
 The Ton-Tran paper is very interesting! – Igor Rivin Nov 14 at 16:52

In holomorphic dynamics, there are examples of rational maps on the Riemann sphere having only repelling cycles (i.e., whose Fatou set is empty) , and a class of such examples is associated with elliptic functions. This class is called "Latt\'es examples", because in 1918 Samuel Lattes constructed an $f$ satisfying $\mathcal{P}(2z)=f(\mathcal{P}(z))$, where $\mathcal{P}$ is the Weierstrass elliptic function coming from a certain lattice in $\mathbb{C}^2$. It was thought to be the first such example. However, an example based on Jacobi elliptic function appeared in 1898 in the PhD thesis of Lucjan Emil B\"ottcher, Beitr\"age zu der Theorie der Iterationsrechnung, published by Oswald Schmidt, Leipzig, pp.78, and another one was given in his paper in Polish, Zasady rachunku iteracyjnego (cz\c e\'s\'c pierwsza i cz\c e\'s\'c druga) [Principles of iterational calculus (part one and two)], {\it Prace Matematyczno - Fizyczne}, vol. X (1899 - 1900), pp. 65 - 86, 86-101.

-
 Some fundamental notions in holomorphic dynamics were discovered independently by different people (cf. Feldmann Denis's answer). One could also mention Julia sets, pioneered by B\"ottcher (the Polish paper cited above) and Pincherle. – Margaret Friedland Nov 15 at 15:37

I have rediscovered several theorems:

Using a (very) recent theorem, I proved some properties of the root measures one obtain from $$P_n(z)-z=0$$ where $P_{n+1} = P_n(z)^2 + c,P_0(z)=z,$ (Thus almost all roots of $$P_n$$ lie in the julia set). For example, they give an invariant measure, and the root measures obtained from the derivatives of $$P_n$$ all converge to the same measure (this last part follows from a theorem by Hans Rullgård, in his phd thesis).

However, the result about this invariant measures are proved in the 50:s by Hans Brolin, (under Lenart Carlessons supervision).

My first article was a generalization on some recent results (papers) by my advisor, on the Schroedinger equation, but it turns out that the full generalization, proved by a method similar to ours, was done in the 30:s (long before people knew/cared about quantum mechanics).

-
 Isn't there a paper by Jenkinson and Pollicott on this? – Igor Rivin May 27 2011 at 12:33 @Igor : Maybe, what paper in particular do you refer to? – Per Alexandersson May 27 2011 at 17:33 I think this one, but I am not 100% certain (don't have enough time to look at the paper right now): MR1773814 (2001i:37015) Pollicott, Mark(4-MANC); Jenkinson, Oliver(F-PROV-IM) Computing invariant densities and metric entropy. (English summary) Comm. Math. Phys. 211 (2000), no. 3, 687–703. 37A35 (37E05 37M25) In any case, you might find it interesting... – Igor Rivin May 27 2011 at 20:05

A family $\cal F$ of subsets of a finite set is $r$-cover-free if no member of $\cal F$ is contained in the union of $r$ other members of $\cal F$. Let $T(n,r)$ denote the maximum cardinality of an $r$-cover-free family of subsets of an $n$-element set. This concept has arisen independently in several different contexts—information theory, combinatorics, and group testing—under various names (superimposed codes, $ZFD_r$ codes), and bounds on $T(n,r)$ have been rederived several different times.

I almost added to the confusion myself because I rediscovered these objects and was calling them $k$-Sperner sets. Fortunately, before my paper was published, I discovered that my results were already known. See the paper by Miklós Ruszinkó, "On the upper bound of the size of the $r$-cover-free families," J. Combin. Theory Ser. A 66 (1994), 302–310, for a list of the disparate previous papers on the subject, and a proof of the result that for sufficiently large $n$, $\log_2 T(n,r) \le 8n (\log_2 r)/r^2$.

-

The discovery of the Mandelbrot set by Udo of Aachen circa 1250 should perhaps count for something, no ? (see http://en.wikipedia.org/wiki/Udo_of_Aachen).

-
 Since it is a hoax, I don't know that it should count for something, though the Mandelbrot (aka the Brooks-Macielski) set is certainly a poster boy (literally) for the Arnold principle. – Igor Rivin Nov 15 at 13:31 Closer to our times, Salvatore Pincherle had some ideas related to what is now known as the Mandelbrot set (in the first quarter of the XX century). More details can be found in the book Alexander, Daniel S.; Iavernaro, Felice; Rosa, Alessandro Early days in complex dynamics. A history of complex dynamics in one variable during 1906–1942. History of Mathematics, 38. American Mathematical Society, Providence, RI; London Mathematical Society, London, 2012. xviii+454 pp. ISBN: 978-0-8218-4464-9 – Margaret Friedland Nov 15 at 15:34 Another completely fictional creator of fractals is a precocious teenage girl (living in Lord Byron's times) in Tom Stoppard's play "Arcadia". – Margaret Friedland Nov 15 at 15:42