Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C

Richard Heathfield <rjh@cpax.org.uk> writes:

On 18/05/2025 23:18, Ben Bacarisse wrote:

Richard Heathfield <rjh@cpax.org.uk> writes:
...

If they know C they should know that it's
  u32 HHH(void (*P)()), according to Halt7.c.
>
It takes a pointer to a function that accepts no arguments and returns no
value.

Yes, but I am surprised that you are being so modern!!  You used to
favour C90 and didn't really care for anything more recent.

>
I am just as surprised that you missed the distinction I was making, which
was between these:
>
void HHH(void (*f)(void))
u32 HHH(void (*P)())
>
Empty parentheses had nothing to do with my point. On line 16 we find:
typedef uint32_t u32;
>
uint32_t != void.

Yes, I got the distinction you were making, but I must have got confused
about the referent of "it" in the part I quoted.  I was hoping to add
to the discussion despite ignoring your main point.  Sorry.

--
Ben.