Path: ...!feeds.phibee-telecom.net!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: "Chris M. Thomasson" Newsgroups: sci.math Subject: Re: Does the number of nines increase? Date: Mon, 1 Jul 2024 09:31:29 -0700 Organization: A noiseless patient Spider Lines: 41 Message-ID: References: <7IOaykTbfjXdA1AMOzAEFksmqwU@jntp> <0798c018-2943-4b3d-bc76-493318250573@att.net> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 01 Jul 2024 18:31:31 +0200 (CEST) Injection-Info: dont-email.me; posting-host="5c8b7d5aa38b15ca915d71f715c1f944"; logging-data="1228495"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+LjuI3XC/WJf6ov5tggbe6scqH/Y0D4sU=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:glz6C/12Q11PSssx+E3uiMfnc1E= Content-Language: en-US In-Reply-To: Bytes: 2393 On 7/1/2024 9:10 AM, WM wrote: > Le 30/06/2024 à 20:10, Jim Burns a écrit : >> On 6/30/2024 11:15 AM, WM wrote: >>> Le 29/06/2024 à 23:18, joes a écrit : >>>> Am Sat, 29 Jun 2024 17:01:10 +0000 schrieb WM: >> >>>>> Like "0.111..." it is a formula. >>>>> Formulas determine sequences. >>>>> The other way round is not possible. >>> >>>> Then all real numbers are formulas. >>> >>> Yes, you got it! >> >> Then there are more formulas than there are formulas. > > Of course. All constructed finite formulas belong to a potentially > infinite collection. ..6 is finite ..66 is finite ..666 is finite ..(6) is infinite :^) >> >> So, there is a point there. >> So, there is a formula there. >> But there isn't an indexed.formula there. >> So, all the indexed.formulas >> (finite strings, finite alphabet) >> aren't all the formulas. >> Somehow. > > Yes. There is no absolute "all" in potential infinity. > > Regards, WM >