{"id":59,"date":"2011-07-11T04:02:22","date_gmt":"2011-07-10T22:32:22","guid":{"rendered":"http:\/\/ckraju.net\/blog\/?p=59"},"modified":"2011-07-11T04:02:22","modified_gmt":"2011-07-10T22:32:22","slug":"zeroism-vs-formalism-in-math","status":"publish","type":"post","link":"https:\/\/ckraju.net\/wordpress_F\/?p=59","title":{"rendered":"Zeroism vs formalism in math"},"content":{"rendered":"<p>Jay Jolly asked:<\/p>\n<p>&#8220;Could you expand more on the the concept of \u201cZeroism\u201das applied in Mathematics?What changes do you foresee in pedagogy of Mathematics if the philosophy is changed from formalism to zeroism?&#8221;<\/p>\n<p>First I have a whole chapter on\u00a0zeroism in my book <em>Cultural Foundations of Mathematics<\/em> (chp. 8 with the subtitle:<em> sunyavada<\/em> vs formalism). (The editor of a Cambridge journal solicited the book for review, and the reviewer then lied that the book did not contain any philosophy beyond chp. 2 to justify the extraordinary procedure of reviewing only 2 chapters of the book. This is in the long Western tradition of suppressing and defaming\u00a0opposing viewpoints when unable to counter them.\u00a0Even today,\u00a0Western universities don&#8217;t teach non-Western philosophy presumably just because they are afraid this would damage their own philosophy\u00a0built on the weak foundations of theology.)<\/p>\n<p><strong>What is zeroism?<\/strong><\/p>\n<p>There are three aspects of zeroism which are relevant.\u00a0First,\u00a0zeroism regards\u00a0the empirical (though fallible)\u00a0as an appropriate\u00a0means of proof,\u00a0superior to\u00a0any metaphysics. (This is contrary to formalism which is wholly metaphysical, and regards its particular\u00a0metaphysics as superior to both physics and all other systems of metaphysics.)\u00a0\u00a0Zeroism accepts fallibility, as in the fallibility of science.<\/p>\n<p>Second\u00a0zeroism accepts the impossibility of &#8220;perfect&#8221; or precise represenation of anything.<!--more-->\u00a0This is the practice in natural language that\u00a0one name\u00a0refers to a multiplicity of entities. When applied to persons, this means that we use one name to refer to a &#8220;person&#8221; who is, in reality,\u00a0a constantly changing\u00a0entity from childhood to old age.\u00a0 (We cannot even specify, &#8220;this person at x instant&#8221; because\u00a0the instant cannot be precisely specified, and by the time of the specification, even that specious instant is gone forever beyond observation.) When applied to numbers this means that the number pi can variously refer to 3.14 or 3.1415 etc, as needed for a particular practical problem, with the rest of the infinite\u00a0series being &#8220;zeroed&#8221;.\u00a0This is similar to the common practice of rounding, though built on a different epistemological foundation.<\/p>\n<p>This was the point of Western confusion about the calculus, as in\u00a0Descartes&#8217; confusion: he thought the infinite series for pi\u00a0must be naively summed. He was right\u00a0that\u00a0physically\u00a0carrying out this\u00a0infinite sum would require an infinite amount of time, which was not available to humans. He was wrong in\u00a0thinking that stopping at any stage was not perfect, hence\u00a0not mathematics: for <em>any<\/em> practical application we will and must stop at some finite stage of precision. So, it is the demand for infinite precision which is mistaken.\u00a0\u00a0This\u00a0persistent\u00a0confusion about math as perfect and infinitely precise\u00a0is what eventually led to the \u00a0formalist solution\u00a0just to postulate that the\u00a0series for pi could be summed metaphysically, which metaphysics\u00a0is\u00a0never needed for any practical purpose.<\/p>\n<p>Third, zeroism brings out the variations in logic, so that the deductive proofs do not constitute certain knowledge, and are of little practical value. The theorems would obviously vary with the logic used. (Even intuitionsists recognized that math would change if proofs by contradiction were abandoned.) Accordingly, the church vision of mathematics as\u00a0\u00a0concerned with proof, and not calculation has to be abandoned. The church focus was on using math to teach reason as a &#8220;universal means of persuasion&#8221;, since after the failure of the Crusades it tried to convert Muslims using &#8220;reason&#8221;.\u00a0\u00a0However, for others, the objective of math\u00a0was (and remains)\u00a0commerce, science and\u00a0technology.<\/p>\n<p><strong>What are the advantages of zeroism over formalism?<\/strong><\/p>\n<p>I have some papers and a monograph forthcoming on the changed pedagogy and its advantage.\u00a0For the time being, you could take a look at my article &#8220;Decolonising math and science education&#8221; at the recent conference on &#8220;Decolonising our universities&#8221;, at\u00a0<a href=\"http:\/\/multiworldindia.org\/wp-content\/uploads\/2009\/12\/C.K.-Raju1.pdf\">http:\/\/multiworldindia.org\/wp-content\/uploads\/2009\/12\/C.K.-Raju1.pdf<\/a>.\u00a0\u00a0The proceedings\u00a0are scheduled to\u00a0the published by\u00a0next month.\u00a0Here is a sample quote from that paper on the pedagogical disadvantages of formalism.<\/p>\n<blockquote><p>&#8220;The disadvantages of the existing (calculus with limits) curriculum are the following. First, limits cannot really be taught correctly even according to formalism, since that would involve teaching formal real numbers and axiomatic set theory. These are regarded as advanced topics, and most students of science and engineering are not exposed to them. While formal real numbers are taught in advanced courses on mathematical analysis, axiomatic set theory is not taught even to mathematicians, except to specialists in logic. Hence, even professors of mathematics in IITs are not familiar with it. The assumption is that some confused and na\u00efve ideas about set theory and real numbers are adequate for most people. On this same assumption, na\u00efve set theory is taught to school children with all sorts of wrong definitions, and that confusion persists with most people for the rest of their lives. One completely fails to see why students should be taught limits in a na\u00efve and confused way when the objective of limits is purportedly to eliminate naivette and confusion! Apparently, this is intended to teach some sort of ritual obeisance to the confusion implanted into the calculus by the West.&#8221;<\/p><\/blockquote>\n<p>Basically the pedagogical difficulties with\u00a0formal math arise because formalism attempts to grasp infinity metaphysically. This metaphysics of infinity gets pushed into math at every level,\u00a0including the natural numbers,\u00a0which are to be understood thorugh Peano&#8217;s axioms, and not computer arithmetic, say.\u00a0This\u00a0metaphysics involves specific beliefs about eternity\/infinity, useful for church rule, but very confusing for most people who have a different metaphysics and correlate numbers with empirical observations.\u00a0\u00a0This\u00a0metaphysics would have to go.<\/p>\n<p>Zeroism makes math easy because it does away with the idea that that manifest\u00a0correlation (as in relating the number 2 to two stones)\u00a0<em>must<\/em> be mediated\u00a0by a\u00a0biased metaphysics of infinity. Briefly, zeroism\u00a0is a realistic epistemology, hence easier.<\/p>\n<p>Accordingly, with zeroism, one can teach natural numbers the natural way they are taught to children, by reference to physical objects. One does not have to unlearn this later. One can teach that the length of a curved line (which Descartes regarded as beyong the human mind) can be easily measured with a flexible string. And one can teach calculus without limits, as I am advocating.<\/p>\n<p>Then there is the more advanced issue about differentiating discontinuous functions in a way which makes physical sense. This means that instead of teaching that physicists and engineers should\u00a0be obedient to mathematicians, we teach mathematicians that their theories are but auxiliary physical theories.<\/p>\n<p>Teaching of math become easy because reference to the empirical is permitted (which is what formalism eliminated, even from the Elements), and the focus is on practical value, not an illusory &#8220;perfection&#8221;\u00a0 based on the\u00a0<em>erroneous<\/em>belief that this &#8220;perfection&#8221;\u00a0is possible through metaphysics. (Proponents of sunyavada vigorously argued about the errors of such idealism.)<\/p>\n<p>Then\u00a0the pedagogy of math must change focus\u00a0to calculation (which is of practical value) as opposed to theorem-proving.\u00a0 From this perspective, theorem-proving only\u00a0indoctrinates people into a particular method of reasoning\u00a0\u00a0(deriving from Naiyayikas, whose syllogisms are known as &#8220;Aristotelian logic&#8221; in the West).\u00a0\u00a0 I call this indoctrination, because India also had\u00a0other methods of reasoning, and because\u00a0the underlying logics\u00a0were different, Naiyayikas and Buddhists could hence not agree despite a thousand years of debate.<\/p>\n<p>At the same time Zeroism cannot be challenged on the grounds of lack of rigor.\u00a0It is an <em>advantage <\/em>that it does not agree with the religiously-biased Western metaphysics which is sought to be made into a universal norm. Zeroism also does not suffer from the same problem of religious bias.\u00a0<\/p>\n<p>\u00a0<\/p>\n<p>\u00a0<\/p>\n<p>\u00a0<\/p>\n<p>\u00a0<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Jay Jolly asked: &#8220;Could you expand more on the the concept of \u201cZeroism\u201das applied in Mathematics?What changes do you foresee in pedagogy of Mathematics if the philosophy is changed from formalism to zeroism?&#8221; First I have a whole chapter on\u00a0zeroism in my book Cultural Foundations of Mathematics (chp. 8 with the subtitle: sunyavada vs formalism). (The editor of a Cambridge journal solicited the book for review, and the reviewer then lied that the book did not contain any philosophy beyond chp. 2 to justify the extraordinary procedure of reviewing only 2 chapters of the book. This is in the long Western tradition of suppressing and defaming\u00a0opposing viewpoints when unable to counter them.\u00a0Even today,\u00a0Western universities don&#8217;t teach non-Western philosophy presumably just because they are afraid this would damage their own philosophy\u00a0built on the weak foundations of theology.) What is zeroism? There are three aspects of zeroism which are relevant.\u00a0First,\u00a0zeroism regards\u00a0the empirical (though fallible)\u00a0as an appropriate\u00a0means of proof,\u00a0superior to\u00a0any metaphysics. (This is contrary to formalism which is wholly metaphysical, and regards its particular\u00a0metaphysics as superior to both physics and all other systems of metaphysics.)\u00a0\u00a0Zeroism accepts fallibility, as in the fallibility of science. Second\u00a0zeroism accepts the impossibility of &#8220;perfect&#8221; or precise represenation of anything.<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2,3],"tags":[],"class_list":["post-59","post","type-post","status-publish","format-standard","hentry","category-education","category-history-and-philosophy-of-mathematics"],"_links":{"self":[{"href":"https:\/\/ckraju.net\/wordpress_F\/index.php?rest_route=\/wp\/v2\/posts\/59","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ckraju.net\/wordpress_F\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/ckraju.net\/wordpress_F\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/ckraju.net\/wordpress_F\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/ckraju.net\/wordpress_F\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=59"}],"version-history":[{"count":0,"href":"https:\/\/ckraju.net\/wordpress_F\/index.php?rest_route=\/wp\/v2\/posts\/59\/revisions"}],"wp:attachment":[{"href":"https:\/\/ckraju.net\/wordpress_F\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=59"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/ckraju.net\/wordpress_F\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=59"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/ckraju.net\/wordpress_F\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=59"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}