{"id":832,"date":"2009-12-07T13:21:11","date_gmt":"2009-12-07T13:21:11","guid":{"rendered":"http:\/\/scientopia.org\/blogs\/goodmath\/2009\/12\/07\/what-is-math\/"},"modified":"2009-12-07T13:21:11","modified_gmt":"2009-12-07T13:21:11","slug":"what-is-math","status":"publish","type":"post","link":"http:\/\/www.goodmath.org\/blog\/2009\/12\/07\/what-is-math\/","title":{"rendered":"What is math?"},"content":{"rendered":"<p><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/scientopia.org\/img-archive\/goodmath\/img_411.jpeg?resize=72%2C130\" width=\"72\" height=\"130\" alt=\"File:Braque.woman.400pix.jpeg\" class=\"inset right\" \/><\/p>\n<p> I&#8217;ve got a bunch of stuff queued up to be posted over the next couple of days. It&#8217;s<br \/>\nbeen the sort of week where I&#8217;ve gotten lots of interesting links from<br \/>\nreaders, but I haven&#8217;t had time to finish anything!<\/p>\n<p> I thought I&#8217;d start off with something short but positive. A reader sent<br \/>\nme a link to <a href=\"http:\/\/www.reddit.com\/r\/AskReddit\/comments\/abiax\/can_someone_explain_mathematics_to_me\/\">a post on Reddit<\/a>, with the following question:<\/p>\n<blockquote><p>\nThroughout elementary and high school, I got awful marks in math. I always<br \/>\nassumed I was just stupid in that way, which is perfectly possible. I also<br \/>\nhated my teacher, so that didn&#8217;t help. A friend of mine got his PhD in math<br \/>\nfrom Harvard before he was 25 (he is in his 40&#8217;s now) I was surprised the<br \/>\nother week when I learned he isn&#8217;t particularly good at basic arithmetic etc.<br \/>\nHe said that&#8217;s not really what math is about. So my question is really for<br \/>\nmath fans\/pros. What is math, really? I hear people throwing around phrases<br \/>\nlike &#8220;elegant&#8221; and &#8220;artistic&#8221; regarding math. I don&#8217;t understand how this can<br \/>\nbe. To me, math is add, subtract, etc. It is purely functional. Is there<br \/>\nsomething you can compare it to so that I can understand?\n<\/p><\/blockquote>\n<p> This hits on one of my personal pet peeves. Math really is a beautiful<br \/>\nthing, but the way that math is <em>taught<\/em> turns it into something<br \/>\nmechanistic, difficult, and boring. The person who posted this question<br \/>\nis a typical example of a victim of lousy math education. <\/p>\n<p> So what is math? It&#8217;s really a great question, and not particularly<br \/>\nan easy one to answer.<\/p>\n<p><!--more--><\/p>\n<p> You&#8217;ll get lots of different answers depending on just who you<br \/>\nask. It&#8217;s a big enough thing that you can describe it in a lot of<br \/>\ndifferent ways, depending on your perspective. I&#8217;m going to give<br \/>\nmy own, and you can pipe in with your own in the comments.<\/p>\n<p> To me, math is the study of how to create, manipulate, and understand<br \/>\nabstract structures. I&#8217;ll pick that apart a bit more to make it more<br \/>\ncomprehensible, but to me, abstract structures are the heart of it. Math<br \/>\n<em>can<\/em> work with numbers: the various different sets of numbers are<br \/>\nexamples of <em>one<\/em> of the kinds of abstract structures that we can work<br \/>\nwith. But math is so much more than <em>just<\/em> numbers. It&#8217;s numbers, and<br \/>\nsets, and categories, and topologies, and graphs, and much, much more.<\/p>\n<p> What math does is give us a set of tools for describing virtually<br \/>\n<em>anything<\/em> with structure to it. It does it through a process<br \/>\nof <em>abstraction<\/em>. Abstraction is a way of taking something<br \/>\ncomplicated, focusing in on one or two aspects of it, and eliminating<br \/>\neverything else, so that we can really understand what those one<br \/>\nor two things <em>really<\/em> mean.<\/p>\n<p> For example, look at topology. Topology is basically a way of<br \/>\nunderstanding shapes. But it does it in a completely abstract way. It throws<br \/>\naway everything except the concept of <em>closeness<\/em>. You have a<br \/>\ncollection of points, and you&#8217;ve got a concept of things that are<br \/>\n<em>close<\/em> to one another, defined in terms of <em>neighborhoods<\/em>. By<br \/>\nplaying with different notions of what things are close to each other, you can<br \/>\ncreate any shape you can imagine, and some that you probably can&#8217;t. But you<br \/>\ndon&#8217;t really need numbers at all: you can just create and play with shapes in<br \/>\ntopology &#8211; as long as you&#8217;ve got the set of points, and you&#8217;ve got set<br \/>\nrelations, you can figure out what it really means for something to be a<br \/>\ntorus. You can see what&#8217;s really strange about a moebius strip. You can<br \/>\ntake the moebius strip, and add a dimension to it, and see exactly how you<br \/>\nproduce a klein bottle. <\/p>\n<p> For another example, look at category theory. It&#8217;s a way of understanding<br \/>\nfunction. What&#8217;s a function? At it&#8217;s core it&#8217;s a <em>mapping<\/em> from one<br \/>\nthing to another. But what does that really mean? What can you <em>do<\/em><br \/>\nwith that basic idea? What can you <em>make<\/em> with it? The answer is:<br \/>\nvirtually anything you can imagine. <\/p>\n<p> But math is more even than just those abstract things. Why does music<br \/>\nsound good to us? Because it&#8217;s got an underlying structure. That structure<br \/>\ncan be described mathematically. Personally, I&#8217;m a huge Bach fan. I believe<br \/>\nthat he was the greatest composer of music that ever lived. His music<br \/>\nis magnificently beautiful, and incredibly moving. But to really understand<br \/>\nit, to really grasp all of what he was doing in his music, you need to understand<br \/>\nthat it&#8217;s structure on structure on structure on structure. That structure<br \/>\nis mathematical. If you&#8217;re really understanding the structure of Bachs music &#8211;<br \/>\nif you sit down and analyze it, <em>you&#8217;re doing math<\/em><\/p>\n<p> When you look at a cubist painting, you&#8217;re looking at a strange kind of<br \/>\nprojection of something. The artist has taken the subject of the painting<br \/>\napart, viewed it from different perspectives, different points of views,<br \/>\ndifferent ways of understanding it or seeing it, and assembled them together<br \/>\ninto a single image. When you look at a cubist painting, and try to understand<br \/>\nwhat the artist was seeing, how they were seeing it, and how the pieces<br \/>\nof the final image really fit together &#8211; <em>you&#8217;re doing math<\/em>.<\/p>\n<p> When a scientist tries to analyze something about the world, to understand<br \/>\nhow it works, and describe it in a way that tells us something important about<br \/>\nhow things behave &#8211; they&#8217;re doing math. They&#8217;re <em>abstracting<\/em> the<br \/>\nworld to come up with a precise, formal, descriptive way of stating what<br \/>\nthey&#8217;ve learned. <\/p>\n<p> When you look at a road map, and figure out how to get from one place to<br \/>\nanother &#8211; you&#8217;re doing math. The map is an <em>abstract<\/em> representation of<br \/>\nthe world that allows you to do certain useful things with it. (And frankly,<br \/>\nthis is one example that I&#8217;ve never been able to understand. I can&#8217;t read<br \/>\nmaps. Quite literally a bit o&#8217; brain damage &#8211; some scar tissue in the left<br \/>\nfrontal lobe of my brain.)<\/p>\n<p> When a jazz musician improvises, part of what they&#8217;re doing is<br \/>\nmath. For an improvisation to make sense, for it to sound good, and fit<br \/>\nwith what&#8217;s going on around it, there are a set of constraints on it:<br \/>\non pitches, pitch progressions, rhythm, chords. Those are all abstract<br \/>\nproperties of the music, which are mathematical!<\/p>\n<p> Math is unavoidable. It&#8217;s a deeply fundamental thing. Without math,<br \/>\nthere would be no science, no music, no art. Math is part of all of those<br \/>\nthings. If it&#8217;s got structure, then there&#8217;s an aspect of it that&#8217;s<br \/>\nmathematical.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>I&#8217;ve got a bunch of stuff queued up to be posted over the next couple of days. It&#8217;s been the sort of week where I&#8217;ve gotten lots of interesting links from readers, but I haven&#8217;t had time to finish anything! I thought I&#8217;d start off with something short but positive. A reader sent me a [&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":[74,24],"tags":[],"class_list":["post-832","post","type-post","status-publish","format-standard","hentry","category-basics","category-goodmath"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p4lzZS-dq","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/832","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=832"}],"version-history":[{"count":0,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/832\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/media?parent=832"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/categories?post=832"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/tags?post=832"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}