★ジョルダン：曲線定理、世界初の完全証明　信州大教授ら

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

　「ジョルダンの曲線定理」は「平面上の閉じた曲線は、平面を曲線の内と外に分ける」
　というもの。直感的には明らかだが、数学的な証明は難しいとされてきた。

　中村教授によると、人間が行った数学的な証明をチェックする「プルーフ・チェッカー」
　というコンピューターシステムのうち、今回はポーランド・ビアリストーク大のアンジェイ・
　トリブレッツ博士（６４）らが開発した「ＭＩＺＡＲ（ミザール）」と呼ばれるシステムを使用
　したという。中村教授は「同様のシステムでコンピュータープログラムにミスがない
　ことを確認するなど、今回の成果は実社会にも応用できる可能性がある」と話している。

　http://www.mainichi-msn.co.jp/shakai/wadai/news/20050928k0000m040137000c.html