Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Who here understands that the last paragraph is Necessarily true?
Date: Tue, 23 Jul 2024 10:02:05 +0300
Organization: -
Lines: 34
Message-ID: <v7nkhd$13q06$1@dont-email.me>
References: <v6un9t$3nufp$1@dont-email.me> <v70nt7$61d8$6@dont-email.me> <58fc6559638120b31e128fe97b5e955248afe218@i2pn2.org> <v71mjh$bp3i$1@dont-email.me> <1173a460ee95e0ca82c08abecdefc80ba86646ac@i2pn2.org> <v71okl$bvm2$1@dont-email.me> <5f6daf68f1b4ffac854d239282bc811b5b806659@i2pn2.org> <v71ttb$crk4$1@dont-email.me> <60e7a93cb8cec0afb68b3e40a0e82e9d63fa8e2a@i2pn2.org> <v721po$h4kr$1@dont-email.me> <v75a0l$16bjt$1@dont-email.me> <v76dth$1cf96$3@dont-email.me> <v77sna$1o83i$1@dont-email.me> <v78grc$1rc43$7@dont-email.me> <159ee197e838dba6c5c6909dca74c8a14e136246@i2pn2.org> <v78uhb$1ud1t$1@dont-email.me> <049a13f967ba3113219beb2223852628643f850e@i2pn2.org> <v79a09$208km$1@dont-email.me> <4a999933a5d46fc107a48bd20c57b351c0bf5e43@i2pn2.org> <v7b808$2e2aq$5@dont-email.me> <71c39e9ce213567b8a958fb5b9fe253d29cf0bcf@i2pn2.org> <v7bcri$2fhfm$1@dont-email.me> <v7d1f7$2s8e2$1@dont-email.me> <v7dumg$30pvh$11@dont-email.me> <v7fvg3$3fmfv$1@dont-email.me> <v7gil7$3iu15$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 09:02:05 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b538c18a808e7b1dbb2e6c99920961e5";
	logging-data="1173510"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18LXo6H3/cl7tgqp/2SaVee"
User-Agent: Unison/2.2
Cancel-Lock: sha1:jl2HKtyGEjYrfqj5lhGx9+An8Wg=
Bytes: 3213

On 2024-07-20 14:47:02 +0000, olcott said:

> On 7/20/2024 4:20 AM, Mikko wrote:
>> On 2024-07-19 14:54:07 +0000, olcott said:
>> 
>>> On 7/19/2024 1:35 AM, Fred. Zwarts wrote:
>>>> Op 18.jul.2024 om 17:37 schreef olcott:
>>>>> On 7/18/2024 10:27 AM, joes wrote:
>>> 
>>> When you are hungry you remain hungry until you eat.
>>>     Before HHH(DDD) aborts its emulation the directly
>>>     executed DDD() cannot possibly halt.
>> 
>> As lame as your other analogies. Being hungry is a state: one can be
>> sometimes hungry and other times not whithout becaming another person.
>> Programs are constant texts. They don't have states. They only have
>> permanent properties.
>> 
> 
> Right and like Richard says every program always executes

Programs don't execute. Somebody or something might execure a program.
Program is just a description of an execution.

People speak of programs as agents that do or can do this or that but that
is only a metaphor, more specifically personification. In English language
a personificaion is often used and listeners are expeted to know that it
must not be interpreted literally. In mathematical and technical discussion
it is better to avoid metaphors. Otherwise one may easily make logical errors
such as "An ass has long ears. Peter is an ass. Therefore Peter has long ears."

-- 
Mikko