{"id":2077,"date":"2016-06-07T00:08:53","date_gmt":"2016-06-07T05:08:53","guid":{"rendered":"http:\/\/blogs.ams.org\/blogonmathblogs\/?p=2077"},"modified":"2016-06-07T23:42:20","modified_gmt":"2016-06-08T04:42:20","slug":"enchanted","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/blogonmathblogs\/2016\/06\/07\/enchanted\/","title":{"rendered":"Enchanted"},"content":{"rendered":"<p class=\"p1\"><span class=\"s1\">There are only 12 posts on Jim Propp\u2019s blog <a href=\"https:\/\/mathenchant.wordpress.com\/\"><span class=\"s2\">Mathematical Enchantments<\/span><\/a> so far, and they are all superb. Propp is a professor at the University of Massachusetts Lowell, and his blog is different from a lot of blogs I read. He only posts once a month, on the 17th, and his posts are quite long and in depth. Some math bloggers who take the long post approach can veer towards academic-ese, sometimes ending up with posts that read a bit like journal articles. (There\u2019s nothing wrong with that, and those posts can be very valuable to researchers interested in those specific topics.) Propp\u2019s posts don\u2019t feel long, they feel leisurely. He takes a topic and slowly unfolds it, trying to make it accessible to people regardless of their mathematical background.<\/span><\/p>\n<p class=\"p1\"><span class=\"s1\">I decided to write about Mathematical Enchantments now because of his most recent post, <a href=\"https:\/\/mathenchant.wordpress.com\/2016\/05\/16\/fermats-last-theorem-the-curious-incident-of-the-boasting-frenchman\/#more-731\"><span class=\"s2\">The Curious Incident of the Boasting Frenchman<\/span><\/a>. I try to hide it, but I have a strong curmudgeonly streak deep down inside, and one of my inner curmudgeon\u2019s pet peeves is when people uncritically report that Fermat had a proof of Fermat\u2019s Last Theorem that would not fit in the margin of his copy of <i>Diophantus\u2019 Arithmetica<\/i>. In this regard, Propp seems to be a kindred spirit, though he is not very\u00a0curmudgeonly about it.<\/span><\/p>\n<p class=\"p1\"><span class=\"s1\">Fermat\u2019s Last Theorem is the statement that there are no positive integers <em>x<\/em>, <em>y<\/em>, and <em>z<\/em> so that <em>x<sup>n<\/sup>+y<sup>n<\/sup>=z<sup>n<\/sup><\/em> for <em>n<\/em> an integer greater than 2. Fermat did indeed claim that he had a proof which could not fit in the margin, but the proof we know was only completed in the 1990s by English mathematician Andrew Wiles using techniques far removed from any Fermat would have known. Was Fermat bluffing, was he mistaken, or did he indeed have a proof that we have just failed to recreate for more than 300 years? Propp explores those options and includes information about the mathematical culture Fermat was a part of at the time. Along the way he walks us through the idea of infinite descent, one of my favorite proof techniques.<\/span><\/p>\n<p class=\"p1\"><span class=\"s1\">(Serendipitously, <a href=\"http:\/\/pballew.blogspot.com\/\"><span class=\"s2\">Pat Ballew<\/span><\/a> just published a post about \u201c<a href=\"http:\/\/pballew.blogspot.com\/2016\/06\/almost-integers-almost-incredible.html\"><span class=\"s2\">almost integers<\/span><\/a>,\u201d numbers that are surprisingly close to being integers, like e<sup>\u03c0\u221a163<\/sup>, which is close enough to 262,537,412,640,768,744 to fool a lot of\u00a0calculators. Ballew doesn\u2019t mention them in his post, but some of my favorite almost integers are ones that come\u00a0from Fermat \u201cnear misses,\u201d numbers thatare close to satisfying Fermat\u2019s equation for some <em>n<\/em> other than 1 or 2. Harvard mathematician Noam Elkies has a <a href=\"http:\/\/www.math.harvard.edu\/~elkies\/ferm.html\"><span class=\"s2\">page of Fermat near misses for your perusal<\/span><\/a>.)<\/span><\/p>\n<p class=\"p1\"><span class=\"s1\">One of the things I like about Mathematical Enchantments is that Propp often writes about subjects I\u2019ve seen a hundred times, but I still learn from his posts. He often brings more depth or historical context to the discussion than the topics usually get. For example, too many proofs that 0.999\u2026=1 rely on intimidation. Instead, <a href=\"https:\/\/mathenchant.wordpress.com\/2015\/09\/17\/the-one-about-999\/\"><span class=\"s2\">Propp digs into how the expression 0.999\u2026<\/span><\/a> can mean anything at all, going back to Archimedes and forward to the hyperreals for different interpretations of infinitesimals.\u00a0The math he covers is always interesting but never feels like a party trick, even though one of his posts is literally\u00a0about a <a href=\"https:\/\/mathenchant.wordpress.com\/2016\/04\/17\/the-paintball-party-problem-and-the-habit-of-symmetry\/\">party trick<\/a><\/span><span class=\"s1\">\u2014the trick of harnessing projective geometry and symmetry to rotate children through paintball teams optimally at a birthday party.<\/span><\/p>\n<p class=\"p1\"><span class=\"s1\">Each post on Mathematical Enchantments takes some time to read and digest, but they are worth the effort. Besides your own edification, they are great examples of mathematical exposition done both accessibly and deeply, and I know I am always looking for inspiration in that direction.<\/span><\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" ><\/div>","protected":false},"excerpt":{"rendered":"<p>There are only 12 posts on Jim Propp\u2019s blog Mathematical Enchantments so far, and they are all superb. Propp is a professor at the University of Massachusetts Lowell, and his blog is different from a lot of blogs I read. &hellip; <a href=\"https:\/\/blogs.ams.org\/blogonmathblogs\/2016\/06\/07\/enchanted\/\">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\/2016\/06\/07\/enchanted\/><\/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":[584,583,84,585,83],"class_list":["post-2077","post","type-post","status-publish","format-standard","hentry","category-math-communication","tag-fermats-last-theorem","tag-jim-propp","tag-math","tag-mathematical-enchantments","tag-mathematics"],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p3tW3N-xv","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/posts\/2077","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=2077"}],"version-history":[{"count":2,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/posts\/2077\/revisions"}],"predecessor-version":[{"id":2079,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/posts\/2077\/revisions\/2079"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/media?parent=2077"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/categories?post=2077"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/tags?post=2077"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}