Deutsch English Français Italiano |
<T5KdnU34aYaZKuz6nZ2dnZfqn_udnZ2d@giganews.com> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!Xl.tags.giganews.com!local-4.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail NNTP-Posting-Date: Sun, 29 Dec 2024 20:54:28 +0000 Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary, effectively) Newsgroups: sci.math References: <vg7cp8$9jka$1@dont-email.me> <4bf8a77e-4b2a-471f-9075-0b063098153f@att.net> <vjv6uv$2dra0$1@dont-email.me> <31180d7e-1c2b-4e2b-b8d6-e3e62f05da43@att.net> <vk1brk$2srss$7@dont-email.me> <bb80c6c5-04c0-4e2d-bb21-ac51aab9e252@att.net> <vk23m7$31l8v$1@dont-email.me> <bce1b27d-170c-4385-8938-36805c983c49@att.net> <vk693m$f52$2@dont-email.me> <a17eb8b6-7d11-4c59-b98c-b4d5de8358ca@att.net> <vk7dmb$7mh2$2@dont-email.me> <b72490c1-e61a-4c23-a3a5-f624b2c084e4@att.net> <vk8tbq$j9h1$1@dont-email.me> <bd7dfdc7-6471-4fe6-b078-0ca739031580@att.net> <vklumc$3htmt$1@dont-email.me> <c03cf79d-0572-4b19-ad92-a0d12df53db9@att.net> <n9CdnR02SsevtPL6nZ2dnZfqnPidnZ2d@giganews.com> <45a632ed-26cc-4730-a8dd-1e504d6df549@att.net> <vkpa98$dofu$2@dont-email.me> <15f183ae29abb8c09c0915ee3c8355634636da31@i2pn2.org> <UY-cndwXAt7-4O36nZ2dnZfqnPYAAAAA@giganews.com> <cc538b04-66c2-453e-8abf-e1a425cc2b77@att.net> <loKcnQ1ho8WXVe36nZ2dnZfqn_udnZ2d@giganews.com> <b9bd0527-41c1-4006-80cd-cdcf56f27870@att.net> From: Ross Finlayson <ross.a.finlayson@gmail.com> Date: Sun, 29 Dec 2024 12:54:32 -0800 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 In-Reply-To: <b9bd0527-41c1-4006-80cd-cdcf56f27870@att.net> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Message-ID: <T5KdnU34aYaZKuz6nZ2dnZfqn_udnZ2d@giganews.com> Lines: 67 X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-iAfzed6+UCYxA49UEVeyVrqYuvNnWAA8U5fa9TXB7DpceCjwtBBYKuUqG84o2MQUSLsuksllM3inSKl!p4OVlSx7ErZdZ0OsaLRT169+KWIxsY7K+J5JUt7uuv+ZbF35x/V0kjOAXgvBoC7IkwG0tRdZ9qg= X-Complaints-To: abuse@giganews.com X-DMCA-Notifications: http://www.giganews.com/info/dmca.html X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 Bytes: 4041 On 12/29/2024 12:34 PM, Jim Burns wrote: > On 12/28/2024 10:54 PM, Ross Finlayson wrote: >> On 12/28/2024 04:22 PM, Jim Burns wrote: >>> On 12/28/2024 5:36 PM, Ross Finlayson wrote: > >>>> Then it's like >>>> "no, it's distribution is non-standard, >>>> not-a-real-function, >>>> with real-analytical-character". >>> >>> Which is to say, >>> "no, it isn't what it's described to be" >> >> You already accept > > No. > You (RF) are greatly mistaken about > my (JB's) position with regard to > infinitely.many equal real.number steps > from 0 to 1 > > My position is and has been that they don't exist. > >> You already accept that the "natural/unit >> equivalency function" has range with >> _constant monotone strictly increasing_ >> has _constant_ differences, _constant_, >> that as a cumulative function, for a >> distribution, has that relating to >> the naturals, as uniform. > > My position, expressed in different ways, > is and has been that, > for each positive real x, > a finite integer n exists such that > n⋅x > 1 > > That conflicts with the existence of > infinitely.many equal real.number steps > from 0 to 1 > > Oh, you had that [0/d, 1/d, 2/d, ... oo/d] was a thing, it's equi-partitioning at all, you said "that's at most rationals", so, now you have changed your mind that "extent" and "density" were so? The equi-partitioning is a very usual thing, about things like Jordan measure for the line-integral the line-elements of the line-integral and the path-integral, the equi-partitioning. Anyways, yeah you already said "extent" and "density" were so, about why the natural/unit equivalency function is a probabilistic distribution of the natural integers at uniform random. So, yeah, it conflicts with yourself, yet, that's what you said.