Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: sci.logic
Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary)
Date: Fri, 15 Nov 2024 12:43:05 +0200
Organization: -
Lines: 48
Message-ID: <vh78jp$3cbq7$1@dont-email.me>
References: <vg7cp8$9jka$1@dont-email.me> <0e67005f-120e-4b3b-a4d2-ec4bbc1c5662@att.net> <vga5mb$st52$1@dont-email.me> <vga7qi$talf$1@dont-email.me> <03b90d6c-fff1-411d-9dec-1c5cc7058480@tha.de> <vgb1fj$128tl$1@dont-email.me> <vgb2r6$11df6$3@dont-email.me> <vgcs35$1fq8n$1@dont-email.me> <vgfepg$22hhn$1@dont-email.me> <vgg0ic$25pcn$1@dont-email.me> <vggai3$25spe$8@dont-email.me> <vgi0t7$2ji2i$1@dont-email.me> <vgiet5$2l5ni$1@dont-email.me> <vgl2hj$3794c$1@dont-email.me> <vgleau$bi0i$2@solani.org> <vgnq3i$3qgfe$1@dont-email.me> <vgoka6$3vg2p$1@dont-email.me> <vgq1cm$b5vj$1@dont-email.me> <vgq3ca$beif$1@dont-email.me> <vgsp1c$v1ss$1@dont-email.me> <vgsq2v$v5t1$1@dont-email.me> <vgvm6h$1k8co$1@dont-email.me> <vgvmvr$1kc5f$1@dont-email.me> <vh1vlb$25kic$1@dont-email.me> <vh2j89$29gco$1@dont-email.me> <vh4f7p$2o5hn$1@dont-email.me> <vh4job$2ov2c$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 15 Nov 2024 11:43:05 +0100 (CET)
Injection-Info: dont-email.me; posting-host="c5aed779f74643533e56201bc642f910";
	logging-data="3551047"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+IT1S5xiVOTZW9JqMzugdG"
User-Agent: Unison/2.2
Cancel-Lock: sha1:2XebbECvir+pubh0XuxVdQ9SgOY=
Bytes: 3664

On 2024-11-14 10:34:52 +0000, WM said:

> On 14.11.2024 10:17, Mikko wrote:
>> On 2024-11-13 16:14:02 +0000, WM said:
>> 
>>> On 13.11.2024 11:39, Mikko wrote:
>>>> On 2024-11-12 13:59:24 +0000, WM said:
>>> 
>>>>> Cantor said that all rationals are within the sequence and hence within 
>>>>> all intervals. I prove that rationals are in the complement.
>>>> 
>>>> He said that about his sequence and his intervals. Infinitely many of them
>>>> are in intervals that do not overlap with any of your J(n).
>>> 
>>> The intervals J(n) = [n - 1/10, n + 1/10] cover the relative measure 
>>> 1/5 of ℝ+. By translating them to match Cantor's intervals they cover 
>>> ℝ+ infinitely often. This is impossible. Therefore set theorists must 
>>> discard geometry.
>> 
>> The intervals J(n) are what they are. Translated intervals are not the same
>> intervals. The properties of the translated set depend on how you translate.
> 
> No. Covering by intervals is completely independent of their 
> individuality and therefore of their order.

Translated intervals are not the same as the original ones. Not only their
order but also their positions can be different as demonstrated by your
example and mine, too.

> Therefore you can either believe in set theory or in geometry. Both 
> contradict each other.

Geometry cannot contradict set theory because there is nothing both
could say. But this discussion is about set theory so geometry is not
relevant.

>> For example, if you translate them to J'(n) = (n/100 - 1/10, n/100 + 1/10)
>> then the translated intervals J'(n) wholly cover the postive side of the
>> real line.
> 
> By shuffling the same set of intervals which do not cover ℝ+ in the 
> initial configuration, it is impossible to cover more. That's geometry.

So what part of ℝ+ is not covered by my J'?

-- 
Mikko