Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: WM Newsgroups: sci.math Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Date: Tue, 14 Jan 2025 09:34:36 +0100 Organization: A noiseless patient Spider Lines: 29 Message-ID: References: <66868399-5c4b-4816-9a0c-369aaa824553@att.net> <417ff6da-86ee-4b3a-b07a-9c6a8eb31368@att.net> <07258ab9-eee1-4aae-902a-ba39247d5942@att.net> <1ebbc233d6bab7878b69cae3eda48c7bbfd07f88@i2pn2.org> <4c89380adaad983f24d5d6a75842aaabbd1adced@i2pn2.org> <494bfd3b-3c70-4d8d-9c70-ce917c15fc22@att.net> <72142d82-0d71-460a-a1be-cadadf78c048@att.net> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 14 Jan 2025 09:34:36 +0100 (CET) Injection-Info: dont-email.me; posting-host="808a3c7120e379c601c055d8bd308c06"; logging-data="2463306"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18VvMB0uwgDYXXsxYqgF08d72MPBCpJ3Ro=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:X4WiJJ/yNI38yrg2jHizvZgmTDQ= Content-Language: en-US In-Reply-To: Bytes: 2928 On 14.01.2025 09:02, Moebius wrote: > Am 13.01.2025 um 21:55 schrieb Chris M. Thomasson: >> On 1/13/2025 9:17 AM, WM wrote: > >>> doubling of all natural numbers creates numbers larger than ω. > > Idiotic nonsense. Possibly. But it is a direct consequence of actual = completed infinity. If all natural numbers fill the space between 0 and ω such that nothing more fits in between, then nothing more fits in between. >> All of those results are natural numbers. They were already there... Nonsense. > Indeed. (At least in the context of classical mathematics/set theory.) Doubling changes the number. If all were there already, then all are changed. ∀n ∈ ℕ: 2n > n. > > Using symols: > >          An e IN: n*2 e IN . True for all definable natnumbers. Wrong for natnumbers > ω/2. Regards, WM