http://serialx.net/ 세상을 바라보는 또다른 한 사람의 관점 2008-11-18T11:11:19+09:00 Textcube 1.7.6 : Staccato (그네고치기) http://serialx.net/entry/Serials-Last-Theorem#comment176 2007-04-09T07:05:38+09:00

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.

(serialx) http://serialx.net/entry/Serials-Last-Theorem#comment177 2007-04-09T07:08:40+09:00

It is true because theres no counter example to it. :P

(cmijoa) http://serialx.net/entry/Serials-Last-Theorem#comment178 2007-04-09T21:09:55+09:00

I find a counterexample about your theorem. But, I don't write because I'm tired. -_-;;

(요한) http://serialx.net/entry/Serials-Last-Theorem#comment179 2007-04-10T16:34:04+09:00

Unfortunely, Your theorem is true T^T

(netj) http://serialx.net/entry/Serials-Last-Theorem#comment180 2007-04-11T10:02:47+09:00

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.