Re: Analysis of Olcott's Category Error

On 2025-05-31 19:15:10 +0000, Mr Flibble said:

Flibble is making a clear and important distinction between executing a
program (DDD()) and analyzing or simulating a program (HHH(DDD)). Let's
unpack the reasoning.
 Core Issue: Execution vs Simulation
-----------------------------------
Olcott writes code like:
     int main() {
       DDD(); // DDD calls HHH
    }
 Here, the program is executing DDD, which itself calls HHH. This is
problematic because:
 - Execution implies commitment: Once DDD() begins executing, its behavior
is already unfolding. A true decider (or SHD) must evaluate DDD before any
such commitment.

The "before" above is not required. The analyzer does not know whther the
analysis is performed before, during, or after an exectuions. It is even
possible that the program is ececuted before, during, AND after the
analysis, or that it is never executed. The result of the analysis should
be the same in all cases.
--
Mikko