Sujet : Re: Replacement of Cardinality
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.logic sci.mathDate : 04. Aug 2024, 16:32:49
Autres entêtes
Organisation : Nemoweb
Message-ID : <OkYPZzqv8sSbSLzpQ1p0gMNiiDI@jntp>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Nemo/0.999a
Le 04/08/2024 à 02:09, Moebius a écrit :
I recognized lately that you use the wrong definition of NUF.
Deine Definition von NUF(x) war bisher: "die Anzahl (Kardinalzahl) aller Stammbrüche, die kleiner-gleich x sind".
Sie war und ist folgende: There exist NUF(x) unit fractions u, such that for all y >= x: u < y.
Note that the order is ∃ u ∀ y.
NUF(x) = ℵ₀ for all x > 0 is wrong. NUF(x) = 1 for all x > 0 already is wrong since there is no unit fraction smaller than all unit fractions. Regards, WM