Re: Does the number of nines increase?

Am 16.07.2024 um 00:11 schrieb Tom Bola:

Am 15.07.2024 23:57:09 Moebius schrieb:

Wie schon ein paar Mal (also ein paar 100-mal) erwähnt, scheint
Mückenheim nicht fähig (oder gewillt) zu sein, zwischen
>
        Ax Ey (y < x)
und
        Ex Ay (y < x)
>
zu unterscheiden. [...]

Mal etwas für Kenner: Diese Unterscheidung muss man nicht nur bei einer aktualen Auffassung der Unendlichkeit (wie in der _Mengenlehre_), sondern auch bei einer "potentialistischen" Auffassung des Unendlichen machen.
Zweifellos gibt es bei letzterer zu jedem Stammbruch, den man konstruieren kann, einen kleineren Stammbruch, den man konstruieren kann (vgl. Streckenteilung in der Geometrie). Es gibt aber auch hier keinen Stammbruch, den man konstruieren kann, der kleiner ist als alle Stammbrüche, die man konstruieren kann.
Schon merkwürdig, dass ein Mann, der "Geschichte des Unendlichen" an der Technischen Hochschule Augsburg lehrt, das nicht begreift/versteht.
-------------------------------------------------------------------------
Schlimmer noch, in einem universe of discourse mit mehr als einem Element (einer Entität), also in so ziemlich jedem nichttrivialen universe of discourse, gilt natürlich
               Ax Ey (x =/= y) ,
NICHT ABER
               Ey Ax (x =/= y) .
Es empfiehlt sich also, Ax Ey ...x...y... nicht für gleichbedeutend zu halten mit Ey Ax ...x...y..., wie Herr Mückenheim das tut.
Siehe auch: https://en.wikipedia.org/wiki/Quantifier_shift