Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: WM <wolfgang.mueckenheim@tha.de> Newsgroups: sci.math Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers Date: Thu, 14 Nov 2024 11:20:33 +0100 Organization: A noiseless patient Spider Lines: 63 Message-ID: <vh4itg$2o3vu$1@dont-email.me> References: <vg7cp8$9jka$1@dont-email.me> <vggh9v$27rg8$3@dont-email.me> <ff2c4d7c-33b4-4aad-a6b2-88799097b86b@att.net> <vghuoc$2j3sg$1@dont-email.me> <d79e791d-d670-4a5a-bd26-fdf72bcde6bc@att.net> <vgj4lk$2ova9$3@dont-email.me> <f154138e-4482-4267-9332-151e2fd9f1ba@att.net> <vgkoi7$b5pp$1@solani.org> <6d9f3b10-47ad-459c-9536-098ce91f514b@att.net> <vgni02$3osmc$1@dont-email.me> <16028da0-456b-47ad-8baa-7982a7cbdf10@att.net> <vgpupb$abrr$2@dont-email.me> <fc4df00f-96d1-402f-89d2-739cb8ddd863@att.net> <vgsg04$t7fk$1@dont-email.me> <1fca3a53-1cb4-4fd2-85b6-85e9b69ca23b@att.net> <vgtpmo$153hf$6@dont-email.me> <d17f7542-986e-4897-89b4-dccaf11d5311@att.net> <vh00jj$1m6co$1@dont-email.me> <97304048-24f5-4625-82a7-d17427f2f6e3@att.net> <vh0hta$1pmql$1@dont-email.me> <65febd06-662b-4fa4-9aa8-f7353a79a110@att.net> <vh2k9p$29cql$1@dont-email.me> <157a949d-6c19-4693-8cee-9e067268ae45@att.net> <vh35nd$2d81g$1@dont-email.me> <cb0c9917-09a9-45f0-8fe9-cd059fa82dde@att.net> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 14 Nov 2024 11:20:33 +0100 (CET) Injection-Info: dont-email.me; posting-host="49a7df18b38a0ad443caea214013b424"; logging-data="2887678"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19PVbwv3XMkiG8xneLHAHOXmlQrvY81nAw=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:JRoZXXVzOvn5Z1Ydr7BODncbyw0= In-Reply-To: <cb0c9917-09a9-45f0-8fe9-cd059fa82dde@att.net> Content-Language: en-US Bytes: 3841 On 14.11.2024 00:16, Jim Burns wrote: > A finite 𝘀𝗲𝗾𝘂𝗲𝗻𝗰𝗲 of 𝗰𝗹𝗮𝗶𝗺𝘀 in which > each claim is true.or.not.first.false > is > a finite 𝘀𝗲𝗾𝘂𝗲𝗻𝗰𝗲 of 𝗰𝗹𝗮𝗶𝗺𝘀 in which > each claim is true. > > Some claims are true and we know it > because > they claim that > when we say this, we mean that, > and we, conscious of our own minds, know that > when we say this, we mean that. > > Some 𝗰𝗹𝗮𝗶𝗺𝘀 are not.first.false and we know it > because > we can see that > no assignment of truth.values exists > in which 𝘁𝗵𝗲𝘆 are first.false. > 𝗾 is not first.false in ⟨ 𝗽 𝗽⇒𝗾 𝗾 ⟩. > > Some finite 𝘀𝗲𝗾𝘂𝗲𝗻𝗰𝗲𝘀 of 𝗰𝗹𝗮𝗶𝗺𝘀 are > each true.or.not.first.false > and we know it. > > When we know that, > we know each claim is true. > > We know each claim is true, even if > it is a claim physically impossible to check, > like it would be physically impossible > to check each one of infinitely.many. > Here is a single claim which is true: The covering of a geometric figure by a set of similar smaller intervals is independent of the order of the intervals. That holds for every finite figure and, by applying the analytical limit, also for infinite figures like XOOO... XOOO... XOOO... XOOO... .... or 0---------_1_--------_2_--------_3_---... Therefore a geometric representation let alone proof of most of Cantor's bijections is impossible. Belief in set theory excludes belief in geometry. All babble about Completely Scattered Space in cases of I(n) = [n - sqrt(2)/2^n, n + sqrt(2)/2^n] or I(n) = [n - 1/2^n, n + 1/2^n] is to no avail and useless from the outset. Regards, WM