>>53
>少なくとも純粋数学的には(コンピュータの証明を)認めてはならないと思う。

こんなこという奴に限って
「じゃ、論文で発表した定理の証明が
　間違ってた場合罰金を払うことにしようぜ」
というと、青筋立てて反対するｗ。
そんなのは日常茶飯事であり罰金額によっては
クビが回らなくなるのは必定だからだ。

ちなみに、自動証明機に掛ければただちに発見できる
レベルの間違いをやらかす場合も多々ある。
こういう場合、特に高額の罰金を払わせるべきだろうｗ