Sujet : Re: Every D(D) simulated by H presents non-halting behavior to H ###
De : noreply (at) *nospam* example.com (joes)
Groupes : comp.theoryDate : 18. May 2024, 18:18:20
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v2akcc$1clc8$8@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Sat, 18 May 2024 10:12:12 -0500 schrieb olcott:
On 5/18/2024 3:54 AM, immibis wrote:
On 16/05/24 16:50, olcott wrote:
On 5/16/2024 5:48 AM, Mikko wrote:
typedef int (*ptr)(); // ptr is pointer to int function
00 int H(ptr x, ptr y);
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 return 0;
13 }
Explaining how this is incorrect requires the prerequisite knowledge
that no D correctly simulated by any H of every H/D pair specified by
the above template ever reaches its own line 06 and halts.
There are more steps beyond this mandatory prerequisite.
Just for fun, what are these steps if we assumed this claim?
-- joes
…