Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy
Subject: Re: DDD correctly emulated by HHH is INCorrectly rejected as
 non-halting V2
Date: Sat, 13 Jul 2024 10:14:14 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <ffed9984ed52851ff1afe28a0cdbf96e9f7f4bdd@i2pn2.org>
References: <v6rg65$32o1o$3@dont-email.me>
 <97e0632d0d889d141bdc6005ce6e513c53867798@i2pn2.org>
 <v6sdlu$382g0$1@dont-email.me> <v6td3a$3ge79$1@dont-email.me>
 <v6tp1j$3imib$2@dont-email.me>
 <1972cbc6017755353916d2ba8b055fbaca0711df@i2pn2.org>
 <v6tvig$3imib$13@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 13 Jul 2024 14:14:14 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3137774"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v6tvig$3imib$13@dont-email.me>
Bytes: 3155
Lines: 45

On 7/13/24 9:30 AM, olcott wrote:
> On 7/13/2024 8:15 AM, Richard Damon wrote:
>> On 7/13/24 7:39 AM, olcott wrote:
>>> On 7/13/2024 3:15 AM, Fred. Zwarts wrote:
>>>>
>>>> This is double talk, because no HHH can possibly exist that 
>>>> simulates itself correctly.
>>>
>>> Your definition of correct contradicts the semantics of
>>> the x86 language making it wrong.
>>>
>>
>> No your ideas of the x86 language contradicts the actual sematic of 
>> the language.
>>
>> Where does it ever even imply that a partial emulation correctly 
>> predicts the behavior of the full program?
>>
> 
> You switch from disagreeing with the x86 language to disagreeing
> that all deciders must halt.
> 
> *This proves that every rebuttal is wrong somewhere*
> No DDD instance of each HHH/DDD pair of the infinite set of
> every HHH/DDD pair ever reaches past its own machine address of
> 0000216b and halts thus proving that every HHH is correct to
> reject its input DDD as non-halting.
> 
> 

No, because it has been shown that EVERY DDD instance that is based on 
ANY of the HHHs that abort their emulation and return will also reach 
past that address and return. It is only the PARTIAL EMULATION of them 
by HHH which does not and that is NOT a "correct emulation" per the x86 
language as it breaks the "and the next instruction will execute rule"

The fact that HHH has been designed to do this to meet the requirement 
to be a decider does not remove the requirement to answer per the 
behavior specified by the x86 language, which the decider now does not know.

Your "Logic" seems to be based on the concept that it is ok to lie if 
that is all you know how to do. That means yout logic just is not correct.

Your assumption that you can not be wrong just makes you wrong, as you 
think it is ok to assume things that are just not true. So, you are just 
lying to yourself and believing those lies.