{"id":720,"date":"2008-12-24T13:16:28","date_gmt":"2008-12-24T13:16:28","guid":{"rendered":"http:\/\/scientopia.org\/blogs\/goodmath\/2008\/12\/24\/zero-classic-repost\/"},"modified":"2008-12-24T13:16:28","modified_gmt":"2008-12-24T13:16:28","slug":"zero-classic-repost","status":"publish","type":"post","link":"http:\/\/www.goodmath.org\/blog\/2008\/12\/24\/zero-classic-repost\/","title":{"rendered":"Zero (classic repost)"},"content":{"rendered":"<p> This post originally came about as a result of the first time I participated in a DonorsChoose fundraiser.  I offered to write articles on requested topics for anyone who donated above a certain amount. I only had one taker, who asked for an article about zero. I was initially a bit taken aback by the request &#8211; what could I write about <em>zero<\/em>? This article which resulted from it ended up turning out to be one of the all-time reader-favorites for this blog!<\/p>\n<p><!--more--><\/p>\n<h3>History<\/h3>\n<p>We&#8217;ll start with a bit of history. Yes, there&#8217;s an actual history to zero!<\/p>\n<p> Early number systems had no concept of zero. Numbers really started out as very practical tools, primarily for measuring quantity. They were used to ask questions like &#8220;How much grain do we have stored away? If we eat this much now, will we have enough to plant crops next season?&#8221; In that context, a &#8220;measurement&#8221;&#8221; of zero doesn&#8217;t really mean much; even when math is applied to measurements in modern math, leading zeros in a number &#8211; even if they&#8217;re <em>measured<\/em> &#8211; don&#8217;t count as significant digits in the measurement. (So if I&#8217;m measuring some rocks, and one weighs 99 grams, then that measurement has only two significant digits. If I use the same scale to weigh a very slightly larger rock, and it weighs 101 grams, then my measurement of the second rock has *three* significant digits. The leading zeros don&#8217;t count!) <\/p>\n<p> Aristotle is pretty typical of the reasoning behind why zero wasn&#8217;t part of most early number systems &#8211; he connected the ideas of zero and infinity, and considered them nothing more than pure <em>ideas<\/em> related to numbers, but not actual numbers themselves. After all, you can&#8217;t really <em>have<\/em> 0 of anything; zero of something isn&#8217;t <em>anything<\/em>: you <em>don&#8217;t have<\/em> any quantity of stuff. And by Aristotle&#8217;s reasoning, zero had another property in common with infinity &#8211; you can&#8217;t ever really <em>get to<\/em> zero as he understood it. If numbers are quantity, then you can start with one of something. Then you can cut it in half, and you&#8217;ll have half. Cut that in half, you&#8217;ll have a quarter. Keep going &#8211; and you can cut stuff in half forever. You&#8217;ll get closer and closer to the concept represented by zero, but you&#8217;ll never actually get there.<\/p>\n<p> The first number system that we know of to have any notion of zero is the babylonians; but they still didn&#8217;t really quite treat it as a genuine number. They had a base-60 number system, and for digit-places that didn&#8217;t have a number, they left a space: the space was the zero. (They later adopted a placeholder that looked something like &#8220;\/\/&#8221;.) It was never used <em>by itself<\/em>; it just kept the space open to show that there was nothing there. And if the last digit was zero, there was no indication. So, for example, 2 and 120 looked exactly the same &#8211; you needed to look at the context to see which it was.<\/p>\n<p> The first real zero came from an Indian mathematician named Brahmagupta in the 7th century. He was quite a fascinating guy: he didn&#8217;t just invent zero, but arguably he also invented the idea of negative numbers and algebra! He was the first to use zero as a real number, and work out a set of algebraic rules about how zero, positive, and negative numbers worked. The formulation he worked out is very interesting; he allowed zero as a numerator or a denominator in a fraction.<\/p>\n<p> From Brahmagupta, zero spread both east (to the Arabs) and west (to the Chinese and Vietnamese.) Europeans were just about the last to get it; they were so attached to their wonderful roman numerals that it took quite a while to penetrate: zero didn&#8217;t make the grade in Europe until about the 13th century, when Fibonacci (he of the series) translated the works of a Persian mathematican named al-Khwarizmi (from whose name sprung the word &#8220;algorithm&#8221; for a mathematical procedure). As a result, Europeans called the new number system &#8220;arabic&#8221;, and credited it to the arabs; but as I said above, the arabs didn&#8217;t create it; it originally came from India. (But the Arabic scholars, including the famous poet Omar Khayyam, are the ones who adopted Brahmagupta&#8217;s notions <em>and extended them<\/em> to include complex numbers.<\/p>\n<h3> Why is zero strange? <\/h3>\n<p> Even now, when we recognize zero as a number, it&#8217;s an annoyingly difficult one. It&#8217;s neither positive nor negative; it&#8217;s neither prime nor compound. If you include it in the set of real numbers, then they&#8217;re not a group &#8211; even though the concept of group is built on multiplication! It&#8217;s not a unit; and it breaks the closure of real numbers in algebra. It&#8217;s a real obnoxious bugger in a lot of ways. One thing Aristotle was right about: zero is a kind of counterpart to infinity: a concept, not a quantity. But infinity, we can generally ignore in our daily lives. Zero, we&#8217;re stuck with.<\/p>\n<p> Still, it&#8217;s there, and it&#8217;s a real, inescapable part of our entire concept of numbers. It&#8217;s just an oddball &#8211; the dividing line that breaks a lot of rules. But without it, a lot of rules fall apart. Addition isn&#8217;t a group without 0. Addition and subtraction aren&#8217;t closed without zero.<\/p>\n<p> Our notation for numbers is also totally dependent on zero; and it&#8217;s hugely important to making a polynomial number system work. To get an idea of how valuable it is, just wait &#8217;till later this week, when I&#8217;ll be re-posting an article about multiplication in roman numerals &#8211; multiplication is vastly easier in the decimal system with zero!<\/p>\n<p>Because of the strangeness of zero, people make a lot of mistakes involving it.<\/p>\n<p> For example, there&#8217;s one of my big pet peeves: based on that idea of zero and infinities are relatives, a lot of people believe that 1\/0=infinity. It doesn&#8217;t. 1\/0 doesn&#8217;t equal <em>anything<\/em>; it&#8217;s meaningless. You <em>can&#8217;t<\/em> divide by 0. The intuition behind this fact comes from the Aristotelean idea about zero: concept, not quantity. Division is a concept based on quantity: Asking &#8220;What is x divided by y&#8221; is asking &#8220;What quantity of stuff is the right size so that if I take Y of it, I&#8217;ll get X?&#8221; <\/p>\n<p>So: what quantity of apples can I take 0 of to get 1 apple? The question makes no sense; and that&#8217;s exactly right: it <em>shouldn&#8217;t<\/em> make sense, because dividing by zero makes no sense: <em>it&#8217;s meaningless<\/em><\/p>\n<p>.<\/p>\n<p> Zero is also at the root of a lot of silly mathematical puzzles and tricks. For example, there&#8217;s a cute little algebraic pun that can show that 1 = 2, which is based on hiding a division by zero.<\/p>\n<ol>\n<li> Start with &#8220;x = y&#8221;.<\/li>\n<li> Multiply both sides by x: &#8220;x<sup>2<\/sup> = xy&#8221;.<\/li>\n<li> Subtract &#8220;y<sup>2<\/sup>&#8221; from both sides: &#8220;&#8221;x<sup>2<\/sup> &#8211; y<sup>2<\/sup> = xy &#8211; y<sup>2<\/sup>&#8220;.<\/li>\n<li> Factor: &#8220;(x+y)(x-y) = y(x-y)&#8221;.<\/li>\n<li> Divide both sides by the common factor &#8220;x-y&#8221;: &#8220;x + y = y&#8221;.<\/li>\n<li> Since x=y, we can substitute y for x: &#8220;y + y = y&#8221;.<\/li>\n<li> Simplify: &#8220;2y=y&#8221;.<\/li>\n<li>Divide both sides by y: &#8220;2 = 1&#8221;.<\/li>\n<\/ol>\n<p> The problem, of course, is step 5: x-y = 0, so step five is dividing by zero. Since that&#8217;s a meaningless thing to do, everything based on getting a meaningful result from that step is wrong &#8211; and so we get to &#8220;prove&#8221; false facts.<\/p>\n<p> Anyway, if you&#8217;re interested in reading more, the best source of information that I&#8217;ve found is an online article called <a href=\"http:\/\/home.ubalt.edu\/ntsbarsh\/zero\/ZERO.HTM\">&#8220;The Zero Saga&#8221;<\/a>. It covers not just a bit of history and random chit-chat like this article, but a detailed presentation of everything you could ever want to know, from the linguistics of words meaning zero or nothing to cultural impacts of the concept, to detailed mathematical explanation of how zero fits into algebras and topologies.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>This post originally came about as a result of the first time I participated in a DonorsChoose fundraiser. I offered to write articles on requested topics for anyone who donated above a certain amount. I only had one taker, who asked for an article about zero. I was initially a bit taken aback by the [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[13,43],"tags":[],"class_list":["post-720","post","type-post","status-publish","format-standard","hentry","category-classics","category-numbers"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p4lzZS-bC","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/720","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/comments?post=720"}],"version-history":[{"count":0,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/720\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/media?parent=720"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/categories?post=720"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/tags?post=720"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}