Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: DDD correctly emulated by HHH cannot possibly halt
Date: Wed, 10 Jul 2024 20:01:45 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <6d43f24547a3b170ce6f7a99e30ec60dec589f79@i2pn2.org>
References: <v6e7va$c4sv$1@dont-email.me> <v6g444$pdc2$1@dont-email.me>
 <v6go4d$sg7f$1@dont-email.me> <v6ikv5$19h6q$1@dont-email.me>
 <v6jguf$1ctoi$5@dont-email.me> <v6ji1d$1dpoc$1@dont-email.me>
 <v6jig0$1ctoi$11@dont-email.me> <v6jkib$1e3jq$1@dont-email.me>
 <v6jpe5$1eul0$1@dont-email.me> <v6jpqo$1e3jq$2@dont-email.me>
 <v6jqfg$1eul0$2@dont-email.me> <v6k6md$1h3a7$1@dont-email.me>
 <v6k9ef$1hicb$1@dont-email.me>
 <04b97cd4a405abead92368522fcf77070bb4fa55@i2pn2.org>
 <v6l24d$1oqjv$1@dont-email.me>
 <a267bfdf93c6fc179d09a3f62f25003f033aaff1@i2pn2.org>
 <v6m331$1tj30$7@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 11 Jul 2024 00:01:45 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2844748"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v6m331$1tj30$7@dont-email.me>
Content-Language: en-US
Bytes: 2763
Lines: 39

On 7/10/24 9:41 AM, olcott wrote:
> On 7/10/2024 8:27 AM, joes wrote:
>> Am Tue, 09 Jul 2024 23:19:25 -0500 schrieb olcott:
>>> On 7/9/2024 11:01 PM, joes wrote:
>>>   > That means that HHH doesn't return, in particular that it doesn't
>>>   > abort.
>>> DDD correctly emulated by any pure function HHH that correctly emulates
>>> 1 to ∞ steps of DDD can't make it past the above line of code no matter
>>> what.
>> That line being the call to itself -> it can't simulate itself.
>>
>>> *DDD NEVER HALTS*
>> DDD ONLY calls HHH...
>>
> 
> void DDD()
> {
>    HHH(DDD);
>    return;
> }
> 
> DDD correctly emulated by any pure function HHH that
> correctly emulates 1 to ∞ lines of DDD can't make it
> to the second line of DDD no matter what.
> 
> 

Nope, DDD does if HHH(DDD) returns.

You mean the emulation by HHH never gets there which is something different.

The first is behavior in the real world of the programs.

The second is the observation of that behavion by HHH.

HHH only gets partial information before it stops its observation, and 
thus doesn't actually know the right answer.

You just don't understand the difference between truth and knowledge, 
which means you don't understand what truth actually is.