ジョルダンの曲線定理、完全証明される

http://www.mainichi-msn.co.jp/shakai/wadai/news/20050928k0000m040137000c.html
４色問題以外にも、コンピュータに支援された証明の有名な例ができましたね。
証明した先生のページでは、中村 八束先生の肉声によるメッセージを聞くことができます。
http://markun.cs.shinshu-u.ac.jp/index-j.htmlhttp://e-learn.mine.nu/mizar/jordancurve.htm