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, 8 Nov 2024 15:09:07 +0200
Organization: -
Lines: 56
Message-ID: <vgl2hj$3794c$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 08 Nov 2024 14:09:07 +0100 (CET)
Injection-Info: dont-email.me; posting-host="b8837a1347964943f793d21f9c792c52";
	logging-data="3384460"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19YfgBnOZVCAPhN1k5Wqxb5"
User-Agent: Unison/2.2
Cancel-Lock: sha1:Roiz8U4QnOkNV6CGeZ68Jw975Jc=
Bytes: 3284

On 2024-11-07 13:21:42 +0000, WM said:

> On 07.11.2024 10:22, Mikko wrote:
>> On 2024-11-06 17:55:15 +0000, WM said:
>> 
>>> On 06.11.2024 16:04, Mikko wrote:
>>>> On 2024-11-06 10:01:21 +0000, WM said:
>>> 
>>>>> I leave ε = 1. No shrinking. Every point outside of the intervals is 
>>>>> nearer to an endpoint than to the contents.
>>>> 
>>>> This discussion started with message that clearly discussed limits when
>>>> ε approaches 0. The case ε = 1 was only about a specific unimportant
>>>> question.
>>> 
>>> When ε approaches 0 then the measure of the real axis is, according to 
>>> Cantor's results, 0. That shows that his results are wrong.
>> 
>> It is not the measure of the real axis but the set of rationals. The
>> real axis more than just the rationals. The irrationals are also a
>> part of the real axis.
> 
> But not between irrational points.

Real axis contains both real and irrational numbers and nothing else.
Between any two points of the real axis there are both rational and
irrational points.

>>> But the important question is also covered by ε = 1. The measure of the 
>>> real axis is, according to Cantor's results, less than 3. That shows 
>>> that his results are wrong.
>> 
>> No, that is not Cantor's result,
> 
> It is Cantor's result that all rationals are countable, hence inside my 
> intervals.

That is but what you said above is not.

> But we can use the following estimation that should convince everyone:
> 
> Use the intervals I(n) = [n - sqrt(2)/2^n, n + sqrt(2)/2^n]. Since n 
> and q_n can be in bijection, these intervals are sufficient to cover 
> all q_n. That means by clever reordering them you can cover the whole 
> positive axis except "boundaries".

Depends on the type of n.

> And an even more suggestive approximation:
> Replace the I(n) by intervals J(n) = [n - 1/10, n + 1/10].

Likewise.

-- 
Mikko