Deutsch English Français Italiano |
<UxK9-w52mbKHJ77U1V4M6I24HeY@jntp> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!feeds.phibee-telecom.net!2.eu.feeder.erje.net!feeder.erje.net!proxad.net!feeder1-2.proxad.net!usenet-fr.net!glou.org!news.glou.org!pi2.pasdenom.info!from-devjntp Message-ID: <UxK9-w52mbKHJ77U1V4M6I24HeY@jntp> JNTP-Route: news2.nemoweb.net JNTP-DataType: Article Subject: Re: Replacement of Cardinality References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp> <45ad1007-b1a7-49d0-a650-048f02738226@att.net> <ZrUpfgO3RQL0qsj_ugH_ng035iM@jntp> <e51a19c8-9f22-43ec-a382-b93019b4ce1d@att.net> <Aj67svgBqlC6ubyAZ01SM3EN5mc@jntp> <9ef8dd8a-69be-44e2-bcf6-ea9c1fb30e21@att.net> <LHtSphVaxvF9i9lsFtvEfbB4PS8@jntp> <92189533-0c1f-4532-816f-564651cc8bf7@att.net> <zzRMVwrDvZCAHeIta8vMnBBxp8E@jntp> <c4bbc4d3-26b3-4e53-9c82-87c8396d155d@att.net> Newsgroups: sci.logic,sci.math JNTP-HashClient: -YryGcsKEnTR5vQE8G2ZxH3tySU JNTP-ThreadID: KFm3f7lT2HjaTSiMfnv5xqZoSBw JNTP-Uri: http://news2.nemoweb.net/?DataID=UxK9-w52mbKHJ77U1V4M6I24HeY@jntp User-Agent: Nemo/0.999a JNTP-OriginServer: news2.nemoweb.net Date: Mon, 19 Aug 24 11:40:37 +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-19T11:40:37Z/8992394"; 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: 2621 Lines: 27 Le 17/08/2024 à 23:39, Jim Burns a écrit : > On 8/17/2024 9:28 AM, WM wrote: >> Le 16/08/2024 à 19:39, Jim Burns a écrit : > >>> no element of ℕᵈᵉᶠ is its upper.end, >>> because >>> for each diminishable k >>> diminishable k+1 disproves by counter.example >>> that k is the upper.end of ℕᵈᵉᶠ >> >> SBZ(x) starts with 0 at 0 and increases, >> but at no point x it increases by more than 1 >> because of >> ∀n ∈ ℕ: 1/n - 1/(n+1) > 0. >> Therefore there is a smallest unit fractions >> and vice versa a greatest natnumber. >> What can't you understand? > > How can ½⋅β > ⎛ half the allegedly.positive greatest.lower.bound β of > ⎝ visibleᵂᴹ.unit.fractions Visible unit fractions have the lower bound 0. Dark unit fractions have a smallest element. No smaller unit fractions is existing because no larger natnumber is existing. Regards, WM