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

>>93
＞小島先生も相変わらず言葉を濁してるねｗｗｗ

数学者の間で証明されたと認められている定理でも
完全証明のないものは非常に多い。例えばワイルズ
により証明されたフェルマーの最終予想もその一つ
でしょう。この研究は、それらの定理に完全証明が
与えられるようになる第一歩となるのではないかと
期待できる

とでも言っておけば…

>>122
そう開き直られてもな。第５世代コンピュータ開発計画
(つまりＡＩ)というのが鳴り物入りで始められたことがあったよな。
あのプロジェクトにいくら使われたのか。数億程度なわけないだろ。
で結局失敗。その責任を取ったやつっているのかよ。
誰もいないから、まだ懲りずにＡＩやって飯食える。甘い世の中だよな。

数学者の間では既に証明されたと認められている定理でも
完全証明のないものは、ジュルダンの閉曲線定理以外にも
非常に多い。例えばワイルズにより証明されたフェルマの
最終予想もその一つでしょう。この研究はそれらの定理に
完全証明が与えられるようになる第一歩となるのではない
か、と期待できる

>>125
それを言うならピタゴラスの定理だって完全証明はないんじゃないの？
完全証明なんていらないってのがほとんどの数学者の意見だろう。

まあ、ケアレスミスのチェックにあれば便利というくらいで。
ただし、２０万行も書かなきゃなんないのなら論外。

もっと効率よく補題や補助定理を扱えるような
証明工学的なアプローチが必要なんだよな
20万行だと一寸本職の数学者が使う気にはならないな
プログラマにとって見れば大したこと無いんだろうけど
（WindowsのOSが2000万行くらいだったっけ？オーダーはあってるはず）

>>126
そうだけど。そこまで言ってしまうと角が立つから、
大人の対応としての発言として、こんなのどう？、と
いう提案だ。