Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: WM <wolfgang.mueckenheim@tha.de>
Newsgroups: sci.logic
Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers
Date: Wed, 6 Nov 2024 18:52:01 +0100
Organization: A noiseless patient Spider
Lines: 51
Message-ID: <vggac0$25spe$7@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> <vgcve2$1ggmo$1@dont-email.me>
 <vgg08v$25ng2$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 06 Nov 2024 18:52:01 +0100 (CET)
Injection-Info: dont-email.me; posting-host="fa4d81affe87dc195ff2c4aafd71ec8e";
	logging-data="2290478"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX195j5RlOWp0bGMeg4ApAvgrO0WhnpCH2/4="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:AEbE9hFzyLLZd9z0SM1ylOxfVSg=
In-Reply-To: <vgg08v$25ng2$1@dont-email.me>
Content-Language: en-US
Bytes: 3567

On 06.11.2024 15:59, Mikko wrote:
> On 2024-11-05 11:26:58 +0000, WM said:
> 
>>   Cantor's results are
>>> conclusions of proofs and you have not shown any error in the proofs.
>>
>> I have. This example for instance proves that he did not enumerate all 
>> rationals, because the rationals are dense, the intervals are not dense.
> 
> You have not proven that. It is fairly easy to prove that there are
> no positive rationals other than those enumerated by Cantor (if I
> recall correctly he enumerated only positive rationals). To prove
> that there are positive rationals that are not included in Cantor's
> enumeration it suffices to show one but you have not shown any.

I have shown that without rational numbers outside of the intervals with 
irrational endpoints covering 3 of infinitely many units the real axis 
has measure 3. Completely independent of the form and configuration of 
the intervals between them no real number could exist if all rationals 
were included.
> 
>>> You are free to deny one of more of the assumptions that constitue
>>> the foudations of the results but you havn't.
>>
>> Cantor's bijections concern only potentially infinite sets, but are 
>> assumed and claimed to concern the complete sets.
> 
> Everything Cantor said was about complete sets. He did neither deny the
> possibility of potentially infinte sets nor said anything about them (as
> far as I know and remember).

Georg Cantor did not get tired to explain the difference and the 
importance of the actual infinite over and over again.

"In spite of significant difference between the notions of the potential 
and actual infinite, where the former is a variable finite magnitude, 
growing above all limits, the latter a constant quantity fixed in itself 
but beyond all finite magnitudes, it happens deplorably often that the 
one is confused with the other." [Cantor, p. 374]

>> That is the grave mistake. His result says for all infinite "countable 
>> sets" that they are infinite, nothing more.
> 
> He very clearly says and proves that all infinite sets are not 
> equinumerous.

All countable infinite sets are equinumerous according to him, but not 
in reality.

Regards. WM