Path: ...!eternal-september.org!feeder3.eternal-september.org!i2pn.org!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:00:48 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <fe0dd63055d22e57b5074882da22f0ce700de22a@i2pn2.org>
References: <vhdd32$oq0l$1@dont-email.me> <vhsri7$1ojus$1@dont-email.me>
 <5945fb90e23e2b78a90da47de02bd8e6d8c3ec4d@i2pn2.org>
 <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>
 <vilre6$3n2q7$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:00:48 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1014377"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <vilre6$3n2q7$1@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3720
Lines: 47

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.

It is using "global memory" outside its input to affect its behavior.

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

You clearly don't know what a "pure function" is.


Remember, you have made it clear that the code of HHH is *NOT* part of 
the input, and thus any accessing of it is the use of a global that 
wasn't part of the inputs to the funciton.