Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error

Am Tue, 04 Jun 2024 13:02:03 -0500 schrieb olcott:

On 6/4/2024 11:58 AM, Mike Terry wrote:

On 04/06/2024 11:52, Fred. Zwarts wrote:

Op 04.jun.2024 om 12:29 schreef Fred. Zwarts:

Op 03.jun.2024 om 23:24 schreef olcott:

On 6/3/2024 3:09 PM, Fred. Zwarts wrote:

Op 03.jun.2024 om 14:20 schreef olcott:

On 6/3/2024 4:42 AM, Ben Bacarisse wrote:

Mike Terry <news.dead.person.stones@darjeeling.plus.com> writes:
>

*DD correctly simulated by HH would never stop running unless
aborted*
*We can see that the following DD cannot possibly halt when*
*correctly simulated by every HH that can possibly exist*

>
It is very clear that if the simulated HH would halt, then DD would
halt. So your claim comes down to HH not halting when simulating
itself.
>

Mike Terry replied to this and explained it correctly as reply
directly to you On 6/3/2024 12:36 PM, Mike Terry wrote:
>
http://al.howardknight.net/?

STYPE=msgid&MSGI=%3CHlGdnbvc3Ly_YsD7nZ2dnZfqn_adnZ2d%40brightview.co.uk%3E

>
>

He says that there is no infinite recursion, because the simulation
is aborted.
If you want to interpret his reply in this way,

 
Yes, that's my intended meaning
 

then it also shows that neither HH, nor DD are

involved in a recursive recursion. This implies

>
That should be: ... are involved in an infinite recursion, because the
simulation was aborted,

 
Yes.  (There is finite recursive simulation, i.e. H partially simulates
H etc..)
 

which implies ...
>

that none of them reaches their final state.

 
None of their /simulations by H/ reach their final state.  Obviously
there's a huge distinction between the abstract concept of a
computation/halting, and a partial simulation of that computation by
some other program, and I'm surprised anyone (not you specifically)
tolerates confusion on that point.
 
Suppose P(I) is some computation that halts after 13422 steps.  Clearly
a partial simulation of P(I) by H could be abandoned ("aborted") after
8333 steps.  So the /partial simulation by H/ "does not halt", but the
computation P(I) of course halts.
 
I'm not trying to suggest that considering the "halting" behaviour of a
partial simulation by a specific program is a /useful/ thing to be
looking at, but none the less that is what PO is doing...
 

The meaning of these words prove that I am correct about how partial
simulations correctly determine the halt status of their non-halting
inputs.
<Professor Sipser agreed>
</Professor Sipser agreed>

You completely missed the point. The simulator absolutely can keep track
of repeating states; it just can't halt if its input doesn't, because that
is a difference in behaviour which it is not allowed to have.

--
joes