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: HHH(DDD) computes the mapping from its input to HHH emulating
 itself emulating DDD --- anyone that says otherwise is a liar
Date: Mon, 2 Dec 2024 22:18:02 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <28fe7a26e4c493cfb4d6dbac8b10ecb3f6c674e6@i2pn2.org>
References: <vhdd32$oq0l$1@dont-email.me> <vht1c8$1pgbs$1@dont-email.me>
 <8c25d20279cfad6662137025897575068e10fe39@i2pn2.org>
 <vhvdac$28qs1$2@dont-email.me>
 <7ccf1daed71803939ed9acc5dc0f436e46bbfba2@i2pn2.org>
 <vi3hj5$3ad5d$1@dont-email.me>
 <d69b59d8743dd2713e16ca41604ff30b4741b82d@i2pn2.org>
 <GcudnQRbD7HyPNv6nZ2dnZfqlJ-dnZ2d@giganews.com> <vi72fe$dbk$1@dont-email.me>
 <vi76pj$106j$2@dont-email.me>
 <db87472521a4e553e992c6933a235dec24fb002f@i2pn2.org>
 <vi8g7t$85ij$1@dont-email.me>
 <e50997c1bbf6f693cef6cdc491d37d45f1514021@i2pn2.org>
 <vi9fu5$g8di$1@dont-email.me>
 <823171f50b9026448aaeeb432f823b08d28ba457@i2pn2.org>
 <via0kb$in1f$1@dont-email.me>
 <e4908c1f897f550a507878a2d6979d8c874e9e6e@i2pn2.org>
 <via6jr$ju6v$4@dont-email.me>
 <10fc124f5fedce9b386b01276e3495cd2f8f5cb8@i2pn2.org>
 <viaau3$l05e$1@dont-email.me>
 <d8ba9d736f495798c05e3b28acba4b5481fad05a@i2pn2.org>
 <vilrda$3n1ap$1@dont-email.me>
 <7fc5a3f699ef10de36a78e60450b9986c2387291@i2pn2.org>
 <vilt0l$3ncur$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 3 Dec 2024 03:18:02 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1016314"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <vilt0l$3ncur$1@dont-email.me>
Bytes: 4229
Lines: 60

On 12/2/24 10:13 PM, olcott wrote:
> On 12/2/2024 9:00 PM, Richard Damon wrote:
>> On 12/2/24 9:46 PM, olcott wrote:
>>> On 11/28/2024 1:48 PM, joes wrote:
>>>> Am Thu, 28 Nov 2024 11:57:23 -0600 schrieb olcott:
>>>>> On 11/28/2024 11:06 AM, Richard Damon wrote:
>>>>>> On 11/28/24 11:43 AM, olcott wrote:
>>>>>>> On 11/28/2024 9:47 AM, Richard Damon wrote:
>>>>>>>> On 11/28/24 10:01 AM, olcott wrote:
>>>>
>>>>>>> DDD emulated by any HHH cannot possibly reach its "ret" instruction
>>>>>>> final halt state.
>>>>>>
>>>>>> But that DDD CAN'T be emulated more than 4 instructions by ANY pure
>>>>>> function, as you can't emulate past the call HHH instruction.
>>>>>>
>>>>> You just aren't paying any attention at all or are woefully inaccurate
>>>>> in your word choice. HHH1 does emulate all of DDD.
>>>>> HHH1 <is> a pure function.
>>>> Strawman. We are talking about HHH.
>>>>
>>>
>>> HHH1 has identical source-code to HHH the only difference
>>> is that DDD does not call HHH at all, thus does not call
>>> HHH in recursive emulation.
>>>
>>> *You said*
>>>     DDD CAN'T be emulated more than 4 instructions by
>>>     ANY pure function...
>>>
>>> Sure it can! It can be emulated by pure function HHH1
>>>
>>> It HHH1 an element of the set of pure functions?
>>> YES IT IS THUS YOU ARE WRONG !!!
>>>
>>>
>>
>>
>> Nope, becuase if HHH1 looks at the machine code of HHH, which wasn't 
>> part of its input, it isn.t a pure function, BY DEFINITION.
>>
> 
> How the Hell do you think that you can get away with
> saying that HHH is not part of the input to HHH1?
> 

Because you have defined that the input is JUST the x86 machine code of DDD.

If you include the code of HHH as part of your input, then you can't 
make you claim about no emulator HHH can emulate this input from 1 to 
infinte number of steps, as the input will ALWAYS have the one 
particular HHH that it was built on in it or it is clearly a different 
input.

How the hell do you think something you have specifically EXCLUDED can 
be part of the input.

Or, are you admitting that you are giving a DIFFENT input to HHH1 than 
to HHH"?

You are just caught in your LIES, for which you WILL BE judged.