Liste des Groupes | Revenir à theory |
On 5/3/2024 4:17 AM, Mikko wrote:Proven wrong and no refuation attempted, as accepted, be default, as an incorrect statement.On 2024-05-02 14:50:53 +0000, olcott said:Perhaps you C skills are not that great?
>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.
>
Can D correctly simulated by H terminate normally?
00 int H(ptr x, ptr x) // ptr is pointer to int function
01 int D(ptr x)
02 {
03 int Halt_Status = H(x, x);
04 if (Halt_Status)
05 HERE: goto HERE;
06 return Halt_Status;
07 }
08
09 void main()
10 {
11 H(D,D);
12 }
*Execution Trace*
Line 11: main() invokes H(D,D);
*keeps repeating* (unless aborted)
Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D)
*Simulation invariant*
D correctly simulated by H cannot possibly reach past its own line 03.
Les messages affichés proviennent d'usenet.