Sujet : Re: Who here understands that the last paragraph is Necessarily true?
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 23. Jul 2024, 08:02:05
Autres entêtes
Organisation : -
Message-ID : <v7nkhd$13q06$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
User-Agent : Unison/2.2
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