夫馬です。

「客観的な証明は２０万行」も掛かるんだってさ。こんなの
やってられないよね。普通の証明は、「直感」的なんだよね。
客観的ではないのよ。分かりましたか

＞・フランスの数学者カミーユ・ジョルダンが１８８７年に概念を確立し、その後多くの
＞数学者らが完全証明に挑んできた「ジョルダンの曲線定理」について、信州大
＞工学部の中村八束（やつか）教授（６２）が２７日、ポーランドの数学者ら１６人との
＞約１４年間にわたる共同作業で、完全証明に成功したと発表した。数式上の誤り
＞などを確認するコンピューターシステムのチェックを経て、約２０万行にわたる証明が
＞完成。中村教授らは「完全証明したのは世界初」としている。
http://www.mainichi-msn.co.jp/shakai/wadai/news/20050928k0000m040137000c.html