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: Tue, 3 Dec 2024 12:46:26 +0100 Organization: A noiseless patient Spider Lines: 23 Message-ID: References: <4a810760-86a1-44bb-a191-28f70e0b361b@att.net> <23311c1a-1487-4ee4-a822-cd965bd024a0@att.net> <71758f338eb239b7419418f49dfd8177c59d778b@i2pn2.org> <9eaeab963bd5f3825f745c8990c9901a690f9eba@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 03 Dec 2024 12:46:27 +0100 (CET) Injection-Info: dont-email.me; posting-host="083c203e078729021fda9db4a36efa00"; logging-data="4193467"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX189S+URoVjzV1INODfPRF+5RGkqF6C/XUU=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:oXrBk+W7LTycmI3u/XT/Ueb6TCU= Content-Language: en-US In-Reply-To: <9eaeab963bd5f3825f745c8990c9901a690f9eba@i2pn2.org> Bytes: 2950 On 02.12.2024 20:06, joes wrote: > Am Mon, 02 Dec 2024 17:51:22 +0100 schrieb WM: >> On 02.12.2024 16:46, FromTheRafters wrote: >>> WM wrote : >> >>>> E(1), E(2), E(3), ... >>>> and E(1), E(1)∩E(2), E(1)∩E(2)∩E(3), ... >>>> are identical for every n and in the limit because E(1)∩E(2)∩...∩E(n) >>>> = E(n). >>> Non sequitur. That which is true for finite sequences is not >>> necessarily true for infinite sequences. >> As easily can be obtaied from the above it is necessarily true that up >> to every term and therefore also in the limit the sequences of >> endsegments and of intersections are identical. Every contrary opinion >> is matheology, outside of mathematics. > What is the limit? If infinity is actual, then the FISONs {1, 2, 3, ..., n} have a limit, then the limit of the sequence of FISONs is ℕ. Then the limit of the complementary endsegments is the empty set. Regards, WM