Re: Olcott's Category Error

On 6/1/25 7:16 AM, Mikko wrote:

On 2025-05-31 19:11:03 +0000, Mr Flibble said:
 

Olcott is doing this:
>
int main()
{
   DDD(); // DDD calls HHH
}
>
This is incorrect as it is a category (type) error in the form of
conflation of the EXECUTION of DDD with the SIMULATION of DDD: to
completely and correctly simulate/analyse DDD there must be no execution
of DDD prior to the simulation of DDD.

 There is no category error in the above program. It is a confoming (at
least to an old standard) C program. It is not strictly confroming but
that is not relevant here, and rarely is anyway.

Actually, the progrm above is NOT a conform C program, as it calls an underined function HHH.
If you include the file Halt7.c, we get a program, but now HHH is defined, and can't be anything else, and thus the rest of Olcott's problem becomes an error by having multiple definitions for the function HHH.

 The question whether the above main halts is well-posed and an exection
of the program tells that main halts, impying that DDD halts, too, as
well as HHH(DDD) that DDD calls.
 

Olcott should be doing this:
>
int main()
{
   HHH(DDD);
}

 Not useful as main does not report what HHH decided.