Sujet : Re: Replacement of Cardinality
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.logic sci.mathDate : 14. Aug 2024, 13:23:42
Autres entêtes
Organisation : Nemoweb
Message-ID : <ZrUpfgO3RQL0qsj_ugH_ng035iM@jntp>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Nemo/0.999a
Le 13/08/2024 à 19:02, Jim Burns a écrit :
On 8/13/2024 10:21 AM, WM wrote:
the step size can only be 1,
...at a unit.fraction.
0 isn't a unit.fraction.
Therefore there is no step at 0.
resulting in a real coordinate x with NUF(x) = 1.
INVNUF(1) > ⅟ ⌊⅟INVNUF(1) +1⌋ > ⅟ ⌊⅟INVNUF(1) +2⌋
No.
Regards, WM
…