Sujet : Re: Replacement of Cardinality
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.logic sci.mathDate : 21. Aug 2024, 11:43:17
Autres entêtes
Organisation : Nemoweb
Message-ID : <U8YVSGphNHvTenas6IC_7SR22wU@jntp>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Nemo/0.999a
Le 20/08/2024 à 22:05, Jim Burns a écrit :
On 8/20/2024 9:07 AM, WM wrote:
No min.⅟ℕᵈᵉᶠ exists.
The reason is potential infinity. But dark unit fractions are assumed to be actually infinite.
It starts from 0.
If ⅟ℕᵈᵉᶠ starts,
⅟ℕᵈᵉᶠ starts from min.⅟ℕᵈᵉᶠ
No min.⅟ℕᵈᵉᶠ exists.
⅟ℕᵈᵉᶠ does not start.
Because 0 is glb.⅟ℕᵈᵉᶠ not.in ⅟ℕᵈᵉᶠ
All that is correct for definable unit fractions.
But NUF(x) starts from 0 and cannot avoid to take the values 1, 2, 3, ... .
Regards, WM
Re: Replacement of Cardinality
Re: Replacement of Cardinality
