Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!pasdenom.info!from-devjntp
Message-ID: <L8Pl0ELcnLfKVO0KrMmhSqDd-Y0@jntp>
JNTP-Route: news2.nemoweb.net
JNTP-DataType: Article
Subject: Re: Replacement of Cardinality
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp> <IzWzFdkkm97GEXyAioF3IpRiSfI@jntp> <42d2b329-5394-47e0-b8c9-098908b2e9a8@att.net>
 <__cCn6h6Ey1Kz0BrIf6EShypg4M@jntp> <e8a3a66a-7d83-4658-9f4c-23d7dc354fb9@att.net> <iqelfxYKWhBbwcm10DcO5hr3scI@jntp>
 <f920592b-897c-48b9-a9af-80f25bc60e4b@att.net> <DDPks1ynTy6IhIWNHaxt25GM1v0@jntp>
 <c1f0efc8-04ca-4f2d-9820-cfd54c0eca73@att.net> <v90rp5$3dbpd$1@dont-email.me>
Newsgroups: sci.logic,sci.math
JNTP-HashClient: trxaVo7QBRZ--uY7IiV89DZoVeI
JNTP-ThreadID: KFm3f7lT2HjaTSiMfnv5xqZoSBw
JNTP-Uri: http://news2.nemoweb.net/?DataID=L8Pl0ELcnLfKVO0KrMmhSqDd-Y0@jntp
User-Agent: Nemo/0.999a
JNTP-OriginServer: news2.nemoweb.net
Date: Thu, 08 Aug 24 08:05:12 +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-08T08:05:12Z/8979456"; 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: 2140
Lines: 15

Le 08/08/2024 à 00:17, Moebius a écrit :

> Actually, his "thinking process" is simple:
> 
> "Since there is a gap (space) between adjacent unit fractions and all 
> unit fractions are in the interval (0, 1], there must be FINITELY MANY 
> of them (i.e. a first/smallest one)." 

No, that is nonsense. There are not finitely many unit fractions. The 
argument is this:
NUF(0) = 0. Never more than one unit fraction can be added simultaneously 
to NUF(x).
==> Exists x with x = INVNUF(1).

Regards, WM