>>177
計算機によって証明が検証された！とか言っても
今度は計算機とそのプログラムの信頼性の問題が出てくるわけで
往々にして健全な直観の方が信頼が置けたりするわけで

まあ、たとえJordan曲線定理にしか適用できないようなモノだったにせよ、
それまで殆ど計算機科学者の机上の空論だった証明チェッカが
初めて実際に実際の数学の定理の証明をチェックした、
という意味で意義の有る仕事だとは思うけどね