Apology Retraction, Claim of Olcott Category Error Retraction.
It turns out that Olcott is doing the following afterall:
int main()
{
HHH(DDD);
}
And Damon's reply about what I thought Olcott was doing is an incorrect analysis:
On Sat, 31 May 2025 22:07:01 -0400, Richard Damon wrote:
On 5/31/25 3:11 PM, Mr Flibble wrote:
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.
Why?
The quetion to HHH is about an input that is just a representation of
the program DDD, and if HHH is a progran, its behavior and answer is independent of the context outside of it that is calling it.
Olcott should be doing this:
int main()
{
HHH(DDD);
}
/Flibble
He does that, but the TEST of that answer is to independently run DDD(), since it is the behavior of that which is the criteria that HHH is
supposed to be answering about.
As as far as I understand it Olcott's HHH *is* simulating DDD not
independently running it.
/Flibble
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)