19/02/02 23:25:09.29 D3nx5Ps9.net
AIは数学の証明は出来ない。補助的使用が出来るだけ。
AIは無限を扱え無いから。
リーマン予想自体が良い例。
コンピュータを使って何万と言う解についてリーマン予想が正しいことが示せる。
しかし、そもそも解が無限にあるので、この方法では永遠に証明が終わらない。
つまり証明出来ない。
241:ニュースソース検討中＠自治議論スレ
19/02/02 23:25:56.08 D3nx5Ps9.net
猿はシンプルな問題を複雑に言おうとする。
猿はバカだから。
242:ニュースソース検討中＠自治議論スレ
19/02/02 23:29:03.90 D3nx5Ps9.net
>>223
↑
こういう猿に限って、「四色問題の証明なんてあんなもん認めんぞ」(ｷﾘｯ
とか言ってるもんなの。
そう言うもんなんだよ。
お前らはいつまでたっても猿に騙され続けるわけだがね。
243:ニュースソース検討中＠自治議論スレ
19/02/04 00:28:19.47 /fH3TYoS.net
リーマン予想ってそもそもなんなのけ？
244:ニュースソース検討中＠自治議論スレ
19/02/04 04:29:54.00 1fWUqtyn.net
AIに奪われるお仕事の一位が数学だよ。
最下位が風俗。
245:ニュースソース検討中＠自治議論スレ
19/02/04 16:09:34.25 kok0hqu/.net
>>240
お前が数学という学問がどういうものかを何も理解していないことが良くわかる投稿だな
246:ニュースソース検討中＠自治議論スレ
19/02/04 16:16:50.07 JrkciU
247:+w.net
248:ニュースソース検討中＠自治議論スレ
19/02/04 19:58:48.46 NmsgguSf.net
>>222
ラテンと中東も白人なんだが
249:ニュースソース検討中＠自治議論スレ
19/02/05 10:30:27.73 015EcF5v.net
インド人もほとんどが白人
250:ニュースソース検討中＠自治議論スレ
19/02/05 18:38:17.43 ejtHHRU2.net
素数の逆数和の極限は無限大だけど
今見つかってる素数全部で逆数和を求めても4ぐらいにしかならないらしい
恐ろしい
251:ニュースソース検討中＠自治議論スレ
19/02/06 00:01:14.89 P78nTA4i.net
>>96
未解決問題で1番有名じゃね？
252:ニュースソース検討中＠自治議論スレ
19/02/06 13:41:16.78 fLn2xO8h.net
>>244
（ ゜◇゜）マジで？
253:ニュースソース検討中＠自治議論スレ
19/02/06 14:02:37.02 xZYRyx7m.net
>>247
解剖したら脳みそが色素少なくてピンク、つまり肌が黒いコーカソイド
254:ニュースソース検討中＠自治議論スレ
19/02/07 04:10:49.75 QIbuONih.net
>>221
白人以外も中国人や日本人の科学者がいるのと同じように黒人の科学者も当然いるがな
255:ニュースソース検討中＠自治議論スレ
19/02/09 17:26:38.89 fkupEPbu.net
仮にリーマン予想の証明が数学としては存在していても、
それを具体的に書き下すことあるいは理解することは不可能
であるかもしれない。
たとえ話をしめそう。 フォンノイマンのゲームの理論から
将棋は（千日手を禁止しているなら）先手必勝か後手必勝である。
そのどちらかは分かっていないが。もしも仮にそれを先手必勝
であるとしたとき、それをどうやって証明すれば良いだろうか。
（あるいは先手必勝ではないことをどうやって証明すれば良いだろうか。）
もしも総ての可能な手順を記述していってこの場合にはこうやる
ああやると書き出すかそれに近いような方法でしか証明の方法が
ないのだとすれば、そうしてそれを記述するのに何億ページも
かかるのだとしたら、確かに有限の記述量で証明が完結すると
言えるのだろうが、それを書き下せる人間は現実には居ない。
もしかすると何億ページ程度ならコンピュータでなら手順の
列挙ができるかもしれない。しかしもしも、状況はもっと悪くて、
宇宙に存在する原子の数よりも多い文字数でなければ記述しき
れないのだとしたら、たとえコンピュータを使っても書き下す
ことはできないわけだし、コンピュータが生きているうちに処理が
終わるはずもないだろう。つまり有限の長さの証明が可能だった
としてもそれを実際には行うことが物理的に不可能である可能性がある。
256:ニュースソース検討中＠自治議論スレ
19/02/10 00:11:44.24 7OYB46Lp.net
＞もしも総ての可能な手順を記述していってこの場合にはこうやる
＞ああやると書き出すかそれに近いような方法でしか証明の方法が
＞ないのだとすれば、そうしてそれを記述するのに何億ページも
四色定理の計算機による証明をディスるのね。
あれは美しくない、と考えて、美しい証明を探せばいいじゃない。
257:ニュースソース検討中＠自治議論スレ
19/02/10 06:46:57.13 25zi5+Dc.net
囲碁あるいはオセロの必勝法の証明をしてみれば良い。
オセロの場合でも、証明ができたとしてもそれを人間がはたして理解して、
（紙に書き留められたとしても）それを憶えて実際のゲームで実行できるかどうか。
人間が記憶しきれないほどの手順の複雑さだったら、それは人間には使えない証明だ。
４色問題のキーとなる部分は、不可避集合というものを人間が決定したこと。
後はそれを計算機でしらみつぶしに４色あれば塗れることを示せば良いだけだった。
塗り分けを見つけるのに手間が掛かるにしても、塗り分けられたというものが
正しいのかを確認するのは容易。今となっては大した量じゃ無い。
しかしもしも、不可避集合の数が有限でもその数が宇宙の原子の
個数を超えるほどあったなら、それを計算機で実行しようとしたって無理がある。
四色問題の場合には運良くそうではなかったが。
余談
258:： メモリが６４ＫＢの計算機、メモリサイズが１６ＭＢの計算機、 メモリサイズが１６ＧＢの計算機、メモリサイズが１ＴＢの計算機、。。。。 それぞれやれることにはそれぞれ限界があるだろう。 人間の脳がどのようにして思考をし、記憶をしているかはわからないが、 やはりその容量は無限であるはずはなくて、有限だと思われるし、 脳からの記憶の取り出しに掛かる時間や、メモリ帯域も限界があるはず。 すると、人間の脳を使ってその人間の寿命（２００年未満）の間に できる具体的な処理の容量は限られているから、一生かけても理解出来ない 読み通せない証明とかが存在することになる。たとえ数学的にはそれが 有限の長さで証明可能なものであったとしても。 つまり短いエレガントな証明が存在せず、場合を尽くして検証しなければ ならない場合には人間には無理でも今なら計算機で処理できればラッキーだが、 どんな計算機ですら無理な場合だってあり得る。 アリにはできないが猫にはできること、 猫にはできないが人間には理解できること、 人間には理解できないが宇宙人Ａには理解出来ること、 などのように、処理する個体の能力の限界によって 実際に記述可能な証明の階層が存在するかもしれない。 四色問題もおそらくメモリのサイズが１ＫＢ程度であれば、 （外部記憶装置はないとする） 証明を実行しようとしても完結できないので、１ＫＢのメモリ のマシン上では証明が不可能（証明の実施が不可能）、 あるいは証明の検証も不可能ということになるはず。 証明可能な命題であっても、それの証明を実際に実施するのには 必要な最小メモリ量が存在するはずだろう。
259:ニュースソース検討中＠自治議論スレ
19/02/10 10:19:18.66 HPwSKvdv.net
>>8
NHKのこの手の奴はレベルが低い。
金のかけ方がおかしい。
スカパーのドキュメンタリーチャンネル３兄弟で見た方が良い。
260:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています