Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: HHH(DDD)==0 is correct
Date: Sat, 5 Jul 2025 11:16:37 -0500
Organization: A noiseless patient Spider
Lines: 75
Message-ID: <104bj55$1hqln$13@dont-email.me>
References: <103jmr5$3h0jc$1@dont-email.me> <103k1mc$3j4ha$1@dont-email.me>
 <103lfn1$ml0$1@dont-email.me> <103m813$6dce$1@dont-email.me>
 <103ol2u$raq9$1@dont-email.me> <103onmp$rq7e$1@dont-email.me>
 <103r0ce$1esb9$1@dont-email.me> <103rhf6$1hc53$8@dont-email.me>
 <0c50a8ee4efb36cef4271674792a090125187f9d@i2pn2.org>
 <gPg8Q.1988877$4AM6.189428@fx17.ams4>
 <a60543ff9feb748df80b32970c67bb8c7ab13d89@i2pn2.org>
 <tJA8Q.6$r61e.2@fx11.ams4>
 <5e7f84c84b4ed51e195dd33afd9ed7eca89be454@i2pn2.org>
 <F9U8Q.300$ZQ4b.16@fx16.ams4> <1044r60$3v2k1$1@dont-email.me>
 <1045gll$37j5$1@dont-email.me> <1045uma$5p40$1@dont-email.me>
 <1048077$n883$1@dont-email.me> <1048imf$qd4f$3@dont-email.me>
 <85f05c8b6ceeefbe07791b4dd06b25b83d8297a4@i2pn2.org>
 <1048l5m$ra0n$1@dont-email.me>
 <26fa177bac9523d317f0cf5899abd882e7515374@i2pn2.org>
 <104968v$v1s9$1@dont-email.me>
 <03046f5e7157fc81f0e14a285499a7bc5d1d65b2@i2pn2.org>
 <1049jul$11mmt$4@dont-email.me>
 <47880ae0a4fac737e4332fc629d6d95124ebfa5d@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 05 Jul 2025 18:16:38 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="3f20c216653e9576f04ef75b87489cd0";
	logging-data="1632951"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/cCt+TsUd25wf74zM9L67S"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:bhyGAust8jodfMQM3y5O4kiQZi0=
In-Reply-To: <47880ae0a4fac737e4332fc629d6d95124ebfa5d@i2pn2.org>
Content-Language: en-US
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250705-4, 7/5/2025), Outbound message

On 7/5/2025 8:01 AM, Richard Damon wrote:
> On 7/4/25 6:17 PM, olcott wrote:
>> On 7/4/2025 3:33 PM, Richard Damon wrote:
>>> On 7/4/25 2:24 PM, olcott wrote:
>>>> On 7/4/2025 12:48 PM, Richard Damon wrote:
>>>>> On 7/4/25 9:32 AM, olcott wrote:
>>>>>> On 7/4/2025 8:22 AM, joes wrote:
>>>>>>> Am Fri, 04 Jul 2025 07:50:23 -0500 schrieb olcott:
>>>>>>>> On 7/4/2025 2:35 AM, Mikko wrote:
>>>>>>>>> On 2025-07-03 12:56:42 +0000, olcott said:
>>>>>>>>>> On 7/3/2025 3:57 AM, Mikko wrote:
>>>>>>>>>>> On 2025-07-03 02:50:40 +0000, olcott said:
>>>>>>>>>>>> On 7/1/2025 11:37 AM, Mr Flibble wrote:
>>>>>>>>>>>>> On Mon, 30 Jun 2025 21:12:48 -0400, Richard Damon wrote:
>>>>>>>>>>>>>> On 6/30/25 2:30 PM, Mr Flibble wrote:
>>>>>>>
>>>>>>>>>>>>> No. A simulator does not have to run a simulation to 
>>>>>>>>>>>>> completion if
>>>>>>>>>>>>> it can determine that the input, A PROGRAM, never halts.
>>>>>>
>>>>>>> If. But here it confuses that with not being able to simulate 
>>>>>>> past the
>>>>>>> recursive call.
>>>>>>>
>>>>>>
>>>>>> It is the correct simulation of the input that
>>>>>> specifies the actual behavior of this input.
>>>>>
>>>>> Right, and that means correctly simulating EVERY instruction that 
>>>>> makes up the PROGRAM, which must include the code of *THE* HHH, or 
>>>>> you can't "correctly simulate" the call instruction.
>>>>>
>>>>> SIn
>>>>>
>>>>>>
>>>>>> If this simulation cannot simulate past the recursive
>>>>>> call then this correctly simulated input cannot possibly
>>>>>> reach its own correctly simulated final halt state.
>>>>>>
>>>>>
>>>>> But it can, as the call goes into HHH, and you then just simulate 
>>>>> the code of HHH.
>>>>>
>>>>
>>>> Do you mean like this? (as I have been telling you for three years)
>>>> https://liarparadox.org/HHH(DDD)_Full_Trace.pdf
>>>
>>> Yes, so where in that trace does HHH's "correct simulation" differ 
>>> from the exact same simulation generated by HHH1 before HHH aborts?
>>>
>>>
>>
>> When we compare DDD emulated by HHH and DDD emulated
>> by HHH1 SIDE-BY-SIDE. (Mike didn't do it this way).
>>
>> *The difference is when*
>> HHH begins to simulate itself simulating DDD and
>> HHH1 NEVER begins to simulate itself simulating DDD.
> 
> And where does that show as a difference in the trace?
> 
> "itself" isn't something in the code/
> 

Yes there aren't any machine addresses in x86 code.
x86 code always only works on the basis of its psychic ability.

We can't possibly see that DDD calls the machine address
of HHH because in x86 code there is no such thing as machine
addresses.


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