Sujet : Re: Can D simulated by H terminate normally?
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 02. May 2024, 11:16:59
Autres entêtes
Organisation : -
Message-ID : <v0vlmb$3ovek$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
User-Agent : Unison/2.2
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.
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.
-- Mikko
…