Path: ...!eternal-september.org!feeder2.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Verified facts regarding the software engineering of DDD, HHH,
 and HHH1 ---
Date: Sat, 26 Oct 2024 21:04:49 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <vfk3jh$3kr0c$2@i2pn2.org>
References: <vf3eu5$fbb3$2@dont-email.me> <vf9qai$1scol$1@dont-email.me>
 <2a210ab064b3a8c3397600b4fe87aa390868bb12@i2pn2.org>
 <vf9sk6$1sfva$2@dont-email.me>
 <4c67570b4898e14665bde2dfdf473130b89b7dd4@i2pn2.org>
 <vfaqe7$21k64$1@dont-email.me>
 <f789d3ef27e3000f04feb3df4fc561c5da02381f@i2pn2.org>
 <vfcbl5$2b6h0$2@dont-email.me>
 <b707850664ad22bb1172006f4e24a27633ff1a4d@i2pn2.org>
 <vfe344$2o992$1@dont-email.me>
 <94449dae60f42358ae29bb710ca9bc3b18c60ad7@i2pn2.org>
 <vfeqqo$2ruhp$1@dont-email.me>
 <0553e6ab73fa9a21f062de4d645549ae48fd0a64@i2pn2.org>
 <vfg6us$36im7$2@dont-email.me>
 <da2d4f48cb3b9ac2e44b6f9c9ab28adb3022acb1@i2pn2.org>
 <vfh428$3bkkv$2@dont-email.me>
 <c72aa667027121011042e8b4413d343f3c61bdd1@i2pn2.org>
 <vfh8vt$3cdsr$2@dont-email.me>
 <8e17863681e1f32f132966f41699e57e5c322b41@i2pn2.org>
 <vfirsv$3ner2$6@dont-email.me>
 <405d1b511cf1bc113f2fe19fa7e8a42b104990ba@i2pn2.org>
 <vfitll$3oelm$1@dont-email.me> <vfj357$3j54a$2@i2pn2.org>
 <vfj4oa$3p235$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 27 Oct 2024 01:04:49 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3828748"; mail-complaints-to="usenet@i2pn2.org"
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <vfj4oa$3p235$3@dont-email.me>
Bytes: 3511
Lines: 45

On 10/26/24 12:18 PM, olcott wrote:
> On 10/26/2024 10:51 AM, Richard Damon wrote:
>> On 10/26/24 10:17 AM, olcott wrote:
>>> On 10/26/2024 9:10 AM, joes wrote:
>>>> Am Sat, 26 Oct 2024 08:47:11 -0500 schrieb olcott:
>>> Here is the one key point:
>>>
>>> DDD emulated by HHH must emulate itself emulating DDD.
>>> DDD emulated by HHH1 must NOT emulate itself emulating DDD.
>>> DDD emulated by HHH1 has the same behavior as executed DDD.
>>>
>>>
>>
>> And since HHH can not "correctly" (as in completely) emulate HHH 
> 
> You acknowledge that it is ridiculously stupid to require an
> emulating termination analyzer to infinitely emulate a
> non-terminating input and then you make this ridiculously
> stupid requirement again.
> 
> Do you have a short-circuit in your brain?
> 
> 

I never said that, that is just your stupidity misinterpreting people.

The requirement is that the decider must give the right answer.

THe right answer is based on the direct exectution of the machine the 
input describes, which is something totally not directly observable.

There is an equivalent, that it can use, and that is to look at the 
behavior of the unaborted emulation of the input. This is at least in 
the domain of what it can possible observe.

It doesn't need to DO the full emulation, but must be able to correctly 
predict what that would do if it was done.

What *IS* rediculousely stupid is to expect that a wrong answer could be 
right.

It is also ridiculously stupid to think that you have the authority to 
change the requirement on the problem, and still be able to claim you 
are working on the problem.

That just proves that you are nothing but a LIAR.