http://serialx.net/ 세상을 바라보는 또다른 한 사람의 관점 ko Tue, 18 Nov 2008 13:24:07 +0900 Textcube 1.7.6 : Staccato http://serialx.net/attach/1/2713236742.jpg http://serialx.net/ 90 70 세상을 바라보는 또다른 한 사람의 관점 http://serialx.net/entry/Serials-Last-Theorem#comment176 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. (그네고치기) http://serialx.net/entry/Serials-Last-Theorem#comment176 http://serialx.net/entry/Serials-Last-Theorem#comment Mon, 09 Apr 2007 07:05:38 +0900 http://serialx.net/entry/Serials-Last-Theorem#comment177 It is true because theres no counter example to it. :P (serialx) http://serialx.net/entry/Serials-Last-Theorem#comment177 http://serialx.net/entry/Serials-Last-Theorem#comment Mon, 09 Apr 2007 07:08:40 +0900 http://serialx.net/entry/Serials-Last-Theorem#comment178 I find a counterexample about your theorem. But, I don't write because I'm tired. -_-;; (cmijoa) http://serialx.net/entry/Serials-Last-Theorem#comment178 http://serialx.net/entry/Serials-Last-Theorem#comment Mon, 09 Apr 2007 21:09:55 +0900 http://serialx.net/entry/Serials-Last-Theorem#comment179 Unfortunely, Your theorem is true T^T (요한) http://serialx.net/entry/Serials-Last-Theorem#comment179 http://serialx.net/entry/Serials-Last-Theorem#comment Tue, 10 Apr 2007 16:34:04 +0900 http://serialx.net/entry/Serials-Last-Theorem#comment180 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. (netj) http://serialx.net/entry/Serials-Last-Theorem#comment180 http://serialx.net/entry/Serials-Last-Theorem#comment Wed, 11 Apr 2007 10:02:47 +0900