{"id":3875,"date":"2020-08-04T10:49:25","date_gmt":"2020-08-04T14:49:25","guid":{"rendered":"http:\/\/www.goodmath.org\/blog\/?p=3875"},"modified":"2020-08-04T10:49:25","modified_gmt":"2020-08-04T14:49:25","slug":"the-futility-of-pi-denialism","status":"publish","type":"post","link":"http:\/\/www.goodmath.org\/blog\/2020\/08\/04\/the-futility-of-pi-denialism\/","title":{"rendered":"The Futility of Pi Denialism"},"content":{"rendered":"\n<p>To me, the strangest crackpots I&#8217;ve encountered through this blog are the \u03c0 denialists.<\/p>\n\n\n\n<p>When people have trouble with Cantor and differently sized infinities, I get it. It defies our intuitions. It doesn&#8217;t seem to make sense.<\/p>\n\n\n\n<p>When you look at G\u00f6del incompleteness theorem &#8211; it&#8217;s really hard to wrap your head around. It doesn&#8217;t seem to make sense. I get it.<\/p>\n\n\n\n<p>When you talk about things like indescribable numbers, it&#8217;s crazy. How could it possibly be true? I get it.<\/p>\n\n\n\n<p>But \u03c0?<\/p>\n\n\n\n<p>It&#8217;s a pretty simple number: the ratio of the diameter of the circle and the circle&#8217;s circumference. There&#8217;s nothing all that difficult about what it means. And there are so many different ways of calculating it! We can use the nature of a circle, and derive series that compute it. We can write simple programs, do tactile demos, measure actual physical phenomena. And yet, there are people who fervently believe that it&#8217;s all a sham: that the value of \u03c0 <em>isn&#8217;t<\/em> what we say it is. It&#8217;s exactly 4. Or it&#8217;s exactly 22\/7. Or it&#8217;s exactly <a href=\"https:\/\/www.jain108.com\/true-value-of-pi-3-144\/\"><img src='http:\/\/l.wordpress.com\/latex.php?latex=%5Cfrac%7B4%7D%7B%5Cphi%5E%7B%5Cfrac%7B1%7D%7B2%7D%7D%7D&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='\\frac{4}{\\phi^{\\frac{1}{2}}}' style='vertical-align:1%' class='tex' alt='\\frac{4}{\\phi^{\\frac{1}{2}}}' \/><\/a>. Or it&#8217;s not a number, it&#8217;s <a href=\"https:\/\/www.nevyns-lab.com\/mathis\/mirror\/milesmathis.com\/pi2.html\">an <em>acceleration<\/em><\/a>.<\/p>\n\n\n\n<p>It&#8217;s amazing. I constantly get mail &#8211; mostly from fans of either Jain (the author of the &amp;phi;-based &amp;pi; mentioned above), or from followers of Miles Mathis (he of &#8220;&amp;pi; isn&#8217;t a ratio, it&#8217;s an acceleration&#8221; fame), insisting that I&#8217;m part of the great mathematical conspiracy to deny the true factual value of &amp;pi;.<\/p>\n\n\n\n<p>And yet&#8230; It&#8217;s so simple to demonstrate how wrong that is.<\/p>\n\n\n\n<p>My favorite version is a simple program.<\/p>\n\n\n\n<p>Here&#8217;s the idea, followed by the code.<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Take the unit square &#8211; the region of the graph from (0, 0) to (1, 1), and inside of it, an arc of the circle of radius 1 around (0,0).<img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" width=\"150\" height=\"165\" class=\"wp-image-3881\" style=\"width: 150px;\" src=\"https:\/\/i0.wp.com\/www.goodmath.org\/blog\/wp-content\/uploads\/2020\/08\/arc.jpg?resize=150%2C165\" alt=\"\"><\/li><li>Pick a random point, (x, y), anywhere inside of that square.<\/li><li>If the distance from the origin (<img src='http:\/\/l.wordpress.com\/latex.php?latex=x%5E2%20%2B%20y%5E2&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='x^2 + y^2' style='vertical-align:1%' class='tex' alt='x^2 + y^2' \/>) is less than one, then the point is inside the circle. If it isn&#8217;t, then it&#8217;s outside of the circle.<\/li><li>The probability, <img src='http:\/\/l.wordpress.com\/latex.php?latex=p&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='p' style='vertical-align:1%' class='tex' alt='p' \/>, of any given random point being inside that circle is equal to the ratio of the area of the circle to the area of the square. The area of that region of the circle is: <img src='http:\/\/l.wordpress.com\/latex.php?latex=%5Cpi%2A1%5E2%2F4&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='\\pi*1^2\/4' style='vertical-align:1%' class='tex' alt='\\pi*1^2\/4' \/>, and the area of the the square is <img src='http:\/\/l.wordpress.com\/latex.php?latex=1%5E2&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='1^2' style='vertical-align:1%' class='tex' alt='1^2' \/>. So the probability is <img src='http:\/\/l.wordpress.com\/latex.php?latex=%281%2F4%29%5Cpi%2F1&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='(1\/4)\\pi\/1' style='vertical-align:1%' class='tex' alt='(1\/4)\\pi\/1' \/>, or <img src='http:\/\/l.wordpress.com\/latex.php?latex=%5Cpi%2F4&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='\\pi\/4' style='vertical-align:1%' class='tex' alt='\\pi\/4' \/>.<\/li><li>So take a ton of random points, and count how many are inside the circle.<\/li><li>The ratio of points inside the circle to total random points is <img src='http:\/\/l.wordpress.com\/latex.php?latex=%5Cpi%2F4&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='\\pi\/4' style='vertical-align:1%' class='tex' alt='\\pi\/4' \/>. The more random points you do this with, the closer you get to \u03c0.<\/li><\/ul>\n\n\n\n<p>We can turn that into a simple Python program:<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">from random import random\n\ndef computePi(points):\n    inside = 0\n    for i in range(points):\n        x = random()\n        y = random()\n        if (x*x + y*y) &lt; 1.0:\n            inside = inside + 1\n    return (inside*1.0)\/points * 4.0\n\n\nfor i in range(30):\n    pi = computePi(2**i)\n    print(f\"Pi at 2**{i} iterations = {pi}\")\n<\/pre>\n\n\n\n<p>The exact value that you&#8217;ll get when you run this depends on the random number generator, and the initial seed value. If you don&#8217;t specify a seed, most random number libraries will use something like last 32 digits of the current system time in nanoseconds, so you&#8217;ll get slightly different results each time you run it. I just ran it, and got:<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">Pi at 2**0 iterations = 4.0\nPi at 2**1 iterations = 4.0\nPi at 2**2 iterations = 3.0\nPi at 2**3 iterations = 2.0\nPi at 2**4 iterations = 3.5\nPi at 2**5 iterations = 2.75\nPi at 2**6 iterations = 3.0625\nPi at 2**7 iterations = 3.125\nPi at 2**8 iterations = 3.109375\nPi at 2**9 iterations = 3.1875\nPi at 2**10 iterations = 3.171875\nPi at 2**11 iterations = 3.126953125\nPi at 2**12 iterations = 3.12109375\nPi at 2**13 iterations = 3.14013671875\nPi at 2**14 iterations = 3.169677734375\nPi at 2**15 iterations = 3.1324462890625\nPi at 2**16 iterations = 3.14453125\nPi at 2**17 iterations = 3.147247314453125\nPi at 2**18 iterations = 3.138519287109375\nPi at 2**19 iterations = 3.1364669799804688\nPi at 2**20 iterations = 3.1443214416503906\nPi at 2**21 iterations = 3.141223907470703\nPi at 2**22 iterations = 3.141301155090332\nPi at 2**23 iterations = 3.1419320106506348\nPi at 2**24 iterations = 3.1415367126464844\nPi at 2**25 iterations = 3.1421539783477783\nPi at 2**26 iterations = 3.1420511603355408\nPi at 2**27 iterations = 3.1415300369262695\nPi at 2**28 iterations = 3.141532242298126\nPi at 2**29 iterations = 3.1415965482592583\n<\/pre>\n\n\n\n<p>I suspect that I could do a lot better using a special number library to reduce or eliminate the floating point roundoff errors, but I don&#8217;t really think it&#8217;s worth the time. Just this much, using a really simple, obvious, intuitive method produces a better result than <em>any<\/em> of the numbers pushed by the crackpots.<\/p>\n\n\n\n<p>To support that previous statement: the best crackpot value for \u03c0 is the one based on the golden ratio. That version insists that the true value of \u03c0 is 3.14460551103. But you can see &#8211; by using the simple metric of counting points inside and outside the circle &#8211; that the actual value is quite different from that.<\/p>\n\n\n\n<p>That&#8217;s what makes this breed of denialism so stupid. \u03c0 isn&#8217;t complicated: it&#8217;s a simple ratio. And it&#8217;s easy to test using simple concepts. Pi relates the diameter (or radius) of a circle to the circumference or area of that circle. So any test that works with circles can easily show you what \u03c0 is. There&#8217;s nothing mysterious or counterintuitive or debatable about it. It is what it is, and you can test it yourself.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>To me, the strangest crackpots I&#8217;ve encountered through this blog are the \u03c0 denialists. When people have trouble with Cantor and differently sized infinities, I get it. It defies our intuitions. It doesn&#8217;t seem to make sense. When you look at G\u00f6del incompleteness theorem &#8211; it&#8217;s really hard to wrap your head around. It doesn&#8217;t [&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":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[1],"tags":[],"class_list":["post-3875","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p4lzZS-10v","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/3875","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=3875"}],"version-history":[{"count":1,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/3875\/revisions"}],"predecessor-version":[{"id":3882,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/3875\/revisions\/3882"}],"wp:attachment":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/media?parent=3875"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/categories?post=3875"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/tags?post=3875"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}