Path: ...!weretis.net!feeder8.news.weretis.net!pasdenom.info!from-devjntp
Message-ID: <ZrUpfgO3RQL0qsj_ugH_ng035iM@jntp>
JNTP-Route: news2.nemoweb.net
JNTP-DataType: Article
Subject: Re: Replacement of Cardinality
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp> <1f25a3d6-7b0e-476d-aa99-ecb003cf763f@att.net> <b0XFTJvTommasLo9Ns10OeW0TN0@jntp>
 <75e2ce0e-7df8-4266-968b-9c58e4140b03@att.net> <RCAlRuRy_RKB_tYItKJs7fNcIs0@jntp>
 <35d8c0a1-dab3-4c15-8f24-068e8200cb07@att.net> <sglIw8p3PCeHivaAhg-7IVZCN4A@jntp>
 <fcd3f5f1-fd6e-44ac-823d-fa567d5fb9ba@att.net> <t_rVz7RU7M3aHZTB1TQJS59Ez0I@jntp>
 <45ad1007-b1a7-49d0-a650-048f02738226@att.net>
Newsgroups: sci.logic,sci.math
JNTP-HashClient: BhBVk5DcpugTGO8OXyBtHonAuuA
JNTP-ThreadID: KFm3f7lT2HjaTSiMfnv5xqZoSBw
JNTP-Uri: http://news2.nemoweb.net/?DataID=ZrUpfgO3RQL0qsj_ugH_ng035iM@jntp
User-Agent: Nemo/0.999a
JNTP-OriginServer: news2.nemoweb.net
Date: Wed, 14 Aug 24 12:23:42 +0000
Organization: Nemoweb
JNTP-Browser: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36
Injection-Info: news2.nemoweb.net; posting-host="82b75c1d0a83e677ff646b52485f72f8b23749df"; logging-data="2024-08-14T12:23:42Z/8986502"; posting-account="217@news2.nemoweb.net"; mail-complaints-to="julien.arlandis@gmail.com"
JNTP-ProtocolVersion: 0.21.1
JNTP-Server: PhpNemoServer/0.94.5
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-JNTP-JsonNewsGateway: 0.96
From: WM <wolfgang.mueckenheim@tha.de>
Bytes: 1977
Lines: 16

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