Re: 2N=E

On 10/22/2024 10:11 AM, WM wrote:

On 22.10.2024 11:43, joes wrote:

Am Mon, 21 Oct 2024 20:35:59 +0200 schrieb WM:

Yes, but
all the numbers which the set contains
are either complete and fixed, or
they are variable such that
with each request
larger numbers can be created.

>
"yes, but actually no"
The numbers ARE fixed,
there are just inf. many of them.

>
All of them are multiplied by 2.
>

The larger numbers have already all been "created".

>
Not before multiplying them.

"Creation" of these numbers
is confusingly imagined to be
creation of these numbers.
These numbers are described by axioms.
Claims (axioms) are made which are true of
each of these numbers,
and, in context, it is understood that
that which the claims describe  is
that which we are talking about.
No number starts or stops
being described by those axioms.
We often express
being.described.by.those.axioms  as
existing --
existing _in the domain of discourse_ seems apt.
In that sense,
no number starts or stops
existing.
No number enters or exits
the domain of discourse those axioms describe.
In this discussion,
the numbers being.described.by.those.axioms
== the numbers existing
include, for each such number, double that number.
The numbers and their doubles
always were/will.be being.described.by.those.axioms
always were/will.be existing.
We cannot perform supertasks like
counting infinitely.many.
But we can _describe_ infinitely.many finitely,
and finitely augment with not.first.false claims
-- which, not.having any first.false, must be true.