Re: Every D(D) simulated by H presents non-halting behavior to H ###

On 5/13/24 9:40 AM, olcott wrote:

On 5/13/2024 12:29 AM, immibis wrote:

On 13/05/24 07:19, olcott wrote:

On 5/12/2024 11:54 PM, immibis wrote:

On 10/05/24 19:55, Alan Mackenzie wrote:

[ Followup-To: set ]
>
In comp.theory olcott <polcott333@gmail.com> wrote:
>
[ .... ]
>
I've tried out your much spammed code on GCC (see below).  It is clear
you have never built or run this code, which ironically can't reach Line
06.  It can't even reach line 00.
>

Richard tried to get away with D never simulated by H as an example
of D simulated by H:

>

Message-ID: <v0ummt$2qov3$2@i2pn2.org>
On 5/1/2024 7:28 PM, Richard Damon wrote:

>

*That people say they know I am wrong yet will not show the detailed*
*steps of how I am wrong indicates that they are probably liars*

>
You have said, or at least implied that your code fragment is runnable.
I think you are the liar, here.
>

00 int H(ptr x, ptr x)  // ptr is pointer to int function
01 int D(ptr x)
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 int main()
10 {
11   H(D,D);
12 }

>
>
.  These are the diagnostics generated by GCC:
>

And the halting problem is about Turing machines, anyway.

>
It is sufficiently isomorphic to the Linz machines.

>
Linz is talking about Turing machines.

 My newest examples are anchored directly in Linz.
 

So, which message was based on actual Turing Machines, which only produce an answer when they Halt? (so your "unconventional" embedded_H that signals that it knows H^ is non-halting but doesn't halt to produce that answer isn't a valid example)