Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Tom Bola <Tom@bolamail.etc>
Newsgroups: sci.math
Subject: Re: because =?utf-8?Q?g=E2=A4=A8(g=E2=81=BB=C2=B9(x))?= = g(y) [1/2] Re: how
Date: Fri, 26 Apr 2024 21:27:50 +0200
Organization: A noiseless patient Spider
Lines: 65
Message-ID: <v0gv7o$3s84g$1@dont-email.me>
References: <qHqKnNhkFFpow5Tl3Eiz12-8JEI@jntp> <c574a8da-34ec-4f1e-9169-1f85a39b69b8@att.net> <TOi3R27_R7Mf-S1lta4Gw1zD8r8@jntp> <86bb92cc-ef6c-42bd-bae1-1126e42ce8b7@att.net> <oaba3rpTb5_un6qy5UbQTXild8A@jntp> <30cc41e5-e4f7-4791-a5e3-7dfd03f14eb1@att.net> <QyaFeykXuDMcOtzy6wFnZ1x0UnM@jntp> <1d4c7929-c875-4e77-9c0d-bae99e10fbfb@att.net> <dARR2oLaGrvSGOJi9lskefqDOsw@jntp> <7f0aa97c-1090-45a4-82b0-eed68e441be2@att.net> <IQv_eZAxvsGJHptfmbSlT2BcBeE@jntp> <499c4a7a-7fc7-4e4a-9b72-a7cd8affe271@att.net>
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 26 Apr 2024 21:27:52 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="ee3b397340dd5256dc32102291a53f7a";
	logging-data="4071568"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/3wWGGZxPaP5Uc+5wyQabLt9FyJQ8oH1k="
User-Agent: 40tude_Dialog/2.0.15.1
Cancel-Lock: sha1:r64LHB1Y7+HoVi/6Pn1pCzrR6Uc=
Bytes: 3475

Jim Burns schrieb:
> On 4/26/2024 10:37 AM, WM wrote:
>> Le 26/04/2024 à 01:11, Jim Burns a écrit :
>>> On 4/25/2024 4:03 PM, WM wrote:
> 
>>>> If all smaller numbers are doubled,
>>>> then there is no place for
>>>> the doubled numbers below ω.
>>>
>>> If n is below ω
>>> then n can be counted to from 0
>>> then n⋅2 can be counted to from n
>>
>> That is true for definable numbers
>> but not for the last numbers before ω.
> 
> If any number below n canNOT be counted to from 0
> then n itself canNOT be counted to from 0
> 
> Thus,
> each number which CAN be counted to from 0
> is not above
> any number which canNOT be counted to from 0
> 
> By definition,
> ω is between
> numbers which CAN be counted to from 0 and
> numbers which canNOT be counted to from 0
> 
> Imagine being someone who denies that definition of ω
> 
> Because the following isn't a claim about ω
> you (the denier) should still admit:
> if n can be counted to from 0
> then n*2 can be counted to from n
> then n*2 can be counted to from 0 (through n)
> 
> If ω exists as defined,
> then doubling never crosses ω
> (from CAN to canNOT)
> 
> Even if ω doesn't exist as defined,
> then doubling never crosses
> _where ω would be if ω existed_
> (from CAN to canNOT)
> 
> 
> ω is NOT a simply.humongous.instance of
> the numbers 0 1 2 3 ...
> ω marks a boundary between domains with
> different descriptions (CAN and canNOT).
> 
> Imagine being someone who denies that
> ω marks that boundary.
> With or without the marker,
> the domains (CAN and canNOT) remain
> the domains (CAN and canNOT).

This is really well put! 

Unfortunately, WM is not interested in our ideas of (our) math and 
logic but in his own (mostly read up upon) ideas and his flexible 
and willingly deformable "true logic" which a "normal" person can 
even "feel" -- but even more is WM interested in (we) WHAT folks 
CLAIM and STATE about (our) math, more than about that math itself.