Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)

On 11/05/2025 02:26, olcott wrote:

On 5/10/2025 8:17 PM, wij wrote:

On Sat, 2025-05-10 at 17:03 -0500, olcott wrote:

On 5/10/2025 4:44 PM, wij wrote:

On Sat, 2025-05-10 at 14:29 -0500, olcott wrote:

On 5/10/2025 2:02 PM, wij wrote:

 

>
You don't know the counter example in the HP proof, your D is not the case what HP says.
>

 Sure I do this is it! (as correctly encoded in C)

'correctly' is a bit of a stretch. 'Incorrectly' would be closer to the mark.
$ gcc -c -o hhhagain.o hhhagain.c
hhhagain.c: In function ‘DD’:
hhhagain.c:6:25: warning: passing argument 1 of ‘HHH’ from incompatible pointer type [-Wincompatible-pointer-types]
     6 |   int Halt_Status = HHH(DD);
       |                         ^~
       |                         |
       |                         int (*)()
hhhagain.c:2:13: note: expected ‘ptr’ {aka ‘void (*)()’} but argument is of type ‘int (*)()’
     2 | int HHH(ptr P);
       |         ~~~~^
hhhagain.c: In function ‘main’:
hhhagain.c:14:7: warning: passing argument 1 of ‘HHH’ from incompatible pointer type [-Wincompatible-pointer-types]
    14 |   HHH(DD);
       |       ^~
       |       |
       |       int (*)()
hhhagain.c:2:13: note: expected ‘ptr’ {aka ‘void (*)()’} but argument is of type ‘int (*)()’
     2 | int HHH(ptr P);
       |         ~~~~^
Tedious details are best left to competent programmers.
What you need is a 6" brush, a few tins of white paint, a ladder, and a nice big barn.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within