Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: WM Newsgroups: sci.logic Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Date: Mon, 9 Dec 2024 15:40:48 +0100 Organization: A noiseless patient Spider Lines: 17 Message-ID: References: <476ae6cb-1116-44b1-843e-4be90d594372@att.net> <0b1bb1a1-40e3-464f-9e3d-a5ac22dfdc6f@tha.de> <95183b4d9c2e32651963bac79965313ad2bfe7e8@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 09 Dec 2024 15:40:49 +0100 (CET) Injection-Info: dont-email.me; posting-host="494cdfa528696f2d5423ae7fa961822f"; logging-data="481105"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/J/nFt2N+v2rlJCeemaSLhU/pBQ9XAXSQ=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:3FdDIMdhqubF7Z5fIqKL0KqmbXU= In-Reply-To: <95183b4d9c2e32651963bac79965313ad2bfe7e8@i2pn2.org> Content-Language: en-US Bytes: 2634 On 08.12.2024 21:22, joes wrote: > Am Tue, 03 Dec 2024 12:10:53 +0100 schrieb WM: >> On 03.12.2024 11:03, Mikko wrote: >> >>> I understand mathematics >> Hardly, though you may have the impression. >> Proof: You cannot understand that the function f(10n) = n from D = {10n >> | n ∈ ℕ} to ℕ = {1, 2, 3, ...} is not a bijection because for every >> initial segment {1, 2, 3, ..., n} of ℕ there are too few numbers of the >> form 10n that can be paired with numbers n. > Wow. For every segment there are numbers {10, 20, …, 10n}. But for every segments more are needed: {1, 2, 3, ..., 10n} Regards, WM