14/04/13 19:14:39.82
あんたが何を主張してるのか意味不明だな。
証明論が実際に数学の証明に役立つ、という主張をしたいなら
MUパズルなんかではなく数学の具体例を出す必要がある。
証明論がおもしろいからやってるだけだ、文句あるか！？
というのであれば誰も文句はない。
14/04/13 19:14:39.82
あんたが何を主張してるのか意味不明だな。
証明論が実際に数学の証明に役立つ、という主張をしたいなら
MUパズルなんかではなく数学の具体例を出す必要がある。
証明論がおもしろいからやってるだけだ、文句あるか！？
というのであれば誰も文句はない。