Re: Categorically exhaustive reasoning applied to the decision to abort

On 4/1/24 10:52 AM, olcott wrote:

Every element of the set of implementations of H(D,D) that simulates its
input either aborts this simulation or is wrong.

Yes, every implementation of H(D,D) that does not abort is wrong.
This does NOT mean that every implementation of H(D,D) that does abort is right.
Since if H(D,D) aborts and returns to D, that D halts, that shows that H did not need to abort it simulation to reach an end statem.

It also must be the first directly executed element that performs
the abort or none of them do because all of the H elements in a
recursive simulation chain have the exact same machine code.

But the BEHAVIOR of the MACHINE being SIMULATED (the actual machine, not its simulation) has been established BEFORE H even started its simulation, so H was just wrong when it made its FAULTY deduction that it needed to abort.
You confuse the simulation of the input, with the factual establishment of its behavior, which occurs independently of the simulation, and preceeds it.