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

On 5/15/2024 3:18 AM, Mikko wrote:

On 2024-05-14 14:35:42 +0000, olcott said:

That is not strictly conforming and hardly conforming at all.
 

What trivial syntactic error that has no effect what-so-ever on the
semantics do you believe remains?
A missing semi-colon?

The example must be simple enough so that people unfamiliar with C will
not be overwhelmed by things such as: typedef int (*ptr)();
a return value of 0 from main() also might be a little confusing.
I am trying to fit the essence of my proof on a single page.