Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: WM Newsgroups: sci.logic Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Date: Sun, 17 Nov 2024 08:50:07 +0100 Organization: A noiseless patient Spider Lines: 21 Message-ID: References: <03b90d6c-fff1-411d-9dec-1c5cc7058480@tha.de> <5b8de1bc-9f6c-4dde-a7cd-9e22e8ce19d9@att.net> <31419fde-62b3-46f3-89f6-a48f1fe82bc0@att.net> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sun, 17 Nov 2024 08:50:09 +0100 (CET) Injection-Info: dont-email.me; posting-host="1d28c040c50ba6550151bcf14ba7e1a5"; logging-data="570788"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+zOb8To5xH5axsKMX/tVic1WV8g3fLY90=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:aImgxnBLhNrR/jCf+dr5YOuIT30= Content-Language: en-US In-Reply-To: <31419fde-62b3-46f3-89f6-a48f1fe82bc0@att.net> Bytes: 2683 On 16.11.2024 23:36, Jim Burns wrote: > On 11/16/2024 2:54 PM, WM wrote: >> Therefore >> the set of intervals cannot grow. > > An infinite set can match a proper superset > without growing. But with shrinking. When it matches first itself and then a proper subset, then it has decreased. The set of even numbers has fewer elements than the set of integers. > Because it is infinite. The interval [0, 1] is infinite because it can be split into infinitely many subsets. But its measure remains constant. There is no reason except naivety to believe that the intervals [n - 1/10, n + 1/10] could cover the real line infinitely often. Regards, WM