{"id":1646,"date":"2015-12-21T18:48:16","date_gmt":"2015-12-22T00:48:16","guid":{"rendered":"http:\/\/blogs.ams.org\/blogonmathblogs\/?p=1646"},"modified":"2015-12-21T18:48:16","modified_gmt":"2015-12-22T00:48:16","slug":"mind-blowing-math-reminiscence","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/blogonmathblogs\/2015\/12\/21\/mind-blowing-math-reminiscence\/","title":{"rendered":"Diagonalization and Other Mathematical Wonders"},"content":{"rendered":"<p class=\"p1\"><span class=\"s1\">It\u2019s only a slight exaggeration to say I\u2019m a mathematician because of Cantor\u2019s diagonalization arguments (both the proof that the rationals are countable and the proof that the reals aren\u2019t). I was already enjoying my intro to proofs class when we got to it, but it was the first theorem in the class (or in math generally) that truly astonished me.\u00a0<\/span><\/p>\n<div id=\"attachment_1648\" style=\"width: 241px\" class=\"wp-caption aligncenter\"><a href=\"https:\/\/commons.wikimedia.org\/wiki\/File:Diagonal_argument_01_svg.svg\"><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-1648\" class=\"wp-image-1648 size-medium\" src=\"https:\/\/i0.wp.com\/blogs.ams.org\/blogonmathblogs\/files\/2015\/12\/Diagonal_argument_01_svg.svg_.png?resize=231%2C300\" alt=\"In a highly scientific survey of all the mathematicians who live in my house, diagonalization made a strong showing as mind-blowing math. Image: Jochen Burghardt, via Wikimedia Commons.\" width=\"231\" height=\"300\" srcset=\"https:\/\/i0.wp.com\/blogs.ams.org\/blogonmathblogs\/files\/2015\/12\/Diagonal_argument_01_svg.svg_.png?resize=231%2C300&amp;ssl=1 231w, https:\/\/i0.wp.com\/blogs.ams.org\/blogonmathblogs\/files\/2015\/12\/Diagonal_argument_01_svg.svg_.png?w=369&amp;ssl=1 369w\" sizes=\"auto, (max-width: 231px) 100vw, 231px\" \/><\/a><p id=\"caption-attachment-1648\" class=\"wp-caption-text\">In a highly scientific survey of all the mathematicians who live in my house about mind-blowing\u00a0mathematics, diagonalization made a strong showing. Image: Jochen Burghardt, via Wikimedia Commons.<\/p><\/div>\n<p class=\"p1\"><span class=\"s2\"><a href=\"https:\/\/mikesmathpage.wordpress.com\/\">Mike Lawler<\/a><\/span><span class=\"s1\"> recently wrote a post about <a href=\"https:\/\/mikesmathpage.wordpress.com\/2015\/12\/18\/math-that-made-me-go-whoa-in-college\/\"><span class=\"s2\">math that made him go whoa!<\/span><\/a> that links to a recent <a href=\"https:\/\/www.reddit.com\/r\/math\/comments\/3wigag\/what_thing_in_math_made_you_sit_down_and_go_whoa\/\"><span class=\"s2\">Reddit thread on the same subject<\/span><\/a>. Lawler\u2019s list includes the residue theorem and Galois theory along with Polya\u2019s theory of counting, a topic I was unfamiliar with. Unsurprisingly, <a href=\"https:\/\/www.reddit.com\/r\/math\/comments\/3wigag\/what_thing_in_math_made_you_sit_down_and_go_whoa\/cxwfmv0\"><span class=\"s2\">I am not alone<\/span><\/a> in being astonished by the diagonalization argument, but people love a lot of other mathematics as well.<\/span><\/p>\n<p class=\"p1\"><span class=\"s1\">If you\u2019re feeling a little blah after a long semester and months of dwindling\u00a0daylight (Southern Hemisphere-dwellers, just imagine you\u2019re reading this in six months), a trip through that Reddit thread might cheer you up. It\u2019s got some of the greatest hits of undergraduate math and a good dose of heavier research math to boot. (Incidentally, maybe I need to bite the bullet and read the<a href=\"https:\/\/www.reddit.com\/r\/math\/comments\/3wigag\/what_thing_in_math_made_you_sit_down_and_go_whoa\/cxwimh4\"><span class=\"s2\"> proof of the Riemann-Roch theorem in Hartshorne<\/span><\/a>, which comes highly recommended by at least one Redditor.)<\/span><\/p>\n<p class=\"p1\"><span class=\"s1\">Reading through other people\u2019s top mathematical moments naturally led me to reflect on my favorite bits of mathematics. I was a late mathematical bloomer. Not a lot of math really blew my mind in college because my attitude at the time tended towards the\u00a0utilitarian. Diagonalization notwithstanding, I didn\u2019t often appreciate the beauty of what I was learning or even know that I should be surprised by it. As time passes, I gain more and more respect for many ideas in math, even ones I\u2019ve been familiar with for years. <\/span><\/p>\n<p class=\"p1\"><span class=\"s1\">For me, teaching complex analysis this semester was refreshing. Revisiting the basic material and really feeling like I understood how all the pieces fit together was gratifying. I have never appreciated the <a href=\"https:\/\/en.wikipedia.org\/wiki\/Cauchy%27s_integral_formula\">Cauchy integral formula<\/a> more. Another recent time I really felt like I had a new appreciation for a theorem came last semester, when I was teaching undergraduate geometry and topology. The <a href=\"https:\/\/en.wikipedia.org\/wiki\/Gauss%E2%80%93Bonnet_theorem\">Gauss-Bonnet<\/a> theorem seemed to tumble from the classification of surfaces in a way that felt so much more natural to me than it had when I first learned it.<\/span><\/p>\n<p class=\"p1\"><span class=\"s1\">Finally, I can\u2019t reminisce about mind-blowing math without pointing to my favorite piece of mathematics communication of the year, and SMBC comic about Kempner series. (<a href=\"http:\/\/www.forbes.com\/sites\/kevinknudson\/2015\/11\/20\/harmonic-convergence-adding-up-reciprocals\/\"><span class=\"s2\">Kevin Knudson\u2019s Forbes post<\/span><\/a>\u00a0on the topic is fun, too, although it doesn\u2019t use the word \u201cballs\u201d as many times.)<\/span><\/p>\n<div id=\"attachment_1647\" style=\"width: 694px\" class=\"wp-caption aligncenter\"><a href=\"http:\/\/smbc-comics.com\/index.php?id=3777\"><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-1647\" class=\"size-full wp-image-1647\" src=\"https:\/\/i0.wp.com\/blogs.ams.org\/blogonmathblogs\/files\/2015\/12\/harmonic-series.png?resize=640%2C860\" alt=\"Image: Zach Weinersmith, SMBC Comics.\" width=\"640\" height=\"860\" srcset=\"https:\/\/i0.wp.com\/blogs.ams.org\/blogonmathblogs\/files\/2015\/12\/harmonic-series.png?w=684&amp;ssl=1 684w, https:\/\/i0.wp.com\/blogs.ams.org\/blogonmathblogs\/files\/2015\/12\/harmonic-series.png?resize=223%2C300&amp;ssl=1 223w\" sizes=\"auto, (max-width: 640px) 100vw, 640px\" \/><\/a><p id=\"caption-attachment-1647\" class=\"wp-caption-text\">Image: Zach Weinersmith, SMBC Comics.<\/p><\/div>\n<p class=\"p1\"><span class=\"s1\">When was the last time math made you say \u201cWhat the balls?!\u201d<\/span><\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" ><\/div>","protected":false},"excerpt":{"rendered":"<p>It\u2019s only a slight exaggeration to say I\u2019m a mathematician because of Cantor\u2019s diagonalization arguments (both the proof that the rationals are countable and the proof that the reals aren\u2019t). I was already enjoying my intro to proofs class when &hellip; <a href=\"https:\/\/blogs.ams.org\/blogonmathblogs\/2015\/12\/21\/mind-blowing-math-reminiscence\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" data-url=https:\/\/blogs.ams.org\/blogonmathblogs\/2015\/12\/21\/mind-blowing-math-reminiscence\/><\/div>\n","protected":false},"author":61,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[372],"tags":[508,510,512,511,509],"class_list":["post-1646","post","type-post","status-publish","format-standard","hentry","category-math-communication","tag-diagonalization","tag-kevin-knudson","tag-mike-lawler","tag-nostalgia","tag-smbc-comics"],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p3tW3N-qy","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/posts\/1646","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/users\/61"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/comments?post=1646"}],"version-history":[{"count":1,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/posts\/1646\/revisions"}],"predecessor-version":[{"id":1649,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/posts\/1646\/revisions\/1649"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/media?parent=1646"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/categories?post=1646"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/tags?post=1646"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}