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
Subject: Re: Philosophy of Computation: Three seem to agree how emulating
 termination analyzers are supposed to work
Date: Mon, 11 Nov 2024 10:53:26 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <da2380e1d90ee7ec9e8b461eebaf8bf7386e74fd@i2pn2.org>
References: <vgr1gs$hc36$1@dont-email.me> <vgsq2j$v928$1@dont-email.me>
 <vgt78v$11e5a$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 11 Nov 2024 15:53:26 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1983007"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <vgt78v$11e5a$5@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2161
Lines: 33

On 11/11/24 10:18 AM, olcott wrote:
> On 11/11/2024 5:33 AM, Mikko wrote:
>> OP says nothing aobut how emulationg termination analyzers are 
>> supposed to
>> work. 
> 
> When I provide direct access to fully operational code
> https://github.com/plolcott/x86utm/blob/master/Halt7.c
> your statement becomes a bald faced lie.
> 

Except that your code isn't an example of how they are SUPPOSED to work,

After all, every one of your claimed examples says that its input is 
non-halting, when in fact, when we run that input, per the DEFINITION of 
a termination analyzer, they halt.

Termination Analyzers are just incorrect to indicate that a halting 
program is non-halting.

All you are doing is proving your ignorance of the systems you are 
trying to claim making breakthroughs in.

>> I think that is OK. Philosophers may have opinions about that but
>> the question is not really relevant for theorieticsl or practical 
>> purposes.
>>
>> Anyone who wants to present or sell an emulating termination analyzer 
>> should
>> tell what that particular analyzer actually does.
>>
> 
>