5 ms·
>It is sufficient to prove a program correct - as long as your proof is not faulty! This is unquestionable truth. Proof: Proposition A(X): X is true in theory
by chattoraj 13y ago
>It is sufficient to prove a program correct - as long as your proof is not faulty!
This is unquestionable truth. Proof:
Proposition A(X): X is true in theory
Proposition B : For all X such that A(X), X is true in practice
Theoretically, there is no difference between theory and practice. ... (1)
Theoretically, statement B is true. [using (1)] ... (2)
Therefore, B is true in practice. [using (1) and (2)]
QED.
- rytis 13y agotheory is very often contrasted to "practice" [...] a Greek term for "doing", which is opposed to theory because pure theory involves no doing apart from itself. [1] [1] http://en.wikipedia.org/wiki/Theory http://en.wikipedia.org/wiki/Theory