Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected)

On 7/9/2024 6:29 AM, Richard Damon wrote:

On 7/9/24 12:01 AM, olcott wrote:

>
It correctly determines that it needs to abort,
it aborts then it reports that it needed to abort.

 But that is the question of POOP, not halting.
 

*It does meet this criteria*
<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>
*You disavow sequence of sequence, selection and iteration*
*I have never explained this issue to Ben this clearly before*
Ben seems to believe that HHH must report that it need not
abort its emulation of DDD because AFTER HHH has already
aborted this emulation DDD does not need to be aborted.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer