Liste des Groupes | Revenir à c theory |
On 5/2/2024 8:48 PM, Richard Damon wrote:I certainly have, nore than you. One posiible interpretation isOn 5/2/24 10:50 AM, olcott wrote:00 int H(ptr x, ptr x) // ptr is pointer to int functionOn 5/2/2024 4:16 AM, Mikko wrote:Because your system doesn't meet the basic requirement of the problem.On 2024-05-02 03:22:29 +0000, olcott said:It was because 99% of the details did not apply to my system
When I had to make changes to Bank's the VISA credit card systemIt's only because there was no detail that you could not accept.
I had to re-read the VISA change document fifteen times before
I was confident that I understood every relevant detail.
Had there been one you could have stopped reading as soon you
found it, perhaps even before reading first time to the end.
that I had to carefully study all of the details to see which
ones applied.
Proven wrong, and you have FAILED to even attempt to rebut that proof, thus you have accepted that your claim is baseless and are just being a pathological liar by repeating it.Likewise with your proofs: as soon as one error is found thereThere is no error in this and it is a verified fact not requiring
is no need to read further in order to determine that the proof
is erroneous.
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.
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 }
Post the exact time date stamp and quote where you proved it wrong.
In one case it is ridiculous nonsense that you proved (a) is wrong.
You must show a counter example where 1 to N steps of D(D) are
simulated by H and the simulated D(D) reaches past its own line 03.
You are ahead of Mikko he has no idea what D(D) simulated by H means.
Les messages affichés proviennent d'usenet.