{"id":37,"date":"2016-09-22T13:44:27","date_gmt":"2016-09-22T19:44:27","guid":{"rendered":"http:\/\/mathematicalimpossibilities.localgameslab.org\/2016\/?page_id=37"},"modified":"2016-09-22T13:44:27","modified_gmt":"2016-09-22T19:44:27","slug":"you-cant-take-7-away-from-5-or-the-square-root-of-1","status":"publish","type":"page","link":"https:\/\/mathematicalimpossibilities.localgameslab.org\/2016\/you-cant-take-7-away-from-5-or-the-square-root-of-1\/","title":{"rendered":"You can&#8217;t take 7 away from 5 or the square root of -1"},"content":{"rendered":"<p>Chapter 2 in Yearning.<br \/>\n<strong>Prelude<\/strong><br \/>\n<strong>Warmup<\/strong> <em>What is <span class=\"math\">$-5\\times -7$<\/span>? Why is that so?<\/em><\/p>\n<p><em>What kinds of numbers do you know about? What distinguishes them from one another? Do they exist? What warrants their being called numbers?<\/em><\/p>\n<p><strong>Blog post<\/strong><br \/>\n<strong>Existence &#8211; Mathematical and Otherwise<\/strong><\/p>\n<p><img decoding=\"async\" id=\"unicornsexist\" style=\"height: 200px;\" src=\"http:\/\/static.giantbomb.com\/uploads\/original\/1\/17172\/1419618-unicorn2.jpg\" alt=\"Unicorns exist!\" align=\"left\" \/> In class, we talked about existence of certain numbers. We noticed that with <span class=\"math\">$-3, \\sqrt 2, i$<\/span> they all seem to lie in different places for people in a spectrum of reality. We also talked about how something everyone agreed was unreal, unicorns, was nonetheless not-nonsense in a very strong way. The way in which we can agree on what a unicorn is even though we\u2019ve never seen one is called inter-subjective agreement. In some ways this is similar to an objective fact, but we know that the reliability of this concept comes from our agreement to agree about what it is.<\/p>\n<p>There\u2019s a brief chapter about this idea, \u201cMathematical Objects and Structures: Existence\u201d in <em>The Mathematical Experience<\/em>. It\u2019s where I got the idea for the unicorn.<\/p>\n<p>As we continue to discuss <em>existence<\/em> let\u2019s try to keep in mind a few things. The first is that this should be a playful space for everyone in the room. We have already seen that different things feel to different people. So let\u2019s not push so hard on how we feel about someone who doesn\u2019t believe what we do. Besides leading to antagonism, which is our chief enemy in trying to talk math with one another, it misses the main point I want everyone to see about existence &#8211; it is not a simple dichotomy. Existence of one thing or idea can often hinge on others, or on hidden assumptions, value systems, or epistemologies (assumptions about <em>how<\/em> we can know stuff). These are rarely articulated openly, but by asking the right questions we can see how existence of certain things depend on them.<\/p>\n<p>Math is a fun place to talk about existence if we give it a chance. Part of this is because the ideas of the things in question are synonymous with the things themselves (or are they?) &#8211; we don\u2019t really need the messy world to intervene, and yet these ideas are not exactly fiction either. Although unicorns and real numbers might seem to be real in a similar way, zombies are an example from fiction that doesn\u2019t feel like math: in every movie or book, zombies have variable properties. Are they fast or slow? Do you get infected from bites or blood? Do they hop like bunnies? Can they act collectively? We can say that real numbers do not exist, but if we grant them existence we can\u2019t choose for them to be countable.<\/p>\n<p>Even though I claim that existence is not a light switch, either on or off, I do think we all have a gut feeling about these things that does take sides and is worth noting before we go further. Sometimes an ability to acknowledge other perspectives is to first acknowledge your own as <em>a<\/em> perspective. Then we can see where these perspectives come from and how they can change. Even with the negative numbers, which everyone felt to be real on a gut level, there was a time in each of your lives that this was not true. And as we\u2019ll see from Chapter 2 in Stillwell, it was not too long ago that this was the case for mathematicians.<\/p>\n<p>One way in which we are often willing to grant reality to something is when it has \u201cpractical consequences\u201d or a \u201creal world application\u201d. This is an important source of reality, but we should be careful; it is not self explanatory. In many ways, these reasons are their own questions. For example:<\/p>\n<ul>\n<li>Commerce and the concept of owing someone money has existed for millenia. It has been around for so long, no one really knows when it first came about. Today, we think about it as an obvious model and application for negative numbers. If it alone was what made the negative numbers real, shouldn\u2019t we have had them much sooner?<\/li>\n<li>We would probably agree that zombies are not real, yet they have many \u201creal world applications\u201d. What were the box office receipts for World War Z last year?<\/li>\n<\/ul>\n<p>By interrogating this concept, we may arrive at a more general substitute \u2014 the reality of a thing is described by the value it holds or the work it does within a social system. Within the entertainment business, the reality of zombies is guaranteed, while we still do not expect the CDC to be on watch for a zombitus outbreak. For a mathematician, <span class=\"math\">$i$<\/span> is a simple, concrete number. Every bit as real as 2. For the random person we stop on the street, we would not expect them to feel the same way, partly because they likely don\u2019t have much care about the solution of polynomial equations or unifying concepts of analysis.<\/p>\n<p>Finally, the point of opening things up a bit isn\u2019t a bland relativism &#8211; everybody thinks something different and that\u2019s okay! These social realms are not typically isolated from one another or rigidly defined in terms of their members or prinicples. Ideas become stronger when they have use in more systems, and new uses are invented all the time. We learn more when we consider ideas from different perspectives, value systems, uses, and epistemologies. Just because that random person walking down the street doesn\u2019t think of <span class=\"math\">$i$<\/span> as something real doesn\u2019t mean there\u2019s nothing to gain.<\/p>\n<p>So let\u2019s keep an eye on <span class=\"math\">$-3, i, \\sqrt 2, \\aleph_0$<\/span> and what about <span class=\"math\">$\\pi, e,$<\/span>, or even <span class=\"math\">$3$<\/span>? Soon enough we\u2019ll have new numbers too, probably no one in class has heard of at least some of them: the hyperreals, p-adic numbers, quaternions.<\/p>\n<p><strong>Warmup<\/strong><\/p>\n<blockquote><p>we saw why the numbers <span class=\"math\">$1, 2,3,\\ldots$<\/span> , used for counting and basic arithmetic, do not meet all the needs of geometry. To measure line segments we need irrational numbers such as <span class=\"math\">$\\sqrt 2$<\/span>, and indeed a continuous sequence of numbers that fill the spaces between <span class=\"math\">$1, 2,3,\\ldots$<\/span> with something like a line itself. We get a full line, called the real number line <span class=\"math\">$\\Bbb R$<\/span>,<br \/>\nby extending the continuous sequence of numbers backward through <span class=\"math\">$0, -1,-2, -3,\\ldots$<\/span>, thus balancing each positive number <span class=\"math\">$x$<\/span> with its negative, <span class=\"math\">$-x$<\/span>.<\/p><\/blockquote>\n<p><em>In the above passage, what is the warrant?<\/em><\/p>\n<p>On p. 27 Stillwell gives an example of how people might not actually use the distributive property in practice. This brings up a question about the differences between how things are supposed to work and how they actually work. I am reminded of grammar rules. Until I took a Linguistics course in college, I always thought of language like English teachers do. There\u2019s the correct way and the wrong way. If you\u2019re not saying something correctly, you\u2019re making a mistake. Linguists have a different perspective though. English to them isn\u2019t what\u2019s in Strunk and White &#8211; a manual of style &#8211; but rather a natural phenomenon. To understand its grammar, they look at how its actually spoken, not how it <em>should<\/em> be. Similarly, Jean Lave thought to actually take a look at how people really do math (basic arithmetic) in the world.<\/p>\n<p><strong>Research<\/strong> <em>Read\u00a0some part of Cognition in Practice. How does it change how you think about how people do math?<\/em><\/p>\n<p>Stillwell gives us 1585 as the first use he knows of the multiplication of negative numbers, but not until 1830 was this act common. He also says that negative numbers are familiar to anyone who has handled money, presumedly dating the existence of negative numbers far back into history.<\/p>\n<p><strong>Recall<\/strong> <em>What is the relevance of the problem <span class=\"math\">$(8-5)(9-7)$<\/span> for the development of negative numbers?<\/em><\/p>\n<p><strong>Reflect<\/strong> <em>Find some of the details to this story. How does it contradict our usual sense of applying math to the world? Make an explicit statement about how you imagine math is usually developed in the world.<\/em><\/p>\n<p><strong>Reflect<\/strong> <em>Unlike some other mathematical achievements in history, negative numbers seem almost obvious. There was no genius who saw farther than the rest of humanity. Why did it take so long for arithmetic with negative numbers to really happen?<\/em><\/p>\n<p><strong>Warmup<\/strong> <em>Solve <span class=\"math\">$ax^2+bx+c=0$<\/span> by completing the square visually and by symbol manipulation.<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Chapter 2 in Yearning. Prelude Warmup What is $-5\\times -7$? Why is that so? What kinds of numbers do you know about? What distinguishes them from one another? Do they exist? What warrants their being called numbers? Blog post Existence &#8211; Mathematical and Otherwise In class, we talked about existence of certain numbers. We noticed &hellip; <a href=\"https:\/\/mathematicalimpossibilities.localgameslab.org\/2016\/you-cant-take-7-away-from-5-or-the-square-root-of-1\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;You can&#8217;t take 7 away from 5 or the square root of -1&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-37","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/mathematicalimpossibilities.localgameslab.org\/2016\/wp-json\/wp\/v2\/pages\/37","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mathematicalimpossibilities.localgameslab.org\/2016\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/mathematicalimpossibilities.localgameslab.org\/2016\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/mathematicalimpossibilities.localgameslab.org\/2016\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/mathematicalimpossibilities.localgameslab.org\/2016\/wp-json\/wp\/v2\/comments?post=37"}],"version-history":[{"count":3,"href":"https:\/\/mathematicalimpossibilities.localgameslab.org\/2016\/wp-json\/wp\/v2\/pages\/37\/revisions"}],"predecessor-version":[{"id":62,"href":"https:\/\/mathematicalimpossibilities.localgameslab.org\/2016\/wp-json\/wp\/v2\/pages\/37\/revisions\/62"}],"wp:attachment":[{"href":"https:\/\/mathematicalimpossibilities.localgameslab.org\/2016\/wp-json\/wp\/v2\/media?parent=37"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}