Path: ...!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: This function proves that only the outermost HHH examines the
 execution trace
Date: Sat, 27 Jul 2024 16:25:45 -0500
Organization: A noiseless patient Spider
Lines: 81
Message-ID: <v83okp$3i55i$1@dont-email.me>
References: <v80h07$2su8m$3@dont-email.me> <v82bi4$39v6n$4@dont-email.me>
 <v82tr5$3dftr$2@dont-email.me> <v82vtl$3dq41$2@dont-email.me>
 <v830hg$3dftr$9@dont-email.me> <v83des$2nhr$1@news.muc.de>
 <v83dp3$3g9s7$1@dont-email.me> <v83kpj$2nhr$2@news.muc.de>
 <v83li7$3hk7a$1@dont-email.me> <v83o2p$2nhr$3@news.muc.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 27 Jul 2024 23:25:46 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c4ee90cee71e7f0114aee78a4820d739";
	logging-data="3740850"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19r6cgZ2CDguGPEMQB0civT"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:DMDxfmX7N1JEqyFiMBTXV/+Gq58=
In-Reply-To: <v83o2p$2nhr$3@news.muc.de>
Content-Language: en-US
Bytes: 4407

On 7/27/2024 4:16 PM, Alan Mackenzie wrote:
> olcott <polcott333@gmail.com> wrote:
>> On 7/27/2024 3:20 PM, Alan Mackenzie wrote:
>>> olcott <polcott333@gmail.com> wrote:
>>>> On 7/27/2024 1:14 PM, Alan Mackenzie wrote:
>>>>> olcott <polcott333@gmail.com> wrote:
> 
>>>>>> Stopping running is not the same as halting.
>>>>>> DDD emulated by HHH stops running when its emulation has been aborted.
>>>>>> This is not the same as reaching its ret instruction and terminating
>>>>>> normally (AKA halting).
> 
>>>>> I think you're wrong, here.  All your C programs are a stand in for
>>>>> turing machines.  A turing machine is either running or halted.  There is
>>>>> no third state "aborted".
> 
>>>> Until you take the conventional ideas of
>>>> (a) UTM
>>>> (b) TM Description
>>>> (c) Decider
>>>> and combine them together to become a simulating partial halt decider.
> 
>>> Where does the notion of "aborted", as being distinct from halted, come
>>> from?
> 
> 
>> After all of these years and you don't get that?
> 
> "Aborted" being distinct from halted is an incoherent notion.  It isn't
> consistent with turing machines.  I was hoping you could give a
> justification for it.
> 
>> A simulating partial halt decider can stop simulating
>> its input when it detects a non-halting behavior pattern.
>> This does not count as the input halting.
> 
> Says who?  Well, OK, it would be the machine halting, not the input, but
> that's a small point.
> 

void Infinite_Recursion()
{
   Infinite_Recursion();
}

_Infinite_Recursion()
[0000215a] 55         push ebp
[0000215b] 8bec       mov ebp,esp
[0000215d] e8f8ffffff call 0000215a ; recursive call
[00002162] 5d         pop ebp
[00002163] c3         ret
Size in bytes:(0010) [00002163]

Begin Local Halt Decider Simulation   Execution Trace Stored at:113934
[0000215a][00113924][00113928] 55         push ebp
[0000215b][00113924][00113928] 8bec       mov ebp,esp
[0000215d][00113920][00002162] e8f8ffffff call 0000215a
[0000215a][0011391c][00113924] 55         push ebp
[0000215b][0011391c][00113924] 8bec       mov ebp,esp
[0000215d][00113918][00002162] e8f8ffffff call 0000215a
Local Halt Decider: Infinite Recursion Detected Simulation Stopped

Do you understand that HHH(Infinite_Recursion) correctly
implements this criteria for the above input?

<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its input D
     until H correctly determines that its simulated D would never
     stop running unless aborted then

     H can abort its simulation of D and correctly report that D
     specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>

If you can't understand that Infinite_Recursion() doesn't
halt then you don't know the subject matter nearly well enough.

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