Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: HHH(DDD)==0 is correct
Date: Sat, 12 Jul 2025 11:14:38 +0300
Organization: -
Lines: 38
Message-ID: <104t5he$220bp$1@dont-email.me>
References: <103jmr5$3h0jc$1@dont-email.me> <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> <88bb43aca42ffc4a59d979c4c4f50441ce57b385@i2pn2.org> <10464n1$6cra$1@dont-email.me> <75c102da6bc85c8677b0a126d3d6f13c5018ae9c@i2pn2.org> <10466v2$7e0u$1@dont-email.me> <10480ld$nasn$1@dont-email.me> <1048j4b$qd4f$4@dont-email.me> <104akb7$jhv7$2@dont-email.me> <104bi5m$1hqln$9@dont-email.me> <104df2q$231m5$1@dont-email.me> <104e329$2852a$4@dont-email.me> <104g09p$2r0ur$1@dont-email.me> <104gk29$2uc68$4@dont-email.me> <104ihnn$3eee9$1@dont-email.me> <104j97d$3jrpl$2@dont-email.me> <104l9fb$5428$1@dont-email.me> <104loa2$7l4q$4@dont-email.me> <104o014$pi8a$1@dont-email.me> <104ohu4$t0u4$4@dont-email.me> <104qh66$1dge1$1@dont-email.me> <104r90d$1icss$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 12 Jul 2025 10:14:39 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a28fc7ada9964f33486af00b435bc2ae";
	logging-data="2163065"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18j+kPXXFxcHg9wHDOvM5+e"
User-Agent: Unison/2.2
Cancel-Lock: sha1:ZEBFpC3ZQahT6XUgHrr9h+wtee0=

On 2025-07-11 15:01:33 +0000, olcott said:

> On 7/11/2025 3:15 AM, Mikko wrote:
>> On 2025-07-10 14:15:31 +0000, olcott said:
>> 
>>> On 7/10/2025 4:09 AM, Mikko wrote:
>>>> On 2025-07-09 12:45:54 +0000, olcott said:
>>>> 
>>>>> 
>>>>> *Here is HHH matching that pattern*
>>>>> executed HHH simulates DDD that calls emulated HHH(DDD)
>>>>> that simulates DDD that calls emulated emulated HHH(DDD)
>>>>> 
>>>>> *Here is the 197 page full execution trace of that*
>>>>> https://liarparadox.org/HHH(DDD)_Full_Trace.pdf
>>>> 
>>>> That trace is a little long. Where in that trace is the forth level of
>>>> recursive simulation statrted?
>>>> 
>>> After the non-terminating behavior pattern is matched
>>> on line 996
>>> https://github.com/plolcott/x86utm/blob/master/Halt7.c
>>> HHH rejects DDD as specifying non-halting behavior.
>> 
>> This is a good example of what I meant in another comment when
>> I said that you don't answer questions.
> 
> When you ask an incorrect question, like you did I provide
> an answer to the corrected question.

It is not an answer if the question is not asked.

The correct answer to the question that shoueld be asked instead
of "does DDD halt" is 42.

-- 
Mikko