{"id":11394,"date":"2010-08-18T11:55:18","date_gmt":"2010-08-18T11:55:18","guid":{"rendered":"https:\/\/maverickphilosopher.blog\/index.php\/2010\/08\/18\/on-mathematics-education\/"},"modified":"2010-08-18T11:55:18","modified_gmt":"2010-08-18T11:55:18","slug":"on-mathematics-education","status":"publish","type":"post","link":"https:\/\/maverickphilosopher.blog\/index.php\/2010\/08\/18\/on-mathematics-education\/","title":{"rendered":"Infinity and Mathematics Education"},"content":{"rendered":"<p style=\"TEXT-ALIGN: justify\"><font face=\"Georgia\">A reader writes,<\/font><\/p>\n<p style=\"TEXT-ALIGN: justify\"><font face=\"Georgia\">Regarding <\/font><a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2010\/08\/kline-on-cantor-on-the-square-root-of-2.html\"><font face=\"Georgia\">your post<\/font><\/a><font face=\"Georgia\"> about Cantor, Morris Kline, and potentially vs. actually infinite sets: I was a math major in college, so I do know a little about math (unlike philosophy where I&#39;m a rank newbie); <br \/>on the other hand, I didn&#39;t pursue math beyond my bachelor&#39;s degree so I don&#39;t claim to be an expert. However, I do know that we never used the terms &quot;potentially infinite&quot; vs. &quot;actually infinite&quot;.<\/font><\/p>\n<p style=\"TEXT-ALIGN: justify\"><span style=\"FONT-FAMILY: ; COLOR: #0000bf\"><font face=\"Georgia\">I am not surprised, but this indicates a problem with the way mathematics is taught: it is often taught in a manner that is both ahistorical and unphilosophical.&#0160; If one does not have at least a rough idea of the development of thought about infinity from Aristotle on, one cannot properly appreciate the seminal contribution of Georg Cantor (1845-1918), the creator of transfinite set theory.&#0160; Cantor sought to achieve an exact mathematics of the actually infinite.&#0160; But one cannot possibly understand the import of this project if one is unfamiliar with the distinction between potential and actual infinity and the controversies surrounding it.&#0160;As it seems to me, a proper mathematical education at the college level must include:<\/font><\/span><\/p>\n<p style=\"TEXT-ALIGN: justify\"><span style=\"FONT-FAMILY: ; COLOR: #0000bf\"><font face=\"Georgia\">1. Some serious attention to the history of the subject.<\/font><\/span><\/p>\n<p style=\"TEXT-ALIGN: justify\"><span style=\"FONT-FAMILY: ; COLOR: #0000bf\"><font face=\"Georgia\">2.&#0160;Some study of primary texts such as Euclid&#39;s <em>Elements<\/em>, David Hilbert&#39;s <em>Foundations of Geometry<\/em>,&#0160;Richard Dedekind&#39;s <em>Continuity and Irrational Numbers<\/em>,&#0160;Cantor&#39;s <em>Contributions to the Founding of&#0160;the Theory of Transfinite Numbers,<\/em> etc.&#0160; Ideally, these would be studied in their original languages!<\/font><\/span><\/p>\n<p style=\"TEXT-ALIGN: justify\"><span style=\"FONT-FAMILY: ; COLOR: #0000bf\"><font face=\"Georgia\">3. Some serious attention to the philosophical issues and controversies swirling around fundamental concepts such as set, limit, function, continuity, mathematical induction, etc.&#0160; Textbooks give the wrong impression: that there is more agreement than there is; that mathematical ideas spring forth ahistorically; that there is only one way of doing things (e.g., only one way of construction the naturals from sets); that all mathematicians agree.<\/font><\/span><\/p>\n<p style=\"TEXT-ALIGN: justify\"><span style=\"FONT-FAMILY: ; COLOR: #0000bf\"><font face=\"Georgia\">Not that the foregoing ought to <em>supplant<\/em> a textbook-driven approach, but that the latter ought to be <em>supplemented<\/em> by the foregoing.&#0160; I am not advocating a &#39;Great Books&#39; approach to mathematical study.<\/font><\/span><\/p>\n<p style=\"TEXT-ALIGN: justify\"><font face=\"Georgia\">Given what I know of Cantor&#39;s work, is it possible that by &quot;potentially infinite&quot; Kline means &quot;countably infinite&quot;, i.e., 1&#0160;to 1 with the natural numbers? <\/font><\/p>\n<p style=\"TEXT-ALIGN: justify\"><font face=\"Georgia\"><span style=\"FONT-FAMILY: ; COLOR: #0000bf\">No!<\/span>&#0160; <\/font><\/p>\n<p style=\"TEXT-ALIGN: justify\"><font face=\"Georgia\">Such sets include the whole numbers and the rational numbers, all of which are &quot;extensible&quot; in the sense that you can put them into a 1 to 1 correspondence with the natural numbers; and given the Nth member, you can generate the N+1st member. The size of all such sets is the transfinite number &quot;aleph null&quot;. The set of all real numbers, which includes the rationals and the irrationals, constitute a larger infinity denoted by the transfinite number C; it cannot be put into a 1 to 1 correspondence with the natural numbers, and hence is not generable in the same way as the rational numbers. This would seem to correspond to what Kline calls &quot;actually infinite&quot;.<\/font><\/p>\n<p style=\"TEXT-ALIGN: justify\"><font face=\"Georgia\"><span style=\"FONT-FAMILY: ; COLOR: #0000bf\">It is clear that you understand some of the basic ideas of transfinite set theory, but what you don&#39;t understand is that the distinction between the countably (denumerably) infinite and the uncountably (nondenumerably) infinite falls on the side of the actual infinite.&#0160; The countably infinite has nothing to do with the potentially infinite.&#0160; I suspect that you don&#39;t know this because your teachers taught you math in an ahistorical manner out of boring textbooks with no presentation of the philosophical issues surrounding the concept of infinity.&#0160; &#0160; In so doing they took a lot of the excitement and wonder out of it.&#0160; So what did you learn?&#0160; You learned how to solve problems and pass tests.&#0160; But how much actual understanding did you come away with?<br \/><\/span><br \/><\/font><\/p>\n","protected":false},"excerpt":{"rendered":"<p>A reader writes, Regarding your post about Cantor, Morris Kline, and potentially vs. actually infinite sets: I was a math major in college, so I do know a little about math (unlike philosophy where I&#39;m a rank newbie); on the other hand, I didn&#39;t pursue math beyond my bachelor&#39;s degree so I don&#39;t claim to &hellip; <a href=\"https:\/\/maverickphilosopher.blog\/index.php\/2010\/08\/18\/on-mathematics-education\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Infinity and Mathematics Education&#8221;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[52,688,475,476,481,150],"tags":[],"class_list":["post-11394","post","type-post","status-publish","format-standard","hentry","category-academia","category-cantor","category-infinity","category-mathematics","category-set-theory","category-teaching"],"_links":{"self":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/11394","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/comments?post=11394"}],"version-history":[{"count":0,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/11394\/revisions"}],"wp:attachment":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/media?parent=11394"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/categories?post=11394"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/tags?post=11394"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}