Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: Computing the mapping from the input to HHH(DD) --- REFUTES
 INCORRECT REQUIREMENTS
Date: Sat, 10 May 2025 17:53:35 +0200
Organization: A noiseless patient Spider
Lines: 32
Message-ID: <vvnsq0$3j0g1$6@dont-email.me>
References: <vvla98$2rl0l$19@dont-email.me> <vvmvfs$3dqci$1@dont-email.me>
 <vvnr4s$3in62$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 10 May 2025 17:53:36 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6132ef5c9a5712f5fb4e052234097a74";
	logging-data="3768833"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18L2xmDuUUEwABqUq3FHwlJ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:FPMuYlvA3m0OrDuu9Uj44OaFvAA=
In-Reply-To: <vvnr4s$3in62$6@dont-email.me>
Content-Language: nl, en-GB

Op 10.mei.2025 om 17:25 schreef olcott:
> On 5/10/2025 2:33 AM, Mikko wrote:
>> On 2025-05-09 16:25:12 +0000, olcott said:
>>
>>> void DDD()
>>> {
>>>    HHH(DDD);
>>>    return;
>>> }
>>>
>>> When 1 or more statements of DDD are correctly
>>> simulated by HHH then this correctly simulated
>>> DDD cannot possibly reach its own “return statement”.
>>> (final halt state)
>>
>> That one or more statements of DDD are correctly simulated does not
>> mean that DDD is correctly simulated.
>>
> 
> It is stipulated that when one or more statements
> of DDD are correctly simulated that one or more
> statements of DDD are correctly simulated.
> 
> It is ridiculously stupid to require a simulating
> termination analyzer to continue to simulate a non
> terminating input.
> 
1) In other words: When the computation of a value diverges, we can not 
require that it continues, so a wild guess must be correct.
2) If the analyser would continue, it would see that it is a terminating 
input. The input specifies a buggy halting program, but the buggy 
simulator does not see the behaviour specified in the input.