Sujet : Re: Replacement of Cardinality (infinite middle)
De : james.g.burns (at) *nospam* att.net (Jim Burns)
Groupes : sci.logic sci.mathDate : 11. Aug 2024, 20:30:51
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <f12f4cfb-5aff-4181-91c8-47b443455557@att.net>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
User-Agent : Mozilla Thunderbird
On 8/10/2024 7:05 PM, Moebius wrote:
Am 11.08.2024 um 00:47 schrieb Chris M. Thomasson:
On 8/10/2024 3:43 PM, Moebius wrote:
Hint: Let's "consider" the real line:
>
...|-----|-----|-----|-----|--..
0 1 2 3 4
>
[Now] omega is not a point on this line. :-P
>
"Out of scope", perhaps? Is that okay?
>
Somehow. :-P
>
I guess, JB would say:
"If we don't consider omega,
we don't consider omega."
:-P
I think I can make a good case for that.
----
I propose that
each split F,H of the line is situated in the line
== the line has a point last.in.F or first.in.H
It follows that
each positive point is separated from 0
by some finite /n
otherwise, contradiction follows.
If each positive point has a reciprocal,
then each point has a finite reciprocal,
and no point is ω
----
Georg Cantor did not get up one morning and ask,
"How can I piss off Wolfgang Mückenheim decades from now?"
We often have reasons for things being how they are,
the weirder they seem, the better the reasons,
because, no, those who made it that way
are not actually trying to piss you off.
They have (had) better things to do.