Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Computing the mapping from the input to HHH(DD) --- REFUTES
 INCORRECT REQUIREMENTS
Date: Fri, 9 May 2025 13:17:29 -0500
Organization: A noiseless patient Spider
Lines: 54
Message-ID: <vvlgrp$2v51m$1@dont-email.me>
References: <vvla98$2rl0l$19@dont-email.me> <vvlajf$2sicg$2@dont-email.me>
 <vvlbml$2tsdn$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 09 May 2025 20:17:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b8226b0a928845ead4a9adb4b3b34c7d";
	logging-data="3118134"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+il13+X5u7bpOJX4IZkD3b"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:4gIv74oXTtEuX2bRUgmtemczOpo=
X-Antivirus-Status: Clean
Content-Language: en-US
In-Reply-To: <vvlbml$2tsdn$1@dont-email.me>
X-Antivirus: Norton (VPS 250509-6, 5/9/2025), Outbound message

On 5/9/2025 11:49 AM, Mike Terry wrote:
> 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.

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”.

That a correctly simulated input cannot possibly
reach its own simulated final halt state proves
that this simulated input cannot possibly halt.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer