19/01/28 10:33:31.13 ibKe+X62.net
>>117
>大学の数学をちょっとやると人間の知識の積み重ねの凄さを思い知るんだよね
>まずスタート地点に立つまでに何年もかかるから軽い気持ちでは絶対に始められない
考え方が惜しい所で根本から間違ってる
数学は競争でもなければ読む速さを競う競技でもない
あんたのペースで数学の美しさを「一生をかけて」ゆっくり味わうだけで
あんたにこれ以上ない喜びを与える
151:ニュースソース検討中＠自治議論スレ
19/01/28 10:51:05.88 GHaBPOrX.net
リーマン予定
予定は予定であって、予想は困難
152:ニュースソース検討中＠自治議論スレ
19/01/28 11:10:18.42 wI8Ij7MS.net
>>125
こいつアホかな？
素数に限らず、整数全般に言えることだろうが。
153:ニュースソース検討中＠自治議論スレ
19/01/28 13:13:48.93 NxVETdHN.net
>>24
もう去年の段階で主張がわかり
ナンセンスとばっさり切られたよ
154:ニュースソース検討中＠自治議論スレ
19/01/28 13:54:32.05 4WBJy3eo.net
>>96
フェルマーの方は小学校高学年でもなに言ってるかわかるな
ポアンカレの方は理科系大学生でも95%は問題がなに言ってるかさえ理解不能
155:ニュースソース検討中＠自治議論スレ
19/01/28 14:06:48.26 lWK9QqgP.net
>>28
やっと文明のあけぼのかよ
真っ黒なスマホってモノリスみたいだよな
156:ニュースソース検討中＠自治議論スレ
19/01/28 14:41:25.46 QLX9dNjL.net
銀河超知性連合に加盟資格が未だない。
この地球が野蛮なエイリアンに侵略されないためには、
それに加盟するか、
ある程度の超知性を（例えば電波などで）発信しなければならない。
「こんな知性ある地球人に、敵うはずがない。」と思わせる。
さて、そんな超知性で、エイリアンに納得させられるようなものって？
157:ニュースソース検討中＠自治議論スレ
19/01/28 15:04:12.94 cPS2jMqP.net
>>8
年齢を重ねたからこそ面白く感じるんだと思う
158:ニュースソース検討中＠自治議論スレ
19/01/28 15:24:46.59 WTj7R0tv.net
ヨーデルの不完全性定理によるとこの世には証明も反証もできない命題が存在するらしいな。
リーマン予想もそれだろう。
159:ニュースソース検討中＠自治議論スレ
19/01/28 16:04:54.00 4WBJy3eo.net
>>155
その場合「リーマン予想は証明も反証もできない命題である」ということを証明しないといけないのでは
160:ニュースソース検討中＠自治議論スレ
19/01/28 17:33:33.65 v+P6F9d5.net
>>155
ゲーデルのそれは自己言及性パラドクスの一種でしょう
リーマン予想は排中律適用できるタイプの命題だと思うのでそれはないんじゃないかな
161:ニュースソース検討中＠自治議論スレ
19/01/28 17:47:01.42 ibKe+X62.net
>>155
ゲーデルの不完全性定理はそんな事言ってない
一言で言えば
「全てを一括して機械的に処理できない」という事
162:よっちゃん
19/01/28 18:24:25.66 dwNSn7Zb.net
Wasan Geometry and Division by Zero Calculus
2018年11月28日(水) テーマ：数学
Sangaku Journal of Mathematics (SJM) ⃝c SJM ISSN 2534-9562
Volume 2 (2018), pp. 57-73 Received 20 November 2018. Published
on-line 29 November 2018 web: URLﾘﾝｸ(www.sangaku-journal.eu)
⃝c The Author(s) This article is published with open access1 .
Wasan Geometry and Division by Zero Calculus
file:///C:/Users/saito%20saburo/Downloads/SJM_2018_57-73_okumura_saitoh%20(1).pdf
ゼロ除算の発見は日本です：
∞？？？
∞は定まった数ではない・・・・
人工知能はゼロ除算ができるでしょうか：
とても興味深く読みました：2014年2月2日 5周年を超えました：
ゼロ除算の発見と重要性を指摘した：日本、再生核研究所 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
163:ニュースソース検討中＠自治議論スレ
19/01/28 18:28:50.61 4WBJy3eo.net
>>158
でも洗濯小売とか連続体仮設とかあるよね
164:ニュースソース検討中＠自治議論スレ
19/01/28 18:31:27.04 R1PLHGXD.net
本人が死んでも、論文を検証すればいいだけだろ。
さっさと、論文の検証しろよ。
論文の撤回は誰がやったんだ?
本人死んだなら、本人は撤回できないよな。
間違っているので撤回なら、そのこと明示しろ。
明示してないってことは、まだ間違いが見つかってないんだろ。
だったら、検証続けろよ。
165:よっちゃん
19/01/28 18:40:39.17 dwNSn7Zb.net
URLﾘﾝｸ(www.wantedly.com)
166:ニュースソース検討中＠自治議論スレ
19/01/28 18:44:24.10 ibKe+X62.net
>>160
数学にとって些細
167:ニュースソース検討中＠自治議論スレ
19/01/28 18:47:07.47 ibKe+X62.net
>>161
何も新しい概念が生まれてきてないし
検証の価値はない
何も新しい概念が生まれてきてないのに解けてるなら
リーマン予想自体に(これ以上の)価値はない
168:ニュースソース検討中＠自治議論スレ
19/01/28 18:49:25.74 0E/FRZA7.net
>>101
と、ニワカ丸出しが上から何か言っています
フェルマーも「それまでいろいろ膨大な積み重ねがあって、ワイルズは最後のピースをちょっと埋めただけ」、言えば幾らでも言えるだろ
グーグルスカラーで見ても、
ワイルズの第一論文の引用数２５００
ペレルマンのそれ ２２００
後者も幾らでも研究発展が進んでおるわ
素粒子論に使えそうだ何だの ググってみろ
逆に、フェルマーの方はそれこそ望月さんの理論で違った形で証明できてしまいそうだとかな
かといって価値が下がる訳じゃない どっちも全部な
もっといろいろお勉強
169:ニュースソース検討中＠自治議論スレ
19/01/28 18:51:46.69 KcwSNzjI.net
洗濯小売ワロタ
コインランドリーか！
170:ニュースソース検討中＠自治議論スレ
19/01/28 18:57:06.67 CKVM1MWd.net
>>26
こういった定理証明できなくてもは頭のいい人達は直感的に正しくまちがいないと理解してるんだろうと思う
けど、証明しないとそれは使えない
でもAIは研究と開発が進むにつれ、それが導きだす答えがなぜそのような応えになったのか人間には理解できなくなって行く
それでもそれが正しいものであろうとして扱う
ほぼ正しいだろうから問題はあまり無いだろうけど、パラドックスは増えていくばかりではないのか？
これが不思議
171:ニュースソース検討中＠自治議論スレ
19/01/28 19:14:09.69 EKKjG3D8.net
AIが人間界で「ほぼ正しいとされている仮説」
を自分で拾ってきてそれを前提に計算するのか。
なんか妖怪みたいだなあw
172:ニュースソース検討中＠自治議論スレ
19/01/28 19:28:18.72 WL9u+YkP.net
AIが自分でその判断できるならそもそも拾う必要もないのでは？
173:ニュースソース検討中＠自治議論スレ
19/01/28 19:44:09.75 B7AxTKea.net
リーマン予想の成立を前提として進んでいっても
「あれ？何か変じゃないか？」ってどこかでなって否定的に解決ってのもありえる流れだし。
もし成立が証明されたら進めてた結果も使えるしそれはそれででオッケーなんじゃね？
174:ニュースソース検討中＠自治議論スレ
19/01/28 20:12:20.60 Vdh+enGM.net
リーマン予想って経済破綻のやつ？
175:ニュースソース検討中＠自治議論スレ
19/01/28 21:34:36.03 qalvKQ/B.net
撤回という言い回しはいささか白々しい感じがしないでもないが
なんというか めんどくさいジー様だったんだろうな
176:ニュースソース検討中＠自治議論スレ
19/01/29 02:12:02.19 S/FixQY8.net
数学界も粋なことをするね
177:ニュースソース検討中＠自治議論スレ
19/01/29 05:14:23.81 K6OknQxM.net
>>165
>ペレルマンのそれ ２２００
引用って、ただの紹介だけのケースも含まれるからな。
ペレリマンの仕事を苗床にして新しい数学が生まれていると言い張るなら
まずその論文を一つでいいから挙げてみろ
どうせ一握りの散発的なモノしかない
>フェルマーも「それまでいろいろ膨大な積み重ねがあって、
>ワイルズは最後のピースをちょっと埋めただけ」、言えば幾らでも言えるだろ
上っ面の言葉遊び。それ以上の「文脈」がワイルズの仕事にはある、
と俺が言ってる事は、日本語が分かれば誰でも読み取れる
>逆に、フェルマーの方はそれこそ望月さんの理論で違った形で
>証明できてしまいそうだとかな
（望月がどうのこうの置いておいて）ワイルズは非可換類体論の突破口を
開いたことが歴史的なんだよ
そしてその非可換類体論はまだ定まった定式化はないから
勿論非可換類体論が成熟した際には、ワイルズの仕事自体から離れる可能性は
大いにあるが、今現在突破口を開いたことがすごいのだ
ペレリマンはただクソややこしい最後の一歩を踏んだ以外に何も残ってない
178:ニュースソース検討中＠自治議論スレ
19/01/29 05:16:21.72 K6OknQxM.net
>>167
>こういった定理証明できなくてもは頭のいい人達は
>直感的に正しくまちがいないと理解してるんだろうと思う
「なぜ」が分からないと意味ないし
そもそもリーマン予想もそのstatement自体に巨大な意味がある訳じゃない
179:ニュースソース検討中＠自治議論スレ
19/01/29 11:30:08.47 Ld0E+fxw.net
>>26
面倒なことやめて死ねばいいじゃん。
180:ニュースソース検討中＠自治議論スレ
19/01/29 11:32:41.80 Ld0E+fxw.net
>>172
あれ自己矛盾してたもんな。
181:ニュースソース検討中＠自治議論スレ
19/01/29 11:36:06.18 Ld0E+fxw.net
>>167
全然間違い。
正しいと予想して証明に失敗した人も、間違いだと予想して証明に失敗した人もどちらも居る。
182:ニュースソース検討中＠自治議論スレ
19/01/29 12:00:33.32 R2k4RKQE.net
そーそー、「リーマンショックは予想できるか」な。
あれはなかなか難しいぜ。
え？ちが？
183:ニュースソース検討中＠自治議論スレ
19/01/29 13:43:20.54 YBWdeVPC.net
ヨクスベール
184:ニュースソース検討中＠自治議論スレ
19/01/29 13:51:39.64 GlQUaGXJ.net
あと10年待てばAIが解く問題をやることはない。
天才はこんな問題をやらんよ。
185:ニュースソース検討中＠自治議論スレ
19/01/29 15:10:38.54 YBWdeVPC.net
まずAIが解けるかどうかの証明しろよｗ
つうか現行のAIなんてブードゥーマジックと変わらんぞ
186:よっちゃん
19/01/29 15:24:13.64 o3g4z6lP.net
ゼロ除算の知見:№500迄
URLﾘﾝｸ(lnkd.in)
ゼロ除算の知見：№501~№922迄
URLﾘﾝｸ(lnkd.in)
187:ニュースソース検討中＠自治議論スレ
19/01/29 15:37:52.05 +vmpN1pO.net
>>1
アッティヤー！死んでしもた！！
188:ニュースソース検討中＠自治議論スレ
19/01/29 15:40:02.53 /OW5FZgb.net
(ﾉД｀)ｱﾃｨﾔｰ
189:ニュースソース検討中＠自治議論スレ
19/01/29 16:42:25.51 l8/RRrb9.net
収束しない関数が証明されない
＞math2012mathさん、こんばんは。
「一様収束しない」ことを定義に従って書きかえると、「与えられたεに対して、どんなに大きな n をとったとしても、
ごくx=1に近いところでは |f_n(x)-f(x)|≧εになっている」ということです。
この「ごく x=1 に近い」のがどの程度なのかは n に対して変化しますし、
どの範囲をとればよいのか具体的に与えた方が良いでしょう。
参考になれば幸いです。
＞さて、s=-2（および負の偶数）で値が0になることを証明するのは難しいのですが、以下のよく知られた公式を知っていればすぐに理解できます。
ζ（s）＝２^sπ^（s-1）sin（πs/2）Γ（1-s）ζ（1-s） Γはガンマ関数
これはリーマンの論文（与えられた数より小さな素数の個数について）の中でも出てくる有名なゼータ関数の関数等式です。
右辺にはsin関数があるので、s=-2（および負の偶数）でゼロになります。
190:ニュースソース検討中＠自治議論スレ
19/01/29 16:45:29.61 l8/RRrb9.net
「一様収束しない」ことを定義に従って書きかえると、
「与えられたεに対して、どんなに大きな n をとったとしても、
ごくx=1に近いところでは |f_n(x)-f(x)|≧εになっている」ということです。
この「ごく x=1 に近い」のがどの程度なのかは n に対して変化しますし、
どの範囲をとればよいのか具体的に与えた方が良いでしょう。
191:ニュースソース検討中＠自治議論スレ
19/01/29 16:46:22.15 l8/RRrb9.net
自明な０点とかいうから、０に近づくほど無限大に発散していくというオチか
192:ニュースソース検討中＠自治議論スレ
19/01/29 16:59:19.99 l8/RRrb9.net
＞この関数はRe（s）＞１で収束します。
（s=1だと調和級数になりよく知られているように、無限大に発散します。
それより小さいと当然収束しない。）
193:ニュースソース検討中＠自治議論スレ
19/01/29 16:59:45.39 l8/RRrb9.net
＞ゼータ関数のもともとの定義は、sを複素数
として
ζ(s) = Σ1/n^s (和は0～∞を走る）
で定義します。この無限級数は、sの実部
が1より大きいところで収束します。で、その
結果できたRe(s)>1でのこの関数、実は
全平面で定義された有理型で1価関数（s=1
以外では正則）に解析接続されます。
この関数のことを、リーマンゼータと呼んで
います。
194:ニュースソース検討中＠自治議論スレ
19/01/29 17:11:08.56 G6IY2SGG.net
陰謀の匂いがする。
195:ニュースソース検討中＠自治議論スレ
19/01/29 17:34:02.09 l8/RRrb9.net
＞極限の問題は代入できるときは代入をするっているのが解き方のポイントなんですが、
代入したとき分母の値が0で、分子の値が0以外のときの極限は無限大になります。
196:ニュースソース検討中＠自治議論スレ
19/01/29 17:36:45.21 l8/RRrb9.net
0分の2分の1
＝0.5または2分の1
197:ニュースソース検討中＠自治議論スレ
19/01/29 17:42:07.26 l8/RRrb9.net
0～1＜収束
無限大＞0ほぼ0.5のほうが大きい
ほぼ0.5のほうが小さい0.9＜無限大
１以上は収束
0と1の複素数で0の中間が2分の1
つまりリーマンの説明そのものが証明になってる可能性が
198:ニュースソース検討中＠自治議論スレ
19/01/29 17:51:20.54 l8/RRrb9.net
リーマンの言ってる事が自明の理であることを証明したらいいだけ
199:ニュースソース検討中＠自治議論スレ
19/01/29 17:54:37.73 l8/RRrb9.net
複素数なんだから上下に１進むはずなのに
2分の1にすると0になる
URLﾘﾝｸ(o.8ch.net)
200:ニュースソース検討中＠自治議論スレ
19/01/29 17:56:28.18 l8/RRrb9.net
こんな感じで自明なはず
URLﾘﾝｸ(o.8ch.net)
201:ニュースソース検討中＠自治議論スレ
19/01/29 18:10:46.06 l8/RRrb9.net
>>197
非自明な0点とは複素数では１の事だからそこに収束してるのは
1以上の数で収束するという事からも自明の理
202:ニュースソース検討中＠自治議論スレ
19/01/29 18:43:37.20 l8/RRrb9.net
4π^2の半分が19.7
上に19.7、下に19.7
真ん中が19.7
全部足すと複素数が出てくるから、その半分が約29で素数
URLﾘﾝｸ(o.8ch.net)
203:ニュースソース検討中＠自治議論スレ
19/01/30 00:03:03.72 fE8U759C.net
有限個の例外があったらどーなる？ あんま違いはないような気がしないでもないが
無限に例外があるが比率が正の有限値にならない程度にスカスカな場合はどーなる？
そんなに重要なもんなのかな
条件ガバガバだと他の証明にあんま役に立たなさそうではあるけど
204:ニュースソース検討中＠自治議論スレ
19/01/30 01:24:37.91 dCJ2c7m+.net
>>200
少なくとも4割は実部1/2の線上に乗ってるってところまでは証明されてた気がする
205:ニュースソース検討中＠自治議論スレ
19/01/30 06:18:21.79 95RCWYyD.net
>>94
馬鹿の見本みたいな意見だな
206:ニュースソース検討中＠自治議論スレ
19/01/30 08:07:53.58 X16DCq49.net
>>94
なんか猿が落書きしてるような書き込みだなお前の書き込みってｗ
207:ニュースソース検討中＠自治議論スレ
19/01/30 08:08:27.72 X16DCq49.net
>>191
お前の臭いじゃね？
208:ニュースソース検討中＠自治議論スレ
19/01/30 08:26:20.65 lEdEWaKu.net
>>182
AIは数学の証明はしないよ。
ブードゥーってどういう意味？
奴隷防衛の歴史に準えてるの？
209:ニュースソース検討中＠自治議論スレ
19/01/30 11:08:29.37 H2A6UcoM.net
>>205
3年前はそう考えるのが普通だった。
今は違う。
もうすこしAI勉強した方がいいよ。
団塊ならばあえて勧めないが
210:ニュースソース検討中＠自治議論スレ
19/01/30 15:55:41.01 m8lrV26Z.net
>>205
俺にそれを言ってどうすんの？
流れ読めよ
211:ニュースソース検討中＠自治議論スレ
19/01/30 15:58:01.88 m8lrV26Z.net
おう、ID変わってるな
>>205
こちらは182ね
で、言うべきは >>181に対してだろ
212:ニュースソース検討中＠自治議論スレ
19/01/30 16:05:02.12 m8lrV26Z.net
>>205
ブードゥー教のマジナイみたいなもんだからだよ
>>206
結局TensorFlowと学習頼みじゃん
それすら過学習があるし
213:ニュースソース検討中＠自治議論スレ
19/01/30 16:30:11.32 fl+MiKPV.net
心の中ではすでに溶けてるんだけどな（ぁ
214:ニュースソース検討中＠自治議論スレ
19/01/30 20:44:50.47 FBxyGBtj.net
>>200
>そんなに重要なもんなのかな
フェルマー予想然り、リーマン予想もその問題自体には
ぶっちゃけ意味がないと言い切ってもよい。
それを解こうとする事によって著しく数学の深部が刺激され
新しい概念の創造が湧き出てくる事が期待されるから
興味を惹かれている
215:ニュースソース検討中＠自治議論スレ
19/01/31 01:30:27.71 wAp2NP6J.net
>>174
最後の一歩を踏むとは違うアプローチで解いたから
大きな意義があったんじゃなかったっけ？
216:ニュースソース検討中＠自治議論スレ
19/01/31 05:05:36.83 Z5V9tvsB.net
望月さんの理論のわかりやすい概略
URLﾘﾝｸ(www.youtube.com)
217:ニュースソース検討中＠自治議論スレ
19/01/31 11:28:58.67 hOk7oVe0.net
>>211
◯か×で意味が大きく変わる事ってあるかな
P≠NPが証明されたらまぁそうだよねーだけど、P=NPだったら世界がひっくり返るみたいな
218:ニュースソース検討中＠自治議論スレ
19/01/31 15:11:25.79 LHXHJxZs.net
デープラーニングを使ったAIでサクッと解けるんじゃないの？リーマン予想
219:ニュースソース検討中＠自治議論スレ
19/01/31 16:25:35.15 XIQKU5P9.net
>>215
>>209
220:ニュースソース検討中＠自治議論スレ
19/01/31 19:37:26.04 gLQ3anFQ.net
AIは数学の証明は出来ない。補助的使用が出来るだけ。
AIは無限を扱え無いから。
221:ニュースソース検討中＠自治議論スレ
19/01/31 19:39:55.81 gLQ3anFQ.net
リーマン予想自体が良い例。
コンピュータを使って何万と言う解についてリーマン予想が正しいことが示せる。
しかし、そもそも解が無限にあるので、この方法では永遠に証明が終わらない。
つまり証明出来ない。
222:ニュースソース検討中＠自治議論スレ
19/01/31 19:39:58.99 0+NNNw0G.net
(ﾉД｀)ｱﾃｨﾔｰ
223:ニュースソース検討中＠自治議論スレ
19/01/31 20:12:30.50 xKo8+M8z.net
コンピュータでやってるのは証明というよりは反証だな
例外を見つければ終わりだから
224:ニュースソース検討中＠自治議論スレ
19/01/31 20:25:14.74 f8YY/K1T.net
天才は大体白人
225:ニュースソース検討中＠自治議論スレ
19/02/01 08:36:12.67 SHe3EpL+.net
>>221
うーん近代が白人が主体だから目立つので
しかも昨今の天才は白人いうても一部貴族とユダヤとアメリカからだろ
ダ・ヴィンチが天才かはしらないがあのあたりはラテンと中東まじってたし
日本の天才が日本人と一緒で変わるんじゃね？
まあ21世紀は中国とインド人がたまに天才だすわな
226:ニュースソース検討中＠自治議論スレ
19/02/01 17:39:05.88 CPG5++Bu.net
>>217,218,220
それは反論としてはシンプルすぎる。
最も過激な意見では、あと30年くらいで人間の脳の中の信号伝達を丸ごと
コンピュータでシミュレーションできるようになると言ってる人もいる
仮にそれが実現したら、人間の脳が思いつくことは全てコンピュータでも「思いつく」ようになる
227:ニュースソース検討中＠自治議論スレ
19/02/01 17:45:05.97 GK0bZe39.net
>>223
> 言っている
それを専門家が言ってるというなら酷い話だなｗ
株価操作のヨタ話と違う？
228:ニュースソース検討中＠自治議論スレ
19/02/01 18:14:08.33 CPG5++Bu.net
>>224
このへん
コンピューターが人間を超える日、「シンギュラリティー」は起こるのか
～米シリコンバレーで会議開催、インテルやIBMなどが研究内容を紹介
URLﾘﾝｸ(robot.watch.impress.co.jp)
なお、この話の中心人物は「これが実現する頃には俺は100歳近いが、
絶対に機械の体を手に入れるぜ」と毎日山ほどサプリメントを飲んで
ランニングマシンに乗ってるるらしい
でもこれって10年前の記事だけど
> モジャ博士は語る。同博士のチームはこのほど、実際の10分の1の速さで
> 機能するネズミの脳のシミュレーションに成功し、「2018年までには
> 人間の脳のスケールでシミュレーションが可能になる」と予測する。
これってどうなったんだろう
229:ニュースソース検討中＠自治議論スレ
19/02/01 18:31:33.70 5wNcxrdv.net
>>225
あぁ、それな
ムーアの法則がまだいけるんじゃないかって希望がちょっとあって
自動運転とかで盛り上がって金集めまくってた時の話な
EUVや多重露光のぽどまりwやスループットが予想より悪く実現が遠くなり
自動運転も微妙に見通しが悪くなったし
今の予想はかなり後退したよ
230:ニュースソース検討中＠自治議論スレ
19/02/01 18:44:51.53 GK0bZe39.net
>>225
ダメダメじゃん……
シンギュラリティなんて発明家発・SF作家のネタでしかない ヴィンジだっけか
231:ニュースソース検討中＠自治議論スレ
19/02/01 18:47:35.08 GK0bZe39.net
あっ、医療については多少期待してる
でも各分野が一斉に一線超える発展とか、ジャックポット・ディみたいなネタ話だろ
232:ニュースソース検討中＠自治議論スレ
19/02/01 18:52:41.32 CPG5++Bu.net
この辺か
2018年時点の批判的な記事
シンギュラリティは近いか
URLﾘﾝｸ(www.nagaitoshiya.com)
233:ニュースソース検討中＠自治議論スレ
19/02/01 18:54:12.16 g6zp7Vbi.net
>>225
まだweb上に残っていたのか、このサイト懐かしいな
234:ニュースソース検討中＠自治議論スレ
19/02/01 19:30:32.64 CPG5++Bu.net
>>230
DARPAグランド・チャレンジとかやってたころだよね
第1回は(市街地でない)砂漠の荒地でやったのに完走車が一台も無かったという
そう考えるとAIもそれなりに進歩したのか
で、シンギュラリティ界の親分のカーツワイル氏は「The Singularity is Nearer」
(シンギュラリティはより近づいた)という本を出す予定らしく、まだまだ元気みたいだ
旧作は「The Singularity is Near」(…は近い)
235:ニュースソース検討中＠自治議論スレ
19/02/01 21:42:58.50 cK/qSZYq.net
でもこの板で夢のAI語ってる人って、
カーツワイルの本読んでなさそうだよね
236:ニュースソース検討中＠自治議論スレ
19/02/02 00:02:32.71 EzN9b5Vk.net
>>221
アティヤの父親はレバノン人だけどね
237:ニュースソース検討中＠自治議論スレ
19/02/02 20:27:28.99 Zi9c/tRU.net
なぜAIスレになってるんだｗ
だいたい現在の「AI」なんて設計の枠から外れることのない
単なる便利な道具であって
知能とはとても呼べない
「ワイ、微細構造定数を導き出したで！しかも副産物でリーマン予想まで解けちゃった」とか耄碌したアティヤ氏の方が
ある意味よっぽと知能的だわ
238:ニュースソース検討中＠自治議論スレ
19/02/02 23:24:41.11 D3nx5Ps9.net
>>223 あのな猿。 シンプルだこそ反論にならんのだわ猿。 ｗ
240:ニュースソース検討中＠自治議論スレ
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:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています