Sujet : Re: Olcott's Category Error
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 01. Jun 2025, 03:07:01
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <b0ad972e182331697f1af5b4bdc4bd9e566a8077@i2pn2.org>
References : 1
User-Agent : Mozilla Thunderbird
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.