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

On 6/5/2024 3:21 AM, Fred. Zwarts wrote:

Op 05.jun.2024 om 00:16 schreef olcott:

On 6/4/2024 4:26 PM, joes wrote:

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:

Yes. And the fact that your decider diagnoses itself as non-halting
proves that there is something wrong with your decider.
Get the cream out of your eyes!
 
        typedef int (*ptr)();  // ptr is pointer to int function
in C
        int H(ptr p, ptr i);
        int main()
        {
          H(main, 0);
        }
 
H diagnoses this program as non-halting. The only reason is obvious:
the simulation of H by itself did not reach the final state.

 
*The simulation of H is not required to halt*

I actually tried this example and it does prove that main() halts and it
also proves that the directly executed H(main, 0)
halts and correctly returns 0; I gave you all of the details in another
reply.