Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: HHH maps its input to the behavior specified by it --- key error
 in all the proofs --- Mike --- basis
Date: Wed, 14 Aug 2024 19:40:52 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <2337974ddf2b276988bb81b0c30d8616a1d76079@i2pn2.org>
References: <v8jh7m$30k55$1@dont-email.me> <v99870$14mlk$1@dont-email.me>
 <0f8f134fe961ee00910cce1d7f05b632d7567c6c@i2pn2.org>
 <v9abfu$2nabt$1@dont-email.me>
 <86c21e8a63450bf8b0c32f4f17ba0b503a914fe0@i2pn2.org>
 <v9d01i$39tbd$2@dont-email.me>
 <2c853efb65c3d8e2d4ba1c484f7002c74c68d895@i2pn2.org>
 <v9d1v8$3a9pe$1@dont-email.me>
 <e614d6b981fd5fa6eefc84894a14448d4663e3c7@i2pn2.org>
 <v9da2d$3bth4$1@dont-email.me>
 <64ddeeaa3a55a9e410de599bd8df53d3644ee5a3@i2pn2.org>
 <v9de0o$3cjse$1@dont-email.me> <v9dela$3cjse$2@dont-email.me>
 <b7c45ea22cb83908c31d909b67f4921156be52e3@i2pn2.org>
 <v9dgvl$3d1an$1@dont-email.me>
 <d289636b1d244acaf00108f46df093a9fd5aa27c@i2pn2.org>
 <v9dk2j$3dp9h$1@dont-email.me>
 <8318f5969aa3074e542747fe6ba2916d7f599bde@i2pn2.org>
 <TyKdnc3hCNvmUyf7nZ2dnZfqn_udnZ2d@brightview.co.uk>
 <v9ekta$3necg$1@dont-email.me>
 <2f8c1b0943d03743fe9894937092bc2832e0a029@i2pn2.org>
 <v9fn50$3ta4u$2@dont-email.me> <v9hmfc$c71c$1@dont-email.me>
 <v9ic89$f16v$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 14 Aug 2024 23:40:52 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2598723"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <v9ic89$f16v$6@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3415
Lines: 42

On 8/14/24 9:42 AM, olcott wrote:
> On 8/14/2024 2:30 AM, Mikko wrote:
>> On 2024-08-13 13:30:08 +0000, olcott said:
>>
>>> On 8/13/2024 6:23 AM, Richard Damon wrote:
>>>> On 8/12/24 11:45 PM, olcott wrote:
>>>>>
>>>>> void DDD()
>>>>> {
>>>>>    HHH(DDD);
>>>>>    return;
>>>>> }
>>>>>
>>>>> *DDD correctly emulated by HHH cannot possibly reach its*
>>>>> *own "return" instruction final halt state, thus never halts*
>>>>>
>>>>
>>>> Which is only correct if HHH actuallly does a complete and correct 
>>>> emulation, or the behavior DDD (but not the emulation of DDD by HHH) 
>>>> will reach that return.
>>>>
>>>
>>> A complete emulation of a non-terminating input has always
>>> been a contradiction in terms.
>>>
>>> HHH correctly predicts that a correct and unlimited emulation
>>> of DDD by HHH cannot possibly reach its own "return" instruction
>>> final halt state.
>>
>> That is not a meaningful prediction because a complete and unlimited
>> emulation of DDD by HHH never happens.
>>
> 
> A complete emulation is not required to correctly
> predict that a complete emulation would never halt.
> 

But since HHH is both a Halt Decider and an emulator, it must obey both 
criteria, so it MUST actually predict what the complete emulation will do.

You don't seem to understand that both view of HHH must exist in the 
same code, and it must satisfy both requrements at the same time, which 
it can't.