Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
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 21:13:25 -0600
Organization: A noiseless patient Spider
Lines: 47
Message-ID: <vilt0l$3ncur$1@dont-email.me>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 03 Dec 2024 04:13:25 +0100 (CET)
Injection-Info: dont-email.me; posting-host="2c10405a61f3132f31fd64699a1fb8f9";
	logging-data="3912667"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19QqNdkm65vqkXXtGAMwVGb"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:qGp6fEaEuUkMD1bX6ElLefLp7rM=
Content-Language: en-US
In-Reply-To: <7fc5a3f699ef10de36a78e60450b9986c2387291@i2pn2.org>
X-Antivirus: Norton (VPS 241202-6, 12/2/2024), Outbound message
X-Antivirus-Status: Clean
Bytes: 3846

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?

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer