Sujet : Re: Who here understands that the last paragraph is Necessarily true?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 20. Jul 2024, 15:47:02
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v7gil7$3iu15$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 : Mozilla Thunderbird
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
all of itself steps simultaneously so there is never a
point in the execution trace before HHH has aborted its
emulation of DDD when it needs to abort this emulation.
DDD is already aborted before HHH begins to execute.
It is easy to spot liars when they deny tautologies.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer