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

いずれにせよ、今回の報道で個人的に一番許せないのが
「完全証明」って言葉なんだよな
自分の業績を過大評価させるために大げさな言葉を使う

まあ良くあることではあるがいくらなんでもやり過ぎだと思うけどな

>>701
ポモ的だ！黒木さんに言いつけようｗ

>>702 夫馬です。

黒木さんのページ（一番下にメアドがあります）
http://www.math.tohoku.ac.jp/%7Ekuroki/index-j.html
同掲示板
http://www.math.tohoku.ac.jp/%7Ekuroki/keijiban/

そういえば黒木さんの掲示板も最近は寂れてるねえ

夫馬です。

＞そして、別の場所で、極端なことを言っているのではないかと非難された場合には、
＞3 (a) に近い穏健だが当たり前の主張を述べて批判をかわします。
『「知」の欺瞞』の相対主義批判
http://www.math.tohoku.ac.jp/~kuroki/FN/relativism.html#FN
「相対主義」が嫌われる理由
http://www.math.tohoku.ac.jp/~kuroki/FN/relativism.html#hate

>>697
＞どの証明がなされたのでしょうか？
なぜ、自分で証明を読まないのでしょうか？
もしかして読めないのでしょうか？

夫馬です。

「完全証明」という言葉で、今までの数学的証明が不十分だったと
印象操作して（強い主張）、それを非難されれば「形式的証明」と
いう意味だ、と批判をかわします。このようなことはポモに限った
ことでなく、数学的な分野でもあることです。まずは自分の身近な
分野から叩こうぜ、な

＞そういえば黒木さんの掲示板も最近は寂れてるねえ
私がやってやりました！

>>684
＞計算機による定理の証明の話には、
＞それを専門に研究している工学者しか
＞話をしちゃいけないのか？

なぜ形式的証明の意義という数学の哲学の話に
いきなり工学者がでてくるんだ？唐突だろ？