「難問「ＡＢＣ予想」解明か」記事へのコメント

oldnews

[deleted user (19654)]

本家記事 [slashdot.org] (9/10) では、証明はもちろんのこと、予想自体も意味がわからんという話になっていました。
http://abcathome.com/conjecture.php [abcathome.com] が理解に役立つらしいです。
さらに専門の人が証明について考えるときは

Re:

[kurema (42872)]

Wikipediaの記事を読む限り予想自体はかなり易しいのでは？
数学者の証明なんてのは人間の読むものじゃないです。
汎用的な自動証明検証が普及して、我々一般人が証明の正しさとか流れを簡単に判断できるようになればいいですのにね。

P=NPが証明されて数学者全員首が最も望ましいシナリオですけど。

Re:

[Anonymous Coward]

P=NPだとなぜ数学者が必要なくなるのかわかりません。

Re:

[kurema (42872)]

こちら [science.srad.jp]で述べましたが、自動定理証明 [wikimedia.org]は正しい予想の場合NP完全問題 [wikimedia.org]だからです。
NP完全問題はNP問題に含まれるのでP=NPが証明された場合、そのアルゴリズムからP問題として解けます。
P問

Re:

[Anonymous Coward]

時間階層定理があるので、NP完全問題が自動的に解けるようになったくらいでは、数学者の仕事はなくならないよ。
世の中の一般的な問題は半決定可能だし、なによりコンピュータでは未だに新しい理論を自動的に構築できないから。

Re:

[kurema (42872)]

数学者より低コストで同じ事が出来るようになれば実用上十分ですよ。
今は論理ゲートでCPUを作り上げる人も、アセンブリで大きなプログラムを書く人も、円周率を手計算で何百桁求める人もほとんどいないわけですから。
世界で最も頭のいい人たちを高々計算問題にすぎない事に投入するのはもったいないです。

Re:

[epgrec (43527)]

数学者は証明だけでなくて予想するのも仕事で、
ACから指摘されているように数学の探求世界は無限ですから仕事がなくなることはないでしょう。
それに公理系そのものも数学者の研究対象ですし、P=NPなら、むしろ逆に仕事が増えるかもしれませんよ。

Re:

[kurema (42872)]

どうでしょうかねぇ。
探究分野が無限という点は、人間が手を付ける前に計算機ができるようになってしまえば構わないことです。
しかし、仕事が増えるか減るかは実際そうなってみないとわかりませんね。
C言語ができたからと言ってプログラマが居なくなったわけではありませんし。

少なくとも人間に分かりやすく有意な理論構築・予想という仕事がなくなることはないでしょうね。
小説家や買い物といった仕事が人間に残り続けるように、情報入力はいつまでも人間の役割で有り続け、またそれを十分に行うには一定の数が必要です。
最終的にそこだけに収束する事にはなるでしょうけど。数学者が絶滅することはありません。

Re:

[Anonymous Coward]

> 数学者が絶滅することはありません。
数学者全員首って言ったのはお前だろうが。サラっとなかったことにしてねーでちゃんと撤回しろよ。

Re:oldnews

[kurema (42872)]

> 数学者が絶滅することはありません。 数学者全員首って言ったのはお前だろうが。サラっとなかったことにしてねーでちゃんと撤回しろよ。

そうですね。すみません。かなり極端でしたね。願望が入ってました。
今の数学者の9割が首になるのであれば私としては満足です。