Path: ...!feeds.phibee-telecom.net!3.eu.feeder.erje.net!feeder.erje.net!usenet.goja.nl.eu.org!pasdenom.info!from-devjntp Message-ID: JNTP-Route: news2.nemoweb.net JNTP-DataType: Article Subject: Re: Does the number of nines =?UTF-8?Q?increase=3F?= References: <59961718-bd36-46df-801a-4f977fcc05cf@att.net> Newsgroups: sci.math JNTP-HashClient: jpu087GWvVkdsQ9ZygSPj0UH-ro JNTP-ThreadID: 0JbXgoRqYUfKvvWhEBWZVJgnda4 JNTP-Uri: http://news2.nemoweb.net/?DataID=S_ufB4qoBkGnLpAXTvTnoE6Fz_I@jntp User-Agent: Nemo/0.999a JNTP-OriginServer: news2.nemoweb.net Date: Thu, 04 Jul 24 13:19:35 +0000 Organization: Nemoweb JNTP-Browser: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/126.0.0.0 Safari/537.36 Injection-Info: news2.nemoweb.net; posting-host="25d5a506365fc8262443ce1bd287e5d0233c1bef"; logging-data="2024-07-04T13:19:35Z/8931910"; 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 Bytes: 2350 Lines: 25 Le 03/07/2024 à 23:58, Moebius a écrit : > Am 03.07.2024 um 22:05 schrieb WM: > >> ∀x > 0: NUF(x) = ℵo is true. > > Right, if our domain of discourse is IR (i.e. if x ranges over the > elements in IR). > > This means: > >> between every x [in IR] and 0 there [...] lie ℵo unit >> fractions and ℵo finite distances between them. > > Exactly! Why do you adhere to the silly idea that every x > 0 is larger than ℵo finite distances? Note that you are wrong. Not every x > 0 is larger than ℵo finite distances. > Hinweis: Für jedes x e IR mit x > 0 gibt es (abzählbar) unendlich viele > Stammbrüche s, so dass s < x ist. > Only for x larger than ℵo finite distances. Regards, WM