Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC

On 5/23/2025 1:37 PM, Keith Thompson wrote:

Ben Bacarisse <ben@bsb.me.uk> writes:

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

[...]

And the big picture is that this can be done because false is the
correct halting decision for some halting computations.  He has said
this explicitly (as I have posted before) but he has also explained it
in words:
>
| When-so-ever a halt decider correctly determines that its input would
| never halt unless forced to halt by this halt decider this halt
| decider has made a correct not-halting determination.

 Hmm.  I don't read that the way you do.  Did I miss something?
 It assumes that the input is a non-halting computation ("its input
would never halt") and asserts that, in certain circumstances,
his mythical halt decider correctly determines that the input
is non-halting.
 When his mythical halt decider correctly determines that its input
doesn't halt, it has made a correct non-halting determination.
It's just a tautology.
 

It is a tautology that a dozen people here
have been trying to get away with denying
for two and one half years.
<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>
_DDD()
[00002192] 55             push ebp
[00002193] 8bec           mov ebp,esp
[00002195] 6892210000     push 00002192
[0000219a] e833f4ffff     call 000015d2  // call HHH
[0000219f] 83c404         add esp,+04
[000021a2] 5d             pop ebp
[000021a3] c3             ret
Size in bytes:(0018) [000021a3]
DDD emulated by HHH according to the semantics of the x86
language cannot possibly reach its own "ret" instruction.
A dozen people here have lied about that for 2.5 years.

This kind of determination can be made in specific cases (but of
course not in general).  A simple program like `int main(void)
{ while (1); }` is non-halting.  If I run it, it will never halt
unless I force it to halt, e.g. by typing Control-C or pulling the
power plug.
 (I'm assuming that "when-so-ever" means the same as "when".)
 [...]
 

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