【サイエンス】黒木玄先生(東北大)【・ウォーズ】
■ このスレッドは過去ログ倉庫に格納されています
0295132人目の素数さん
2005/09/29(木) 11:58:46黒木先生。この基礎論・計算科学屋を叩いて下さい。
「完全証明」という専門用語を使い、「今まで数学
的に完全な証明がなかった!」というように素人に
思い込ませる。コケオドシをやっています。ポモ的
です。やっつけて下さいな。
>フランスの数学者カミーユ・ジョルダンが1887年に概念を確立し、その後多くの
>数学者らが完全証明に挑んできた「ジョルダンの曲線定理」について、信州大
>工学部の中村八束(やつか)教授(62)が27日、ポーランドの数学者ら16人との
>約14年間にわたる共同作業で、完全証明に成功したと発表した。数式上の誤り
>などを確認するコンピューターシステムのチェックを経て、約20万行にわたる証明が
>完成。中村教授らは「完全証明したのは世界初」としている。
http://www.mainichi-msn.co.jp/shakai/wadai/news/20050928k0000m040137000c.html
■ このスレッドは過去ログ倉庫に格納されています