Path: ...!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:22:43 -0700
Organization: A noiseless patient Spider
Lines: 58
Message-ID: <v7p6v4$1c9as$3@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>
 <v7p6qa$1c9as$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:22:44 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0307fbf971d8559d1911245420400168";
	logging-data="1451356"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/JeRlOSYJY59ElUyvPBSxZBXh+9fawtuI="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:cswmqSG+Ulf0XTmn+FNe2ZjHVPo=
In-Reply-To: <v7p6qa$1c9as$1@dont-email.me>
Content-Language: en-US
Bytes: 3071

On 7/23/2024 2:20 PM, Chris M. Thomasson wrote:
> 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!
> 

Think of the string literal "(L)(13)" Means go left 13 times.