Re: Can D simulated by H terminate normally?

On 5/4/2024 4:26 AM, Mikko wrote:

On 2024-05-03 11:40:20 +0000, olcott said:
 

On 5/3/2024 4:17 AM, Mikko wrote:

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.
>

>
Perhaps you C skills are not that great?

 As "D(D) simulated by H" is not strictly conforming C and is not
presented as such, my C skills are not relevant.
 

Ah so it is like I guessed.
I am not sure exact what strictly conforming C is,
probably ISO standard C.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer