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: I am claiming that these exact words are necessarily true
Date: Sun, 13 Oct 2024 09:29:35 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <5796b6ca5991a6b0ea4e66b83ed28b664782d15d@i2pn2.org>
References: <vegf4c$lk27$8@dont-email.me>
 <b736ad53f8783e70e229ff0650d5bc439eaa57ef@i2pn2.org>
 <vegh94$lk27$13@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 13 Oct 2024 13:29:35 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1852049"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <vegh94$lk27$13@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 3004
Lines: 59

On 10/13/24 9:17 AM, olcott wrote:
> On 10/13/2024 8:12 AM, Richard Damon wrote:
>> On 10/13/24 8:40 AM, olcott wrote:
>>> I am not and never have been claiming anything
>>> about incorrect paraphrases of these exact words:
>>>
>>> *HHH rejects DDD as non terminating*
>>
>> Which judst makes HHH wrong, since DDD will terminate, since that term 
>> applies to the PROGRAM that the input represents., and if HHH rejects 
>> it, it returns to its caller, and thus DDD will halt.
>>
>>>
>>> void DDD()
>>> {
>>>    HHH(DDD);
>>>    return;
>>> }
>>>
>>> When HHH is an x86 emulation based termination analyzer
>>> then each DDD emulated by any HHH that it calls never returns.
>>
>> The emulation of DDD by HHH never reaches a final state, but it HHH 
>> aborts its emulation and return 0, then the PROGRAM DDD will return.
>>
> 
> Rebutting an incorrect paraphrase of my exact words
> <is> the strawman deception.
> 
>>>
>>> Each of the directly executed HHH emulator/analyzers that returns
>>> 0 correctly reports the above non-terminating behavior of its input.
>>
>> No, since termination is a property of the PROGRAM, and not a partial 
>> emuation of it, you answer is proven wrong, and you are guilty of 
>> using unsound logic.
>>
> 
> Rebutting an incorrect paraphrase of my exact words
> <is> the strawman deception.
> 

But I rebuted your exact words. The fact that they are equivical is your 
own fault, since the other meaning, the one you seem to want to use, is 
based on a category error, it can't be correct. (partial emulation do 
not have a non-terminating property)

>>>
>>> *Fully operational code is here*
>>> https://github.com/plolcott/x86utm/blob/master/Halt7.c https:// 
>>> github.com/plolcott/x86utm
>>>
>>
>> Which shows that all those DDD do terminate.
>>
>> It also proves you have been lying that your decider is a pure 
>> function and thus nothing you say has any validity.
> 
>