{"id":1857,"date":"2012-08-13T11:53:54","date_gmt":"2012-08-13T15:53:54","guid":{"rendered":"http:\/\/scientopia.org\/blogs\/goodmath\/?p=1857"},"modified":"2012-08-13T11:53:54","modified_gmt":"2012-08-13T15:53:54","slug":"theres-almost-more-cantor-crackpottery","status":"publish","type":"post","link":"http:\/\/www.goodmath.org\/blog\/2012\/08\/13\/theres-almost-more-cantor-crackpottery\/","title":{"rendered":"There&#039;s always more Cantor crackpottery!"},"content":{"rendered":"<p> I&#8217;m not the only one who gets mail from crackpots!<\/p>\n<p> A kind reader forwarded me <em>yet another<\/em> bit of Cantor crackpottery. It never ceases to amaze me how many people virulently object to Cantor, and how many of them just spew out the same, exact, rubbish, somehow thinking that they&#8217;re different than all the others who made the same argument.<\/p>\n<p> This one is yet another in the representation scheme. That is, it&#8217;s an argument that I can write out all of the real numbers whose decimal forms have one digit after the decimal point; then all of the reals with two digits; then all of them with 3 digits; etc. This will produce an enumeration, therefore, there&#8217;s a one-to-one mapping from the naturals to the reals. Presto, Cantor goes out the window.<\/p>\n<p> Or not.<\/p>\n<p> As usual, the crank starts off with a bit of pomposity:<\/p>\n<blockquote>\n<p>Dear Colleague,<\/p>\n<p> My mathematic researshes lead me to resolve the continuum theory of Cantor, subject of controversy since a long time.<\/p>\n<p> This mail is made to inform the mathematical community from this work, and share the conclusions.<\/p>\n<p>You will find in attachment extracts from my book &#8220;Th\u00e9orie critique fondamentale des ensembles de Cantor&#8221;, <\/p>\n<p> Inviting you to contact me,<\/p>\n<p>Francis Collot,<br \/>\nMember of the American mathematical society<br \/>\nMembre de la soci\u00e9t\u00e9 math\u00e9matique de France<br \/>\nMember of the Bulletin of symbolic logic<br \/>\nDirector of \u00e9ditions europ\u00e9ennes<\/br>\n<\/p>\n<\/blockquote>\n<p> As a quick aside, I love how he signs he email &#8220;Member of the AMS&#8221;, as if that were something meaningful. The AMS is a great organization &#8211; but <em>anyone<\/em> can be a member. All you need to do is fill out a form, and write them a check. It&#8217;s <em>not<\/em> something that anyone sane or reasonable brags about, because <em>it doesn&#8217;t mean anything<\/em>.<\/p>\n<p> Anyway, let&#8217;s move on. Here&#8217;s the <em>entirety<\/em> of his proof. I&#8217;ve reproduced the formatting as well as I could; the original document sent to me was a PDF, so the tables don&#8217;t cut-and-paste.<\/p>\n<blockquote>\n<p> The well-order  on the set of real numbers  result from this remark that it is possible to build, after the comma, a set where each subset has the same number of ordered elements  (as is ordered the subset 2 : 10 \u202613 \u2026 99).<\/p>\n<p>Each successive integer is able to be followed after the comma (in french the real numbers have one comma after the integer) by an increasing number of figures.<\/p>\n<table border=\"1\">\n<tr>\n<td>0,0<\/td>\n<td>0,10<\/td>\n<td> 0,100<\/td>\n<\/tr>\n<tr>\n<td>0,1 <\/td>\n<td> 0,11 <\/td>\n<td>  0,101<\/td>\n<\/tr>\n<tr>\n<td>0,2<\/td>\n<td> 0,12<\/td>\n<td> 0,102<\/td>\n<\/tr>\n<tr>\n<td>\u2026 <\/td>\n<td>\u2026 <\/td>\n<td>\u2026<\/td>\n<\/tr>\n<tr>\n<td>0,9<\/td>\n<td> 0,99<\/td>\n<td> 0,999<\/tr>\n<\/td>\n<\/table>\n<p> It is the same thing for each successive interger  before the comma.<\/p>\n<p>1 2 3<\/p>\n<p> So it is the 2 infinite of real number.<\/p>\n<p>For this we use the binary notation.<\/p>\n<p>But Cantor and his disciples never obtained this simple result.<\/p>\n<p> After that, the theory displays that the infinity is the asymptote of the two branches of the hyperbole thanks to an introduction of trigonometry notions.<\/p>\n<p> The successive numbers which are  on cotg (as  1\/2, 1\/3, 1\/4, 1\/5) never attain 0 because it would be necessary to write instead (1\/2, 1\/3, 1\/4, 1\/4 ).<\/p>\n<p> The 0 of the cotg is also the origin of the asymptote, that is to say infinite.<\/p>\n<\/blockquote>\n<p> The beginning is, pretty much, a typical example of the representational crankery. It&#8217;s roughly a restatement of, for example, John Gabriel and his decimal trees. The problem with it is simple: this kind of enumeration will enumerate all of the real numbers with <em>finite length<\/em> representations. Which means that the <em>total<\/em> set of values enumerated by this won&#8217;t even include all of the rational numbers, much less all of the real numbers.<\/p>\n<p> (As an interesting aside: you can see a beautiful example of what Mr. Collot missed by looking at Conway&#8217;s introduction to the surreal numbers, <a href=\"http:\/\/www.amazon.com\/gp\/product\/1568811276\/ref=as_li_ss_tl?ie=UTF8&#038;camp=1789&#038;creative=390957&#038;creativeASIN=1568811276&#038;linkCode=as2&#038;tag=goodmathbadma-20\">On Numbers and Games<\/a><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/www.assoc-amazon.com\/e\/ir?t=goodmathbadma-20&#038;l=as2&#038;o=1&#038;a=1568811276\" width=\"1\" height=\"1\" border=\"0\" alt=\"\" style=\"border:none !important; margin:0px !important;\" \/>, which I wrote about <a href=\"http:\/\/scientopia.org\/blogs\/goodmath\/2007\/03\/29\/introducing-the-surreal-numbers-edited-rerun\/\">here<\/a>. He specifically deals with this problem in terms of &#8220;birthdays&#8221; and the requirement to include numbers who have an infinite birthday, and thus an infinite representation in the surreal numbers.)<\/p>\n<p> After the enumeration stuff, he really goes off the rails. I have <em>no idea<\/em> what that asymptote nonsense is supposed to mean. I think part of the problem is that mr. Collot isn&#8217;t very good at english, but the larger part of it is that he&#8217;s an incoherent crackpot.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>I&#8217;m not the only one who gets mail from crackpots! A kind reader forwarded me yet another bit of Cantor crackpottery. It never ceases to amaze me how many people virulently object to Cantor, and how many of them just spew out the same, exact, rubbish, somehow thinking that they&#8217;re different than all the others [&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":[2,11],"tags":[],"class_list":["post-1857","post","type-post","status-publish","format-standard","hentry","category-bad-math","category-cantor-crankery"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p4lzZS-tX","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/1857","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=1857"}],"version-history":[{"count":0,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/1857\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/media?parent=1857"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/categories?post=1857"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/tags?post=1857"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}