Re: Olcott's Category Error

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.
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.
--
Mikko