Would Euler's proofs get published in a modern math Journal, especially considering his treatment of the Infinite? - MathOverflow most recent 30 from http://mathoverflow.net2013-05-20T02:32:56Zhttp://mathoverflow.net/feeds/question/24396http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/24396/would-eulers-proofs-get-published-in-a-modern-math-journal-especially-consideriWould Euler's proofs get published in a modern math Journal, especially considering his treatment of the Infinite?Max Muller2010-05-12T14:28:49Z2013-04-10T15:59:30Z
<p>I was wondering how mathematicians of today would treat, for example, Euler's proof of zeta(2). </p>
<p>In William Dunham's book 'Journey through Genius' ( <a href="http://www.amazon.com/Journey-through-Genius-Theorems-Mathematics/dp/014014739X" rel="nofollow">http://www.amazon.com/Journey-through-Genius-Theorems-Mathematics/dp/014014739X</a> ), the writer states (more or less) that most mathematicians of today wouldn't aprove of Euler's methods, as his treatment of the 'infinite' doesn't uphold to today's modern standards of rigour.</p>
<p>His evaluation of Zeta(2) and all other even zeta-arguments op to Zeta(26) was correct, however. Would Euler's proofs get published in a well-respected math journal?</p>
<p>(Of course, his papers would now be written in english and the would-be published results aren't known to the mathematical community, yet).</p>
<p>Thanks in advance,</p>
<p>Max Muller</p>
<p>PS: O.K. everyone, I think many of you have stressed some important points regarding this question. I can't choose one, which is why I have upvoted some of your answers and left the question as it is. Thank you for your thoughts.</p>
<p>PPS: I'm sorry for the confusing title of the question in its previous form. I hope you all think it is stated better now.</p>
http://mathoverflow.net/questions/24396/would-eulers-proofs-get-published-in-a-modern-math-journal-especially-consideri/24410#24410Answer by Cam McLeman for Would Euler's proofs get published in a modern math Journal, especially considering his treatment of the Infinite?Cam McLeman2010-05-12T16:24:41Z2010-05-12T16:37:58Z<p>I think the answer to your question is pretty well-addressed by Gerald in the comments. Let me just throw in a couple of points that wouldn't fit in a comment.</p>
<p>1) Euler knew what he was doing. He had a tremendous ability for mental calculation, and verified to his satisfaction that his sums converged. He was well aware of the divergence of the harmonic series, so it's not like he was unaware of the fundamental issues surrounding "treating the infinite." If a sequence converged in accuracy by one digit every couple of terms for 30 or 40 consecutive terms, this was good enough for him to be convinced.</p>
<p>2) Even if Euler's proofs were not the most rigorous, that is not to say that modern mathematicians don't appreciate the methods behind them. I'd say more often than not, the hard part of mathematics is figuring out what <i>should</i> be true. Any student armed with Fourier analysis (and probably less) could re-derive many of Euler's formulas ($\zeta(2)$ in particular) -- few, however, would be able to play with the series even heuristically to figure out what the nontrivial contribution to the sum was, and fewer still would arrive at $\frac{\pi^2}{6}$ without prior exposure. If Euler were to rediscover his results in today's academic atmosphere, I suspect he would be hailed for his great insight into what "should be happening," and have a very successful career providing graduate students amazing problems which needed details filled in.</p>
<p>3) Even today, heuristics form an important part of mathematical research, so the legacy (if you will) of Euler's approach is still alive and well. The Cohen-Lensta heuristics, as a more modern example (or maybe even analytic conjectures in general...maybe even something like BSD) might be considered as fundamental pieces of insight gleaned from heuristic reasoning and experimental data.</p>
http://mathoverflow.net/questions/24396/would-eulers-proofs-get-published-in-a-modern-math-journal-especially-consideri/24416#24416Answer by Igor Pak for Would Euler's proofs get published in a modern math Journal, especially considering his treatment of the Infinite?Igor Pak2010-05-12T17:57:36Z2010-05-12T17:57:36Z<p>Not to be overly negative, but I think even with the qualifiers you write on the bottom of your question the answer is no, for a completely trivial reason. This has nothing to do with rigor. It's just that Euler's tools are not advanced enough for a modern publication. </p>
<p>To give you an example close to my interests, Euler himself pioneered the theory of partitions. He realized that one should take generating functions for the number of partitions from various classes and prove identities for the resulting $q$-series to establish connections between them. I read his work (in translation, I am afraid) and it is lucid, beautiful and mostly rigorous. But (to answer your question) you can't take his obscure result and submit to a serious journal. This might have worked pre-1930 or so, but in modern times the journals are no longer satisfied with "new and correct" papers; the papers are also expected to have interesting technical innovations which might prove helpful. Euler's techniques by now are too well known and "standard" to be of interest... </p>
<p>Of course, this is not to say that Euler does not continue to publish books or even articles (see e.g. MR0818419).</p>
http://mathoverflow.net/questions/24396/would-eulers-proofs-get-published-in-a-modern-math-journal-especially-consideri/24462#24462Answer by lhf for Would Euler's proofs get published in a modern math Journal, especially considering his treatment of the Infinite?lhf2010-05-13T00:55:51Z2010-05-13T00:55:51Z<p>Even when he was wrong, Euler was frequently right.</p>
http://mathoverflow.net/questions/24396/would-eulers-proofs-get-published-in-a-modern-math-journal-especially-consideri/24473#24473Answer by Emerton for Would Euler's proofs get published in a modern math Journal, especially considering his treatment of the Infinite?Emerton2010-05-13T05:34:44Z2010-05-13T05:34:44Z<p>My own belief is that contemporary discounting of the validity of Euler's arguments is misplaced. Euler wrote arguments to the standards of his day. If he were writing now, he would write arguments to the standards of our day. As far as I know, and given his brilliance and insight, there's no reason to think that he wouldn't have been able to fill in any analytic details required to justify his arguments (which in the case under discussion are fairly straightforward). </p>
http://mathoverflow.net/questions/24396/would-eulers-proofs-get-published-in-a-modern-math-journal-especially-consideri/24479#24479Answer by ogerard for Would Euler's proofs get published in a modern math Journal, especially considering his treatment of the Infinite?ogerard2010-05-13T07:05:34Z2010-05-13T07:12:47Z<p>Just to stress a few points already addressed in comments and answers:</p>
<p>Euler in his time discovered many important facts and solutions to classical questions, advanced rigor and gave examples of the power of the recently created methods (infinitesimal calculus), popularized the science of his day (notably books dedicated to a German Princess), wrote some of the first textbooks in analysis (still pleasant reading today), gave strength to the prussian and russian academy of science, courtized by two of the most powerful powers of the day (the King of Prussia and the Czar of Russia), filled international academic journals, some of them he edited himself, with quality articles (in fact up to several decades after his death because of the sheer size of his output), fostered international cooperation, wrote in the most important languages of his day (latin, french, german, I think he also learned russian), published in applied science, was part of state scientific advisory commission, etc.</p>
<p>In fact Euler's work has been instrumental in progressively establishing the "rigor" some of us are so proud of.</p>
<p>So a better equivalent of his investigation of what we call now Zeta(2 n) and the Gamma function would be the solution of outstanding problems by one of the most recognized mathematician of his day building on recent work by one of his even more famous and established mathematician, Bernoulli, who was his PhD advisor and whose several family members have established positions in the scientific community. </p>
<p>I think he would have no difficulty publishing it. And his work would be quickly read and commented upon by many other mathematicians.</p>
<p>Even if we imagine a Leonard Euler finding himself straight-jacketed by the mathematical discourse and style of the XXIst century, he would pair up with another good mathematician to write scholarly articles, as Ramanujan and Hardy used to do at the beginning of the XXth in a mutually benefical couple. </p>
http://mathoverflow.net/questions/24396/would-eulers-proofs-get-published-in-a-modern-math-journal-especially-consideri/24485#24485Answer by Peter Luthy for Would Euler's proofs get published in a modern math Journal, especially considering his treatment of the Infinite?Peter Luthy2010-05-13T09:40:17Z2010-05-13T09:40:17Z<p>The important thing about Euler is he saw an approximately correct path to the correct solution. These kinds of people have always been the most regaled in mathematics. Whether or not he could write proofs to the degree we expect today is probably immaterial: he improved the human understanding of mathematics more than anyone in his generation and probably more than all but at most a handful of mathematicians in all of time. If he could continue to generate almost correct proofs/heuristics to produce correct answers to problems, he would no doubt find himself with employment as well as plenty of coauthors eager to check his pencil marks.</p>
<p>Mathematical rigor is important because intuition is too frequently wrong. But I think seeing the big ideas is still considered more valuable than getting the proof completely right.</p>
<p>Riemann's proof of the Riemann mapping theorem was flawed because it made use of the Dirichlet principle to a greater extent than is actually possible (as shown later by Weierstrass). Even if Riemann turned out to be somewhat wrong and the theorem did not hold to the generality he believed because the intuition of the day was that the Dirichlet principle was universally sound, would we not call it the Riemann mapping theorem (and instead name it after whoever gave the first complete proof)? In a similar-but-somewhat-different light, should Thurston's geometrization conjecture-now-theorem have a different name?</p>
http://mathoverflow.net/questions/24396/would-eulers-proofs-get-published-in-a-modern-math-journal-especially-consideri/24496#24496Answer by Lucas K. for Would Euler's proofs get published in a modern math Journal, especially considering his treatment of the Infinite?Lucas K.2010-05-13T12:00:56Z2010-05-13T12:00:56Z<p>I learned in my science history lessons, that the standards for mathematics varied over time. </p>
<p>In the ancient Greek time (let say, the period of Archimedes), it was preferred that a theorem had more than one proof. At least, it was not uncommon to give more than one proof.</p>
<p>So, one can argue, that current math articles would not be accepted by the well respected Archimedes.</p>
<p>I don't know the details, but don't assume that the standards of rigour were monotonic increasing over time.</p>
<p>Lucas </p>
http://mathoverflow.net/questions/24396/would-eulers-proofs-get-published-in-a-modern-math-journal-especially-consideri/40381#40381Answer by Bruce Arnold for Would Euler's proofs get published in a modern math Journal, especially considering his treatment of the Infinite?Bruce Arnold2010-09-28T20:22:12Z2010-09-28T20:22:12Z<p>Let me answer by rephrasing your question. How will Andrew Wiles' proof of Fermat's Last Theorem be seen in the year 2260? I think it will be acknowledged then as much as it is acknowledged today that the proof was a major step in the history of mathematics. However, I seriously doubt that his proof will be considered as 'rigorous' by the standards of the year 2260. A well-respected math journal will then require a proof formally verified by a symbolic engine. (See the Notices of AMS 2008, vol. 55, issue 11).</p>
http://mathoverflow.net/questions/24396/would-eulers-proofs-get-published-in-a-modern-math-journal-especially-consideri/127096#127096Answer by katz for Would Euler's proofs get published in a modern math Journal, especially considering his treatment of the Infinite?katz2013-04-10T14:01:55Z2013-04-10T14:01:55Z<p>In answering this question, it is helpful to make a distinction between, on the one hand, what Reeder calls the "inferential moves" that Euler makes (see related thread <a href="http://mathoverflow.net/questions/126986/eulers-mathematics-in-terms-of-modern-theories" rel="nofollow">http://mathoverflow.net/questions/126986/eulers-mathematics-in-terms-of-modern-theories</a>), and on the other, the mathematical objects he manipulates (infinitesimals, infinite integers, etc). This allows Reeder to observe that modern infinitesimal theories are far more successful in formalizing Euler's procedures ("inferential moves") than are $\epsilon,\delta$ techniques. </p>
<p>Traditional scholars like Ferraro (see thread linked above) were trained on the basis of conceptual frameworks that are inadequate to the task of making such an evaluation, and tend to receive the work of scholars like Laugwitz with hostility. </p>
<p>Laugwitz argued for an essential coherence of infinitesimal reasoning in both Cauchy and Euler, modulo certain "hidden lemmas" that need to be made explicit to meet a modern standard. I would adopt an optimistic position that many of Euler's greatest contributions are immediately publishable in contemporary journals, provided minimal changes are made so as to clarify the nature of the objects as well as the "hidden lemmas".</p>
<p>The verdict is still out on whether the MATHEMATICAL community (as opposed to that of the HISTORIANS of mathematics) will in the end side with Reeder's analysis or Ferraro's analysis.</p>