Path: ...!Xl.tags.giganews.com!local-4.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sun, 24 Nov 2024 18:10:20 +0000
Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers
 (allocators)
Newsgroups: sci.math
References: <vg7cp8$9jka$1@dont-email.me> <vhcp0r$hge9$6@dont-email.me>
 <vhd7d7$nt37$1@dont-email.me> <vhd9lq$obb0$1@dont-email.me>
 <vhdl0k$qltl$1@dont-email.me> <vhfqcv$1adld$1@dont-email.me>
 <vhfso7$1bik6$1@dont-email.me> <vhg0h8$1adlc$4@dont-email.me>
 <vhgd9j$1eq8t$1@dont-email.me> <vhgebm$1eu67$2@dont-email.me>
 <vhgfo7$1f8j9$1@dont-email.me> <vhiak4$1sjsn$2@dont-email.me>
 <094dadad718eaa3827ad225d54aaa45b880dd821@i2pn2.org>
 <vhkir2$28qt$2@dont-email.me>
 <3399a95e386bc5864f1cfcfc9f91f48366e0fed2@i2pn2.org>
 <vhlamn$7jan$3@dont-email.me>
 <0d551828411c0588000796fa107a16b1e23a866c@i2pn2.org>
 <vhprpj$15kfd$2@dont-email.me>
 <74bdc0f14fd0f2c6bfd9ac511a37f66b41948ac4@i2pn2.org>
 <vhq5ov$1793m$2@dont-email.me> <4205d073-bdac-4a54-a651-b9def098ced0@att.net>
 <vhsas8$1krl6$5@dont-email.me> <46baa73d-2098-4df5-a452-a746b503d8d6@att.net>
 <vhtesh$1rdku$2@dont-email.me> <07d42710-5af8-44e7-a873-eb2e2c9c2bf6@att.net>
 <vhtjar$1r2tr$5@dont-email.me> <11c85fcd-7f48-4573-ba8e-1509e7173d34@att.net>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Sun, 24 Nov 2024 10:09:49 -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: <11c85fcd-7f48-4573-ba8e-1509e7173d34@att.net>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <fTqdnRUrp4aR8d76nZ2dnZfqnPidnZ2d@giganews.com>
Lines: 145
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-MwDAfZ7Bclkih7R/nsvxs62NHA7DDBleZXHRp40UM+Iwc03X6dYpycvZvsvkZ9VoH4FWepB9an3v9Jq!JC5EQgnYKPz4DQJyUmAOEc2mMwVs/vPJG6yUk74xnnlYlFmZJzvyUaKDaN7SiWGEkL41rovbdqk=
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: 7550

On 11/23/2024 09:37 PM, Jim Burns wrote:
> On 11/23/2024 5:01 PM, WM wrote:
>> On 23.11.2024 22:48, Jim Burns wrote:
>>> On 11/23/2024 3:45 PM, WM wrote:
>
>>>>> ⎜ Assume that there are
>>>>> ⎜ enough red hats for the first 𝔊 numbers
>>>>> ⎜ but not enough for the 𝔊+1ᵗʰ
>>>>
>>>> That is a mistake.
>>>> If there are enough hats for G natnumbers,
>>>> then there are also enough for G^G^G natnumbers.
>>>
>>> Thank you.
>>>
>>>> Alas they leave G^G^G unit intervals without hats.
>>>> That is the catch!
>>>
>>> After all hat.shifts,
>>> there is no first number without a hat.
>>
>> But almost all numbers are without hat
>> because the number of hats has not increased.
>
> If there are enough hats for G natural numbers,
> then there are also enough for G^G^G natural numbers.
>
> If there are NOT enough for G^G^G natural numbers,
> then there are also NOT enough for G natural numbers.
>
> G precedes G^G^G.
> If, for both G and G^G^G, there are NOT enough hats,
> G^G^G is not first for which there are not enough.
>
> That generalizes to
> each natural number is not.first for which
> there are NOT enough hats.
>
> ----
> Consider the set of natural numbers for which
> there are NOT enough hats.
>
> Since it is a set of natural numbers,
> there are two possibilities:
> -- It could be the empty set.
> -- It could be non.empty and hold a first number.
>
> Its first number, if it existed, would be
> the first natural number for which
> there are NOT enough hats.
>
> However,
> the FIRST natural number for which
> there are NOT enough hats
> does not exist.
>
> ⎛ Recall that it does not exist
> ⎜ because,
> ⎜ if there are enough hats for G natural numbers,
> ⎝ then there are also enough for G^G^G natural numbers.
>
> The set of natural numbers
> for which there are NOT enough hats
> does not hold its first number.
> No number exists that can be the first number.
>
> It can only be the first case, that
> the set of natural numbers
> for which there are NOT enough hats
> is empty.
>
> Its complement,
> the set of natural numbers
> for which there ARE enough hats
> is the complete set of natural numbers.
>
> ----
> Therefore,
> for each natural number,
> there are enough hats.
>
>
>

Read an article the other day about computer algorithms
and machines in their space and time, about 'garbage
collection', which is an approach in some computer systems
to arrive at for the issue of allocation, of an own resource
from a common resource, and de-allocation, to detect when
an own resource is released or un-used, to result it reclaimed,
and then furthermore with regards to re-organizing or
"de-fragmenting" a serial range, to result that what's
retained is in-use, and furthermore, that as large as
possible serial ranges remain, to allocate serial ranges
of given sizes among them. (Allocators, "slabs", "arenas",
"free-lists", "pools", are usual sorts of concepts.)

So anyways in Hilbert's Hotel, when all the rooms are full,
and each has a natural number, and for each of the occupants
to have their original room number as their tracking number name,
to move each n'th even name to each n'th room, has a clear
result their destination, yet not how they get there, with
regards to that the n'th odd number, moves out, as much as
each n'th even number, moves in.

So, the ideal lazy forgetful mathematician, may aver that
once it's all done, these moves, which can only be swaps,
as the place is already full, will have occurred infinitely-many
times.

Then, it's so that the density of the evens 1/2 n is greater than
the density of the primes log n and that the density of the
squares root n, so an initial segment may finish earlier,
being entirely full and that though the only way to maintain
that each remaining swap _in_, to make a swap _out_, makes
a push _out_, that for the n'th must push the n+1'th and
the n+2'th and so on ad infinitum, that any occupant that
results entirely eliminated as not existing in the range
of the function the mapping, makes an infinite supertask
in anything that isn't merely "I don't care how it's done,
just do it", that of course one can arrive at, "no can do",
as easily as, "fait accompli".


So, for example, lazy forgetful computer programmers that
rely on allocators and schedulers to say what, where, and when,
know that in the bounded and when there aren't infinitely-many
resources that may be furthermore re-done infinitely-many
times at zero time and space, that lazy forgetful computer
programmers sometimes see lazy forgetful mathematicians
as a bit less than practical.

While that is so, it's well-known since Galileo that there
exist functions relating countable domains like naturals
and evens though before that was just called aliquot and
modularity, then Galileo came up with "and squares work also",
what with regards to that the Pythagoreans though have
"everything is rational here", and would point out that
Archimedes may arrive at the extended contrivance to _change_
something does not exist as simply as that its destination
exists, and, inference can't arrive that it ever gets done,
so, you must be using deductive inference to declare the
accomplishment of an inductive-impasse-refuted supertask.