Path: ...!news.nobody.at!weretis.net!feeder8.news.weretis.net!pasdenom.info!from-devjntp
Message-ID: <rOlUS7lI7QcAQJM95Z2fo8X09x0@jntp>
JNTP-Route: news2.nemoweb.net
JNTP-DataType: Article
Subject: Re: Does the number of nines =?UTF-8?Q?increase=3F?=
References: <tJf9P9dALSN4l2XH5vdqPbXSA7o@jntp> <ebc6ca84-347d-490f-96a0-896d722ca624@att.net> <ZxvnZcItFYRKO4bxT5M5b654Cto@jntp>
 <206ac30e-6ba5-46f2-978e-59182f946547@att.net> <ua_dk69eQeSqktCTQNG3SNIblRg@jntp>
 <38fbe173-2081-49a4-89d5-d1470f754565@att.net> <hAhJQ7nieohA_6mzxTp_Pm537J8@jntp>
 <69d5b220-850b-4faa-b9b4-b25cd74d1666@att.net> <iXwHO-pH72dPrRO8fKLu73u-pDc@jntp> <v6etjs$f608$6@dont-email.me>
Newsgroups: sci.math
JNTP-HashClient: Lj1n5sKvgm59tPndIYkQfLxClLs
JNTP-ThreadID: 0JbXgoRqYUfKvvWhEBWZVJgnda4
JNTP-Uri: http://news2.nemoweb.net/?DataID=rOlUS7lI7QcAQJM95Z2fo8X09x0@jntp
User-Agent: Nemo/0.999a
JNTP-OriginServer: news2.nemoweb.net
Date: Sun, 07 Jul 24 20:27:14 +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-07T20:27:14Z/8937669"; 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: 2508
Lines: 26

Le 07/07/2024 à 22:25, "Chris M. Thomasson" a écrit :
> On 7/7/2024 1:19 PM, WM wrote:
>> Le 05/07/2024 à 19:09, Jim Burns a écrit :
>>> On 7/5/2024 3:53 AM, WM wrote:
>> 
>>>> But uncountability could only be established by completed infinite 
>>>> sequences, not by finite formulas.
>> 
>>> Uncountability has been established for {y:N₁→10:¬∃0…}
>>> It has been, historically.
>>> It has been, here, for you (WM).
>>> It could be established again, for you,
>> 
>> It is impossible to completely write an infinite digit sequence.
>> An infinite digit sequence cannot be determined by writing all its terms.
>> An infinite digit sequence can only be determined by a finite expression.
>> There are only countably many finite expression.
> 
> What generated this?
> 
> .(121232)
> 
> ?

The finite formula ".(121232)" generated this.

Regards, WM