Path: ...!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Newsgroups: sci.math
Subject: Re: WM and end segments...
Date: Tue, 23 Jul 2024 14:20:09 -0700
Organization: A noiseless patient Spider
Lines: 55
Message-ID: <v7p6qa$1c9as$1@dont-email.me>
References: <v7jrk4$7rnq$2@dont-email.me> <87ed7m7349.fsf@bsb.me.uk>
 <0QcM9G1omJ2PKIjSNt0DAeubbXs@jntp> <v7lslt$ut9$1@news.muc.de>
 <egPMHBTvfiPkgtOjcVsL2aBLYgQ@jntp> <v7mctk$25j9$2@news.muc.de>
 <hYHBwcZP2l4WCfbU19WrhqVGTLo@jntp> <v7nqqg$1h08$1@news.muc.de>
 <6I1T1h4irpLul8CAHSeRU-rELD8@jntp> <v7p1vl$1baki$2@dont-email.me>
 <v7p2av$1bal4$3@dont-email.me> <v7p43s$1bm3c$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 23 Jul 2024 23:20:11 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0307fbf971d8559d1911245420400168";
	logging-data="1451356"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+fIzgtChZkgnM6s6qzQXc15Yavnjlok5E="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:xEz45Zhb2KSPyMTYDBsZ+H9aWmc=
In-Reply-To: <v7p43s$1bm3c$1@dont-email.me>
Content-Language: en-US
Bytes: 2883

On 7/23/2024 1:34 PM, Moebius wrote:
> Am 23.07.2024 um 22:03 schrieb Chris M. Thomasson:
>  > On 7/23/2024 12:57 PM, Chris M. Thomasson wrote:
>  >
>  >> "LLLLLLLL....." is an infinite expression, indeed....
> 
> No, it's not.

I am not in the programming world where "LLLLLLLL....." is a string 
literal, so to speak. Think if LLLLLLLL..... representing an endless 
string of L's. So, grab next would always return an L.

So a finite shorthand for the infinite expansion? Fair enough?


> Hint: It consists of 8 "L"s and 5 "."s, in total of 13 characters. No?

Sure, but this consists of

".(9)" 4 characters, or 5 with the NUL in C/C++, yet, say it translates 
into .(9), aka endless nines, aka one in base 10. Right? A parser can do 
this.


> (A programmer really should know this! :-)

Of course I do.


>  > So, it can be reduced to:
>  >
>  > (L) = LLL... ? Fair enough?
> 
> More math like, defining it as an infinite sequence:
> 
>      (c_n)_(n e IN) with c_n = "L" for all n e IN. :-P
> 
> We'd usually write (a term referring to) this sequence the following way:
> 
>      ("L", "L", "L", ...) .
> 
> :-P
> 
> Of course, most mathematicains would just write
> 
>      (L, L, L, ...)
> 
> when it's clear that "L" is not some sort of variable or arbitrary 
> constant but should refer to the letter "L". :-P
> 
> Hint: WM does not even know how to write terms for (i.e. referring to) 
> infinite sequences properly.

Big time!