Re: Simulation vs. Execution in the Halting Problem

Op 12.jun.2025 om 17:51 schreef olcott:

On 6/12/2025 4:37 AM, Fred. Zwarts wrote:

Op 12.jun.2025 om 02:52 schreef olcott:

>
If you don't understand the difference between object
instances of OOP classes and the classes themselves
then you might not understand.
>
int main()
{
   D(); // calls H(D) and the parameter to this H(D)
}      // is not the caller of this instance of H(D)
>

The analyser should not decide about an instance, but about what is specified by the code.

void DDD()
{
   HHH(DDD);
   return;
}
 The input to HHH(DDD) specifies a sequence of configurations
that cannot possibly reach their own "return" statement
final halt state.

The input is a pointer to code that includes the code to abort and halt.
That HHH is not able to reach that part of the code is a failure of HHH, not a property of the program specified in the input.
That HHH cannot reach it, does not change the specified code. The program aborts as world-class simulators en direct execution of exactly the same input prove.

 That you are insufficiently competent to see this is proven
by the fact that you have no rebuttal anchored in correct
reasoning.
 

Ad hominem attacks only prove your lack of counter-arguments.