2005-09-28から1日間の記事一覧

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

http://www.mainichi-msn.co.jp/shakai/wadai/news/20050928k0000m040137000c.html 4色問題以外にも、コンピュータに支援された証明の有名な例ができましたね。 証明した先生のページでは、中村 八束先生の肉声によるメッセージを聞くことができます。 http…