夫馬です。

黒木先生。この基礎論・計算科学屋を叩いて下さい。

「完全証明」という専門用語を使い、「今まで数学
的に完全な証明がなかった!」というように素人に
思い込ませる。コケオドシをやっています。ポモ的
です。やっつけて下さいな。

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