Path: ...!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Thu, 28 Nov 2024 17:48:57 +0000
Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers
 (extra-ordinary)
Newsgroups: sci.math
References: <vg7cp8$9jka$1@dont-email.me> <vhqt4q$1b873$1@dont-email.me>
 <ba4f8baf-7378-403e-a837-39f5c0145a93@att.net> <vhs58b$1krl6$2@dont-email.me>
 <9e03d68c-ae1e-4e2f-8004-55e6f89adb98@att.net>
 <cbac19e1-c2fe-47d0-84ce-88000729988c@tha.de>
 <96af151c-285d-4161-842a-63019cac9699@att.net> <vhti1v$1r2tr$2@dont-email.me>
 <a7ec6cd4-3a9b-4671-8594-56586c0ce917@att.net> <vhvbs4$28n6o$2@dont-email.me>
 <09f8a86f-3f75-4af8-a190-0def76c1ab82@att.net> <vhvviq$2bjrd$1@dont-email.me>
 <68dc9b71-cf5d-4614-94e2-8a616e722a63@att.net> <vi03un$2cv9g$1@dont-email.me>
 <67d9867b-2614-4475-975c-938bafca5c00@att.net> <vi1vep$2pjuo$1@dont-email.me>
 <a4ab640d-e482-42b0-bfb8-f3690b935ce1@att.net> <vi41rg$3cj8q$1@dont-email.me>
 <d124760c-9ff9-479f-b687-482c108adf68@att.net> <vi56or$3j04f$1@dont-email.me>
 <4a810760-86a1-44bb-a191-28f70e0b361b@att.net> <vi6uc3$3v0dn$4@dont-email.me>
 <b2d7ee1f-33ab-44b6-ac90-558ac2f768a7@att.net> <vi7tnf$4oqa$1@dont-email.me>
 <23311c1a-1487-4ee4-a822-cd965bd024a0@att.net>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Thu, 28 Nov 2024 09:48:50 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <23311c1a-1487-4ee4-a822-cd965bd024a0@att.net>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <YNecnfVXA_aUMNX6nZ2dnZfqn_GdnZ2d@giganews.com>
Lines: 106
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-jIEkeIhTfaVm/1JAb5kdbRG+E+4D7sgsOX1rx8cs1FMMT2Cg4aybHzfoPk/JqQAD1kFr7spiJrt9BW9!PTbq5i1gVVmIh1cIUA+83t+GlPpAI07GmqonGSYcSIzutPsrG4B/TpkaphYaHZPCYa7+XqXFpQ==
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 5172

On 11/28/2024 12:34 AM, Jim Burns wrote:
> On 11/27/2024 2:59 PM, WM wrote:
>> On 27.11.2024 16:57, Jim Burns wrote:
>>> On 11/27/2024 6:04 AM, WM wrote:
>
>>> However,
>>> one makes a quantifier shift, unreliable,
>>> to go from that to
>>> ⛔⎛ there is an end segment such that
>>> ⛔⎜ for each number (finite cardinal)
>>> ⛔⎝ the number isn't in the end segment.
>>
>> Don't blather nonsense.
>
> Yes:
> ⎛ for each j in {1,2,3}
> ⎜ there is k in {4,5,6} such that
> ⎝ j+3 = k
>
> No:
> ⛔⎛ there is k in {4,5,6} such that
> ⛔⎜ for each j in {1,2,3}
> ⛔⎝ j+3 = k
>
>> If all endsegments are infinite
>> then infinitely many natbumbers
>> remain in all endsegments.
>
> Yes:
> ⎛ for each end.segment
> ⎜ there is an infinite set such that
> ⎝ the infinite set subsets the end.segment
>
> No:
> ⛔⎛ there is an infinite set such that
> ⛔⎜ for each end.segment
> ⛔⎝ the infinite set subsets the end.segment
>
> Swapping quantifiers _in that direction_
> is not VISIBLY not.first.false.
>
> ⎛ Many claims are known because
> ⎜ a finite sequence of claims is known
> ⎜ in which each claim is true.or.not.first.false.
> ⎜
> ⎜ In such a sequence of claims, each is true.
> ⎜ Thus,
> ⎝ we have a stake in not.first.false.ness.
>
>
> Consider the sequence of claims.
> ⎛⎛ [∀∃] for each end.segment
> ⎜⎜ there is an infinite set such that
> ⎜⎝ the infinite set subsets the end.segment
> ⎜
> ⎜⎛ [∃∀] there is an infinite set such that
> ⎜⎜ for each end.segment
> ⎝⎝ the infinite set subsets the end.segment
>
> We cannot SEE,
> just by looking at the claims,
> that, after [∀∃], [∃∀] is not.first.false.
>
>
> On the other hand,
> swapping quantifiers _in the other direction_
> is VISIBLY not.first.false.
>
> ⎛⎛ [∃∀′] there is a Grand Poobah such that
> ⎜⎜ for each Water Buffalo
> ⎜⎝ the Grand Poobah is over the Water Buffalo.
> ⎜
> ⎜⎛ [∀∃′] for each Water Buffalo
> ⎜⎜ there is a Grand Poobah such that
> ⎝⎝ the Grand Poobah is over the Water Buffalo.
>
> However little we know about
> the Loyal Order of Water Buffaloes,
> we can SEE,
> just by looking at the claims,
> that, after [∃∀′], [∀∃′] is not.first.false.
>
>
> What we want is truth,
> but visible not.first.false.ness is not truth.
>
> In a certain sense,
> visible not.first.false.ness may be better,
> more accessible, more visible than truth,
> and, sometimes,
> when the stars align just right,
> visible not.first.false.ness is also truth.
>
>

It's at least not false on its own account.

It's rather so that inductive accounts may not
vouch their own infinite completions, as being
"partial", yet that deductive inference may
arrive at that they're yet "whole", "full".

This though I read as more reasonable than
your previous accounts, about not.ultimately.untrue.