Path: ...!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: sci.logic
Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers
 (extra-ordinary)
Date: Sun, 15 Dec 2024 07:54:49 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <aa42107d707ba33ffeca0d8788beb98043794604@i2pn2.org>
References: <vg7cp8$9jka$1@dont-email.me> <vhpnrb$15239$1@dont-email.me>
 <vhs2gn$1kjtc$1@dont-email.me> <vhs4ue$1ku9t$1@dont-email.me>
 <vhv6or$280s6$1@dont-email.me> <vhvbjb$28n6o$1@dont-email.me>
 <vi1dbj$2moon$1@dont-email.me> <vi224l$2pgrd$1@dont-email.me>
 <vi4383$3csd4$2@dont-email.me> <vi4a6c$3dt4s$2@dont-email.me>
 <vi6p1l$3uoti$1@dont-email.me> <vi6unr$3v0dn$5@dont-email.me>
 <vihd3l$2d9fk$1@dont-email.me> <vihfai$2cnof$1@dont-email.me>
 <vijrru$37ce1$1@dont-email.me> <vikh9k$3cua3$1@dont-email.me>
 <viml28$6j3$1@dont-email.me> <0b1bb1a1-40e3-464f-9e3d-a5ac22dfdc6f@tha.de>
 <95183b4d9c2e32651963bac79965313ad2bfe7e8@i2pn2.org>
 <vj6vhh$elqh$2@dont-email.me>
 <33512b63716ac263c16b7d64cd1d77578c8aea9d@i2pn2.org>
 <vj9s4i$11a3p$1@dont-email.me> <vjam6d$1700v$1@dont-email.me>
 <vjc65g$1i9vk$3@dont-email.me> <vjf7kl$2s7e5$1@dont-email.me>
 <vjfmq3$2upa9$3@dont-email.me> <vjjh0o$3u5ec$1@dont-email.me>
 <vjjkds$3ukck$1@dont-email.me> <vjmd21$hq8s$1@dont-email.me>
 <vjmepr$hk44$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 15 Dec 2024 12:54:49 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2973994"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <vjmepr$hk44$2@dont-email.me>
Content-Language: en-US
Bytes: 4471
Lines: 59

On 12/15/24 6:33 AM, WM wrote:
> On 15.12.2024 12:03, Mikko wrote:
>> On 2024-12-14 09:50:52 +0000, WM said:
>>
>>> On 14.12.2024 09:52, Mikko wrote:
>>>> On 2024-12-12 22:06:58 +0000, WM said:
>>>
>>>>>>> In mathematics, a set A is Dedekind-infinite (named after the 
>>>>>>> German mathematician Richard Dedekind) if some proper subset B of 
>>>>>>> A is equinumerous to A. [Wikipedia].
>>>>>>
>>>>>> Do you happen to know any set that is Dedekind-infinite?
>>>>>>
>>>>> No, there is no such set.
>>>>
>>>> The set of natural numbers, if there is any such set,
>>>
>>> If ℕ is a set, i.e. if it is complete such that all numbers can be 
>>> used for indexing sequences or in other mappings, then it can also be 
>>> exhausted such that no element remains. Then the sequence of 
>>> intersections of endsegments
>>> E(1), E(1)∩E(2), E(1)∩E(2)∩E(3), ...
>>> loses all content. Then, by the law
>>> ∀k ∈ ℕ : ∩{E(1), E(2), ..., E(k+1)} = ∩{E(1), E(2), ..., E(k)} \ {k}
>>> the content must become finite.
>>>
>>>> is Dedekind-infinte:
>>>> the successor function is a bijection between the set of all natural
>>>> numbers and non-zero natural numbers.
>>>
>>> This "bijection" appears possible but it is not.
>>
>> So you say that there is a natural number that does not have a next
>> natural number. What number is that?
> 
> We cannot name dark numbers as individuals. All numbers which can be 
> used a individuals belong to a potentially infinite collection ℕ_def. 
> There is no firm end. When n belongs to ℕ_def, then also n+1 and 2n and 
> n^n^n belong to ℕ_def. The only common property is that all the numbers 
> belong to a finite set and have an infinite set of dark successors.
> 
> ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo
> |ℕ \ {1, 2, 3, ...}| = 0
> 
> This is the only way to explain that the intersection of endegments
> E(1), E(1)∩E(2), E(1)∩E(2)∩E(3), ...
> loses all content in a sequences which allow the loss of only one number 
> per step:
> ∀k ∈ ℕ : ∩{E(1), E(2), ..., E(k+1)} = ∩{E(1), E(2), ..., E(k)} \ {k}
> 
> Regards, WM
> 

You can't "name" your dark numbers, because they don't exist in the set 
you claim they are part of,

You already admitted that the set of definable natural numbers was in 
fact the set of all natural numbers, so there is nothing left to be dark 
except the dark hole created by the explosion of your logic by its 
nconsistancies when msused the way you do.