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
Date: Thu, 28 Nov 2024 19:01:12 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <561d9909cc848414a712b42ffbd78b66762cfc09@i2pn2.org>
References: <vhdd32$oq0l$1@dont-email.me> <vhpffl$13p8e$1@dont-email.me>
 <vhqcg0$18k1i$1@dont-email.me> <vhs21l$1kglp$1@dont-email.me>
 <vhsncn$1nu6d$1@dont-email.me>
 <17dd1e646a0cd01f94d9505a9be90fd3925add12@i2pn2.org>
 <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>
 <ee397fde844b6e8f2266885eb1b657ad4da768f8@i2pn2.org>
 <via50f$ju6v$1@dont-email.me>
 <349430b1223591beb2ebea42b5f3a9e64ea8d795@i2pn2.org>
 <via6qe$ju6v$5@dont-email.me>
 <bfdb21e0849ab7859f5877b192b7367a09989b3a@i2pn2.org>
 <viabq7$l05e$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 29 Nov 2024 00:01:12 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="387757"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <viabq7$l05e$3@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 5959
Lines: 87

On 11/28/24 1:12 PM, olcott wrote:
> On 11/28/2024 11:09 AM, Richard Damon wrote:
>> On 11/28/24 11:47 AM, olcott wrote:
>>> On 11/28/2024 10:27 AM, joes wrote:
>>>> Am Thu, 28 Nov 2024 10:16:15 -0600 schrieb olcott:
>>>>> On 11/28/2024 4:04 AM, joes wrote:
>>>>>> Am Wed, 27 Nov 2024 19:15:41 -0600 schrieb olcott:
>>>>>>> On 11/27/2024 8:03 AM, Richard Damon wrote:
>>>>>>>> On 11/27/24 8:28 AM, olcott wrote:
>>>>>>>>> On 11/27/2024 6:14 AM, Richard Damon wrote:
>>>>>>>>>> olcott <NoOne@NoWhere.com> wrote:
>>>>>>>>>>> On 11/26/2024 7:02 AM, Richard Damon wrote:
>>>>>>>>>>>> On 11/25/24 11:08 PM, olcott wrote:
>>>>>>>>>>>>> On 11/24/2024 11:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>> On 11/24/24 9:30 AM, olcott wrote:
>>>>>>>>>>>>>>> On 11/23/2024 11:54 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>> On 11/23/24 11:54 AM, olcott wrote:
>>>>>>>>>>>>>>>>> On 11/23/2024 9:35 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>> On 11/23/24 10:15 AM, olcott wrote:
>>>>>>>>>>>>>>>>>>> On 11/23/2024 9:02 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>> On 11/23/24 9:04 AM, olcott wrote:
>>>>>>>>>>>>>>>>>>>>> On 11/23/2024 1:59 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>> On 2024-11-22 16:45:52 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>> On 11/22/2024 2:30 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>> On 2024-11-21 15:32:38 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>> On 11/21/2024 3:12 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-11-20 22:03:43 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>> On 11/20/2024 3:53 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-11-20 03:23:12 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 11/19/2024 4:12 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-11-18 20:42:02 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 11/18/2024 3:41 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-11-17 18:36:17 +0000, olcott said:
>>>>>>
>>>>>>> When DDD is emulated by HHH and DDD calls HHH(DDD) this call never
>>>>>>> returns.
>>>>>> That's weird. Why can't HHH simulate itself?
>>>>> I have already told you and conclusively proven that HHH does emulate
>>>>> itself emulating DDD. I have told you this dozens of times and my code
>>>>> continues to prove this.
>>>
>>>> I don't get it. HHH clearly halts in order to return a value. But that
>>>> value is "doesn't halt". Why does HHH, which does only a partial
>>>> simulation, report that itself (called by DDD) doesn't halt?
>>>>
>>>
>>> https://github.com/plolcott/x86utm
>>> You just may not have the required software engineering
>>> skill to get it. If you did then you could just carefully
>>> study the code and see.
>>>
>>>
>>
>> WHich just proves you are nothing by a liar, as HHH doesn't meet your 
>> requirements, so everything base on it is just a lie.
> 
> It DOES meet my requirements.

Then you don't know what your requirements mean, proving your stupidity.

Have you not required that HHH has always been required to be a "pure 
function", and thus only a function of its input?

> It may not meet your intentionally dishonest
> twisting of my precise words.

So, are you now saying HHH doesn't need to be a pure function?

If so, then my version that detects the second call and immediately 
return shows that there exists an HHH that CAN correctly emulate the 
"input" and reach the return statement.

> 
> The input to every HHH cannot possibly reach its
> own final halt state thus each HHH that rejects
> this input as non halting is necessarily correct.
> 

Sure it can, if you don't require HHH to be a pure function.

And if HHH is a pure function, it can't emulate more than 4 
instructions, as that is all the code that the input specifies.

If HHH has the knowledge that it is the HHH that DDD calls, then HHH 
must assume that this HHH will return if it does, and thus can not make 
the deduction you want.

Sorry, you are just painting yourself into the corner with your lies.