Re: Can D simulated by H terminate normally?

On 2024-05-02 14:50:53 +0000, olcott said:

On 5/2/2024 4:16 AM, Mikko wrote:

On 2024-05-02 03:22:29 +0000, olcott said:
 

When I had to make changes to Bank's the VISA credit card system
I had to re-read the VISA change document fifteen times before
I was confident that I understood every relevant detail.

 It's only because there was no detail that you could not accept.
Had there been one you could have stopped reading as soon you
found it, perhaps even before reading first time to the end.
 

 It was because 99% of the details did not apply to my system
that I had to carefully study all of the details to see which
ones applied.
 

Likewise with your proofs: as soon as one error is found there
is no need to read further in order to determine that the proof
is erroneous.
 

 There is no error in this and it is a verified fact not requiring
any subjective judgement call:
 (a) It is a verified fact that D(D) simulated by H cannot
possibly reach past line 03 of D(D) simulated by H whether H
aborts its simulation or not.

The use of an ambigouos expression "D(D) simulated by H" can
be regarded as an error.
--
Mikko