Path: ...!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Who here understands that the last paragraph is Necessarily true?
Date: Sat, 20 Jul 2024 09:47:02 -0500
Organization: A noiseless patient Spider
Lines: 30
Message-ID: <v7gil7$3iu15$1@dont-email.me>
References: <v6un9t$3nufp$1@dont-email.me> <v7013v$2ccv$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 20 Jul 2024 16:47:03 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c302f5257903c7c25aa8d1f6976e7879";
	logging-data="3766309"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+mjOVsTIXgFglk2fZpYwNH"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:9Z4TkdZK/MRWhN4ZINtQgWWHpMU=
In-Reply-To: <v7fvg3$3fmfv$1@dont-email.me>
Content-Language: en-US
Bytes: 3144

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; Genius
hits a target no one else can see." Arthur Schopenhauer