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 specifies recursive emulation to HHH and halting to HHH1
Date: Wed, 26 Mar 2025 23:28:55 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <61f821b5a18046ab36ddb6c52a003b574cf34de6@i2pn2.org>
References: <vrfuob$256og$1@dont-email.me> <vrmua7$cvat$8@dont-email.me>
 <dc633a07cd15e2c80ed98083cc5f9d218edcc9da@i2pn2.org>
 <vro0hk$1c9ia$1@dont-email.me>
 <9adf9b9c30250aaa2d3142509036c892db2b7096@i2pn2.org>
 <vrpfua$2qbhf$2@dont-email.me>
 <211f9a2a284cb2deaa666f424c1ef826fe855e80@i2pn2.org>
 <vrq330$3dq3n$1@dont-email.me>
 <e7268e8ef47579cacb49b0533d51549a77eb0b96@i2pn2.org>
 <vrqb6f$3k9kh$2@dont-email.me>
 <3f250e699762cfe6fccc844f10eb04f32d470b6a@i2pn2.org>
 <vrrpcl$11a56$4@dont-email.me>
 <8423998561d8feee807509b0ed6335123d35a7c9@i2pn2.org>
 <vrt3gv$264jb$4@dont-email.me>
 <448c82acff6b5fc1d2aa266be92df6f778ec2c6a@i2pn2.org>
 <vru5tp$38ob9$1@dont-email.me>
 <ac61f679d7ddb39b0ceaedd7f562899d36346535@i2pn2.org>
 <vrvccp$aq8m$3@dont-email.me>
 <e166831a8e02332d64ec151f61481e2629e6e53a@i2pn2.org>
 <vrvsh4$p4vd$2@dont-email.me>
 <c93030bbd81fb313c76c256c6e54beb48b07dfdd@i2pn2.org>
 <vs1vuv$2ot1m$1@dont-email.me>
 <d2f86fad6c5823e3c098f30d331576c52263b398@i2pn2.org>
 <vs2fgn$354gv$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 27 Mar 2025 03:31:14 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1919647"; 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: <vs2fgn$354gv$5@dont-email.me>
Content-Language: en-US
Bytes: 3831
Lines: 52

On 3/26/25 11:09 PM, olcott wrote:
> On 3/26/2025 8:22 PM, Richard Damon wrote:
> 
> _DDD()
> [00002172] 55         push ebp      ; housekeeping
> [00002173] 8bec       mov  ebp,esp  ; housekeeping
> [00002175] 6872210000 push 00002172 ; push DDD
> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
> [0000217f] 83c404     add  esp,+04
> [00002182] 5d         pop  ebp
> [00002183] c3         ret
> Size in bytes:(0018) [00002183]
> 
>> Non-Halting is that the machine won't reach its final staste even if 
>> an unbounded number of steps are emulated. Since HHH doesn't do that, 
>> it isn't showing non-halting.
>>
> 
> DDD emulated by any HHH will never reach its final state
> in an unbounded number of steps.

But DDD emulated by an actually correct emulator will, since the HHH 
that DDD calls will return 0 to it.

> 
> DDD emulated by HHH1 reaches its final state in a finite
> number of steps.
> 

Thus

> This proves that the DDD input to HHH that defines a
> pathological relationship to HHH specifies different
> behavior than the DDD input to HHH1 where no
> pathological relationship is defined.
> 
> 

But that isn't the property that the problem is asking for, as HHH needs 
to answer about the CORRECT emulation of the input given to it, not ITS 
emulaition that will only be partial.

You are just proving that you are a liar and a fraud that doesn't know 
what he is talking about.

Remember the *DEFINITION* of the Halting Problem, that a Halt Decider is 
supposed to return the mapping of the machine its input describes to its 
halting status when it is run.

It is EXPLICITLY about the direct execution of the machine described to 
it, not your subjective POOP of what HHHs simulation shows it.

You are just proving that you don't understand what you are talking about.