{"id":1560,"date":"2011-10-03T09:00:28","date_gmt":"2011-10-02T21:00:28","guid":{"rendered":"https:\/\/blogs.otago.ac.nz\/emxphi\/?p=1560"},"modified":"2012-09-25T02:11:39","modified_gmt":"2012-09-24T14:11:39","slug":"newton-and-the-case-of-the-missing-calculus","status":"publish","type":"post","link":"https:\/\/blogs.otago.ac.nz\/emxphi\/newton-and-the-case-of-the-missing-calculus\/","title":{"rendered":"Newton and the Case of the Missing Calculus"},"content":{"rendered":"<p><strong>Kirsten Walsh writes&#8230;<\/strong><\/p>\n<p>The case of the missing calculus is well-known.\u00a0 Newton (co-)invented <a title=\"Calculus\" href=\"http:\/\/en.wikipedia.org\/wiki\/Calculus\" target=\"_blank\">calculus<\/a> in the late 1660s, and he wrote <a title=\"Principia\" href=\"http:\/\/en.wikipedia.org\/wiki\/Philosophiae_Naturalis_Principia_Mathematica\" target=\"_blank\"><em>Principia<\/em><\/a><em> <\/em>in the late 1680s.\u00a0 It would be natural to expect that Newton used the calculus in <em>Principia<\/em>.\u00a0 But it seems that he didn\u2019t.\u00a0 Instead, Newton wrote <em>Principia<\/em> in the style of Euclid\u2019s <a title=\"Elements\" href=\"http:\/\/en.wikipedia.org\/wiki\/Euclid%27s_Elements\" target=\"_blank\"><em>Elements<\/em><\/a>, that is, using Classical Greek geometry. \u00a0This is surprising indeed, given the powerful new tool he had at his disposal.\u00a0 What should we make of this?<\/p>\n<p>Almost thirty years after the publication of <em>Principia<\/em>, Newton explained that he had used algebraic calculus to discover the propositions of <em>Principia<\/em>, but used classical geometry to demonstrate them:<\/p>\n<ol> \u201cBy the help of the new <em>Analysis<\/em> [i.e. algebraic calculus] Mr. Newton found out most of the Propositions in his <em>Principia Philosophiae<\/em>: but because the Ancients for making things certain admitted nothing into Geometry before it was demonstrated synthetically, he demonstrated the Propositions synthetically, that the System of the Heavens might be founded upon good Geometry.\u00a0 And this makes it now difficult for unskilful men to see the Analysis by which those Propositions were found out.\u201d<\/ol>\n<p>But Newton was lying.\u00a0 <a title=\"Whiteside\" href=\"http:\/\/en.wikipedia.org\/wiki\/Derek_Thomas_Whiteside\" target=\"_blank\">Scholars<\/a> have found no evidence that he wrote or developed <em>Principia<\/em> in any other way than the published form.\u00a0 Moreover, few, if any, of the propositions in <em>Principia<\/em> can even be presented in the form of algebraic calculus.<\/p>\n<p>This raises two questions:<\/p>\n<ol>\n<li>Why did Newton lie?<\/li>\n<li>Why did Newton eschew modern algebraic calculus in favour of classical geometry?<\/li>\n<\/ol>\n<p>These questions have been discussed by numerous scholars including <a href=\"http:\/\/books.google.co.nz\/books?id=DJnquszl8CUC&amp;printsec=frontcover&amp;dq=%22philosophers+at+War%22&amp;hl=en&amp;ei=-OmHTuqWBoKsiAen452IDw&amp;sa=X&amp;oi=book_result&amp;ct=result&amp;resnum=1&amp;ved=0CCwQ6AEwAA#v=onepage&amp;q&amp;f=false\" target=\"_blank\">A. Rupert Hall<\/a> and <a href=\"http:\/\/www.amazon.com\/Principia-Mathematical-Principles-Natural-Philosophy\/dp\/0520088174\" target=\"_blank\">I. Bernard Cohen<\/a>.\u00a0 The answer to (1) can be found in Newton\u2019s priority dispute with Leibniz.\u00a0 The answer to (2) was summarised neatly by <a href=\"http:\/\/thonyc.wordpress.com\/2010\/07\/16\/newton-lied\/\" target=\"_blank\">Thony Christie<\/a> last year:<\/p>\n<ol> \u201cPut simply Newton had serious doubts about the reliability of the new analytical mathematics and that is why he didn\u2019t use it for his magnum opus.\u201d<\/ol>\n<p>But what caused these doubts?<\/p>\n<p>In 1714, Newton wrote that the algebraic calculus is \u201carithmetic applied to geometrical matters&#8230; Its operations are complicated and excessively susceptible to errors, and can be understood by the learned in algebra alone\u201d.\u00a0 Whereas geometry \u201cmay be appreciated by the great majority and thus most impress the mind with [its] clarity\u201d.\u00a0 One might wonder why Newton bothered to invent algebraic calculus at all!<\/p>\n<p>Well it seems that Newton wasn\u2019t always so anti-algebra, nor was he always so interested in classical geometry.\u00a0 In fact, as an undergraduate, Newton didn\u2019t read the ancients.\u00a0 Rather, he read a few modern summaries of the ancient texts, building his own mathematics on the algebraic work of mathematicians such as Descartes, Wallis and Barrow.<\/p>\n<p>Newton seems to have become interested in classical geometry in the late 1670s, after re-reading Descartes\u2019 <a href=\"http:\/\/en.wikipedia.org\/wiki\/La_G%C3%A9om%C3%A9trie\" target=\"_blank\"><em>La G<\/em><em>\u00e9om<\/em><em>\u00e9trie<\/em><\/a>.\u00a0 <em>La G<\/em><em>\u00e9om<\/em><em>\u00e9trie<\/em> was an attempt to unite algebra and geometry \u2013 Descartes aimed to show how symbolic algebra could be applied to the study of plane curves.\u00a0 <a href=\"http:\/\/cav.unibg.it\/guicciardini\/\" target=\"_blank\">Guiccardini<\/a> writes:<\/p>\n<ol> \u201c[Descartes\u2019] tract could be read as a deliberate proof of the superiority of the new analytical method, uniting symbolic algebra and geometry, over the purely geometrical ones of the ancients.\u201d<\/ol>\n<p>Newton was very critical of Descartes\u2019 text, writing comments such as \u201cerror\u201d and \u201cI hardly approve\u201d in the margins.\u00a0 He even drafted a paper entitled \u2018Errors in Descartes\u2019 <em>Geometry\u2019.<\/em> To find support for his position, Newton began to read the ancient texts, including <a href=\"http:\/\/en.wikipedia.org\/wiki\/Pappus_of_Alexandria\" target=\"_blank\">Pappus<\/a>.<\/p>\n<p>Newton wrote:<\/p>\n<ol> \u201cTo be sure, [the ancients\u2019] method is more elegant by far than the Cartesian one.\u00a0 For [Descartes] achieved the result by an algebraic calculus which, when transposed into words (following the practice of the Ancients in their writings), would prove to be so tedious and entangled as to provoke nausea, nor might it be understood.\u00a0 But they accomplished it by certain simple propositions, judging that nothing written in a different style was worthy to be read, and in consequence concealing the analysis by which they found their constructions.\u201d<\/ol>\n<p>Newton was neither the first, nor the only, philosopher to equate algebra and geometry with the ancient methods of analysis and synthesis respectively.\u00a0 But he <em>was<\/em> the first to reject modern algebraic calculus in favour of ancient geometry.\u00a0 (If only because he was the first to <em>invent<\/em> it!)\u00a0 Does Newton\u2019s rejection of algebraic calculus stem from his anti-Cartesian stance?\u00a0 What if Newton had never re-read Descartes\u2019 <em>G<\/em><em>\u00e9om<\/em><em>\u00e9trie<\/em>?\u00a0 Could his priority dispute with Leibniz have been avoided?<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Kirsten Walsh writes&#8230; The case of the missing calculus is well-known.\u00a0 Newton (co-)invented calculus in the late 1660s, and he wrote Principia in the late 1680s.\u00a0 It would be natural to expect that Newton used the calculus in Principia.\u00a0 But [&hellip;]<\/p>\n","protected":false},"author":4582,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[113],"tags":[275,224],"class_list":["post-1560","post","type-post","status-publish","format-standard","hentry","category-ideas","tag-mathematics","tag-newton"],"_links":{"self":[{"href":"https:\/\/blogs.otago.ac.nz\/emxphi\/wp-json\/wp\/v2\/posts\/1560","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.otago.ac.nz\/emxphi\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.otago.ac.nz\/emxphi\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.otago.ac.nz\/emxphi\/wp-json\/wp\/v2\/users\/4582"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.otago.ac.nz\/emxphi\/wp-json\/wp\/v2\/comments?post=1560"}],"version-history":[{"count":0,"href":"https:\/\/blogs.otago.ac.nz\/emxphi\/wp-json\/wp\/v2\/posts\/1560\/revisions"}],"wp:attachment":[{"href":"https:\/\/blogs.otago.ac.nz\/emxphi\/wp-json\/wp\/v2\/media?parent=1560"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.otago.ac.nz\/emxphi\/wp-json\/wp\/v2\/categories?post=1560"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.otago.ac.nz\/emxphi\/wp-json\/wp\/v2\/tags?post=1560"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}