Path: ...!eternal-september.org!feeder3.eternal-september.org!news.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: Fri, 13 Dec 2024 12:25:38 +0100 Organization: A noiseless patient Spider Lines: 26 Message-ID: References: <8a53c5d4-4afd-4f25-b1da-30d57e7fe91c@att.net> <10ebeeea-6712-4544-870b-92803ee1e398@att.net> <1f1a4089-dfeb-45f8-9c48-a36f6a4688fb@att.net> <10fbe4d3-a1d1-4740-8d23-8cd96f3b9bfc@att.net> <696c5a55-3cb6-4fa7-bd11-9b8f8eeeaef7@att.net> <3f902f42-e435-4a44-a179-687ad2a33f16@att.net> <4f0bc5b5-aba7-4c19-91f7-d4f9788591a0@att.net> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 13 Dec 2024 12:25:37 +0100 (CET) Injection-Info: dont-email.me; posting-host="eb03d3d138eff609427a9489ad5e7754"; logging-data="3551988"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+IkUG9hcgP1OHO14fttPi/AfVC4RftEVU=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:fN9YRPDoT6ZsN1JcMXK75j9oxis= Content-Language: en-US In-Reply-To: <4f0bc5b5-aba7-4c19-91f7-d4f9788591a0@att.net> Bytes: 2895 On 13.12.2024 06:06, Jim Burns wrote: > On 12/12/2024 5:11 PM, WM wrote: >> On 12.12.2024 17:15, Jim Burns wrote: > >>> The existence of a bridge implies that, >>> somewhere we can't see, >>> a size which cannot change by 1 >>> changes by 1 to >>> a size which can change by 1 >> >> Every set can change by one element. >> No size is required and no size is possible >> if this is forbidden. > > Ignoring cardinality changes nothing > about f(k) = k∪{k} and ⟦0,w⦆ and ⟦1,w⦆ Ignoring that Cantor's claim requires to empty the endsegments from all natural numbers in order to use them as indices in mappings (ℕ to the set of endsegments, ℕ to ℚ, ℕ to the lines of the Cantor list for "proving" the uncountability of ℝ) shows inconsistency. Remark: The mapping from ℕ to the set of endsegments is one of the few true bijections. Regards, WM