Theorem 1. SE project never ends
Proof)
Let H(k) be it's k-th trial to get SE project done,
H(1) is trivial, thus always true.
H(k) implies H(k+1) by continous dog training exercise.
hence, implies that for all n>0, H(n) is TRUE!
gg
Proof)
Let H(k) be it's k-th trial to get SE project done,
H(1) is trivial, thus always true.
H(k) implies H(k+1) by continous dog training exercise.
hence, implies that for all n>0, H(n) is TRUE!
gg
Trackback
Trackback Address :: http://serialx.net/trackback/84
Comments
Reviewer's note : in case of [Son-of-a-friend-of-mother's], such statement "H(1) is trivial, thus always true" is not true.
It is true because theres no counter example to it. :P
I find a counterexample about your theorem.
But, I don't write because I'm tired. -_-;;
Unfortunely, Your theorem is true T^T
A classical/non-intuitionistical proof)
By definition, Software Engineering is a job for not doing the job.
Thus, nothing gets done by SE.
Q.E.D.