Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mike Terry <news.dead.person.stones@darjeeling.plus.com>
Newsgroups: comp.theory
Subject: Re: Computing the mapping from the input to HHH(DD) --- REFUTES
 INCORRECT REQUIREMENTS
Date: Fri, 9 May 2025 17:49:25 +0100
Organization: A noiseless patient Spider
Lines: 32
Message-ID: <vvlbml$2tsdn$1@dont-email.me>
References: <vvla98$2rl0l$19@dont-email.me> <vvlajf$2sicg$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 09 May 2025 18:49:25 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a0995f1472274ef187d550b31df0c8ef";
	logging-data="3076535"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+TKdtI9hlSPpi1RclarpcS5a0VlrBuSAI="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.18.2
Cancel-Lock: sha1:vGaP/bvypGnxh7qckAbcyrFJWlI=
In-Reply-To: <vvlajf$2sicg$2@dont-email.me>
Bytes: 2400

On 09/05/2025 17:30, Richard Heathfield wrote:
> On 09/05/2025 17:25, olcott wrote:
>> 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)
> 
> You beg the question.
> 
> You have not shown that HHH correctly simulates anything.
> 
> Mike Terry, on the other hand, has shown that it fails to correctly simulate DDD.
> 

It may correctly /partially/ simulate DDD, in the sense of correctly simulating the sequence of 
instructions of DDD until it decides to stop simulating.  Well, in practice there is the 
complication that PO's code has design bugs meaning that what PO calls a simulation is NOT actually 
valid, due to misuse of global variables in his code!  To be valid, the sequence of instructions 
simulated must match the instructions of the computation being simulated (i.e. match the instruction 
sequence of the independently executed computation.

Obviously a partial simulation (even a valid one) not reaching the halt state does not mean that the 
computation being simulated never halts.


Mike.