Deutsch English Français Italiano |
<xwjgqx81h0it2ZchzXBbpmwmoWU@jntp> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!3.eu.feeder.erje.net!feeder.erje.net!usenet.goja.nl.eu.org!pasdenom.info!from-devjntp Message-ID: <xwjgqx81h0it2ZchzXBbpmwmoWU@jntp> JNTP-Route: news2.nemoweb.net JNTP-DataType: Article Subject: Re: Replacement of Cardinality References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp> <I2JWgvxiRMkr8F2KSK6i7i5b1n0@jntp> <v8p1jp$9gvr$1@dont-email.me> <v8p63d$a0fn$2@dont-email.me> <YRqt2RTE0zSHQN0l_bDKeY-9QkM@jntp> <4e68c0fa-a068-487e-bbba-8f908051c99d@att.net> <1LaR3C3TkRhtYie7FCrVnCkvrrY@jntp> <e206ca375a92b2f29a32f7b386460ea25a2531e9@i2pn2.org> <yC2u_4PJS64bJNH-zfnPwLo8mLs@jntp> <cc557382-6f1c-459a-be37-9a17d6a7ef83@att.net> Newsgroups: sci.logic,sci.math JNTP-HashClient: YRwlBIWxv_dan8i8R86_Jxgoo7g JNTP-ThreadID: KFm3f7lT2HjaTSiMfnv5xqZoSBw JNTP-Uri: http://news2.nemoweb.net/?DataID=xwjgqx81h0it2ZchzXBbpmwmoWU@jntp User-Agent: Nemo/0.999a JNTP-OriginServer: news2.nemoweb.net Date: Wed, 07 Aug 24 19:05:05 +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-07T19:05:05Z/8978988"; 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: 2587 Lines: 37 Le 07/08/2024 à 20:49, Jim Burns a écrit : > On 8/7/2024 9:05 AM, WM wrote: >> Le 07/08/2024 à 04:36, Richard Damon a écrit : >>> On 8/6/24 4:35 AM, WM wrote: > >>>> Right. But with NUF(x) = 1 ==> INVNUF(1) = x we get >>>> ∃u ∈ ⅟ℕ, u < x, ∀y > x = INVNUF(1). >>> >>> But INVNUF(1) can't exist, as it will be bigger than >>> 1/ ( ceil(1/INVNUF(1)) +1 ), and 1/ ( ceil(1/INVNUF(1)) +2 ) >>> which are two different unit fractions. >> >> Peano is not valid for all dark numbers. > > For each real x > 0 > there are ℵ₀.many visibleᵂᴹ unit.fractions > between x and 0 For each visible real. > > There is no real x > 0 such that > there are fewer than ℵ₀.many visibleᵂᴹ unit fractions > between x and 0 They exist but are dark. > > Darkᵂᴹ numbers do not make _fewer_ visibleᵂᴹ numbers, > do they? No. > > If darkᵂᴹ numbers are what's between [0,1] and (0,1] No that is not the case. Regards, WM