数学はもうすぐ終わる学問って本当？
1 ：１３２人目の素数さん：
33 ：ご冗談でしょう？名無しさん：2014/10/11(土) 22:52:23.29 ID:???
フィールズ賞獲りたいんだけど、何をやったら受賞できる？
39 ：ご冗談でしょう？名無しさん：2014/10/12(日) 05:56:56.12 ID:???
>>33
数学はもうすぐ終る学問。
20年後には、リーマン予想をコンピュータが解くだろう。
年齢制限のある賞は「奨励賞」で、所詮二流。
42 ：ご冗談でしょう？名無しさん：2014/10/12(日) 08:37:35.93 ID:???
将棋はあと５年で、名人がコンピュータに負けるが、敗因は理解できるだろう。
しかし、10年後には、敗因すら理解できなくなる。
数学も20年後には、コンピュータが作る数学を数学者が理解できなくなる。
若者で、数学者を目指している者の気持ちがわからない。
フィールズ賞獲りたいんだけど、何をやったら受賞できる？
39 ：ご冗談でしょう？名無しさん：2014/10/12(日) 05:56:56.12 ID:???
>>33
数学はもうすぐ終る学問。
20年後には、リーマン予想をコンピュータが解くだろう。
年齢制限のある賞は「奨励賞」で、所詮二流。
42 ：ご冗談でしょう？名無しさん：2014/10/12(日) 08:37:35.93 ID:???
将棋はあと５年で、名人がコンピュータに負けるが、敗因は理解できるだろう。
しかし、10年後には、敗因すら理解できなくなる。
数学も20年後には、コンピュータが作る数学を数学者が理解できなくなる。
若者で、数学者を目指している者の気持ちがわからない。
|
|
|
2 ：１３２人目の素数さん：2014/10/12(日) 16:00:10.87
3 ：１３２人目の素数さん：2014/10/12(日) 16:11:47.48
「理解」する補助手段にコンピューターを有効利用するようになるんじゃないの？
4 ：１３２人目の素数さん：2014/10/12(日) 16:15:48.30
>>1
アラシか
アラシか
5 ：１３２人目の素数さん：2014/10/12(日) 16:28:04.35
6 ：１３２人目の素数さん：2014/10/12(日) 16:30:12.32
日本の数学は終わっとるよ
今後
日本の数学者が世界的な活躍をすることはない
今後
日本の数学者が世界的な活躍をすることはない
7 ：１３２人目の素数さん：2014/10/12(日) 16:30:42.67
>>1
コンピュータによって証明された定理ってどんなのがあるの？
コンピュータによって証明された定理ってどんなのがあるの？
8 ：１３２人目の素数さん：2014/10/12(日) 17:32:33.97
願望スレか
9 ：KingMathematician ◆LoZDre77j4i1 ：2014/10/12(日) 20:38:14.13
人類はもうすぐ終わる生物って本当？
10 ：１３２人目の素数さん：2014/10/12(日) 23:53:01.97
>>7
4色定理が有名だけど、
単純な機械的探索ではなく、
上手く解を見つけるためのチューニングを施している。
しかも、証明の土台は過去の先人が築いたもので、
場合分けが多すぎるのをコンピュータでカバーしただけだしな。
将来的にコンピュータが人間並みに定理を証明するような時代が来ないとは言い切れないが、
今のAI技術からするとまだまだ幾つものブレークスルーが必要。
4色定理が有名だけど、
単純な機械的探索ではなく、
上手く解を見つけるためのチューニングを施している。
しかも、証明の土台は過去の先人が築いたもので、
場合分けが多すぎるのをコンピュータでカバーしただけだしな。
将来的にコンピュータが人間並みに定理を証明するような時代が来ないとは言い切れないが、
今のAI技術からするとまだまだ幾つものブレークスルーが必要。
11 ：１３２人目の素数さん：2014/10/13(月) 17:54:49.79
12 ：１３２人目の素数さん：2014/10/14(火) 18:46:57.28
>>9
まずは人類の定義を述べよ
まずは人類の定義を述べよ
13 ：１３２人目の素数さん：2014/10/14(火) 18:54:56.57
コンピュータにも解けてしまうと数学的な価値がないことになる？
んなアホな
んなアホな
14 ：１３２人目の素数さん：2014/10/14(火) 21:08:26.13
えっ、これほんと？
理学部より工学部めざしたほうがいい？
理学部より工学部めざしたほうがいい？
15 ：１３２人目の素数さん：2014/10/15(水) 00:12:38.43
嘘
社会人になったら良い翻訳ソフトが出廻ると予想して英語勉強しなかった俺が保証する
社会人になったら良い翻訳ソフトが出廻ると予想して英語勉強しなかった俺が保証する
16 ：１３２人目の素数さん：2014/10/15(水) 21:29:21.51
羽生さんよりスケートの羽生君の時代か。
17 ：KingMathematician ◆LoZDre77j4i1 ：2014/10/17(金) 04:41:23.83
Re:>>12 どこかに書いてあるか.
18 ：１３２人目の素数さん：2014/10/17(金) 19:29:03.36
>>12
朝鮮猿を除く現生霊長目ヒト科
朝鮮猿を除く現生霊長目ヒト科
19 ：１３２人目の素数さん：2014/10/23(木) 07:38:27.89
20 ：１３２人目の素数さん：2014/10/23(木) 07:40:45.69
コンピュータを使うこと以上に、
証明の構成法自体が四色定理の解決に特化されており、
他の問題との関係性に乏しいことも
数学者の間で人気がない理由となっている。
証明の構成法自体が四色定理の解決に特化されており、
他の問題との関係性に乏しいことも
数学者の間で人気がない理由となっている。
21 ：１３２人目の素数さん：2014/10/27(月) 23:07:22.68
君の友人が「数学はもうすぐ終わる」と言ったのは、
自分が使っている参考書または問題集が
もうすぐ終わりにくる という意味で、
君が考えているような話ではないよ、おそらく。
自分が使っている参考書または問題集が
もうすぐ終わりにくる という意味で、
君が考えているような話ではないよ、おそらく。
22 ：KingMathematician ◆LoZDre77j4i1 ：2014/10/28(火) 16:56:01.33
人への念の盗み見による介入が無くなれば世の不和はもうすぐ終わるだろう.
23 ：１３２人目の素数さん：2014/10/28(火) 17:02:11.41
>>16
スケートだって、そのうち羽生よりきれいに滑るロボットが作られるよ
スケートだって、そのうち羽生よりきれいに滑るロボットが作られるよ
24 ：１３２人目の素数さん：2014/11/02(日) 01:18:02.08
ソリトンだってコンピュータで発見されたんだぜ
25 ：１３２人目の素数さん：2014/11/02(日) 02:31:35.85
kingしね
26 ：KingMathematician ◆LoZDre77j4i1 ：2014/11/02(日) 13:25:51.41
27 ：１３２人目の素数さん：2014/11/02(日) 14:54:33.93
そんなことを知ってどうする？
kingしね
kingしね
28 ：１３２人目の素数さん：2014/11/02(日) 16:00:22.82
>>26
Computer が人の観念を持つための必要条件を答えよ
Computer が人の観念を持つための必要条件を答えよ
29 ：KingMathematician ◆LoZDre77j4i1 ：2014/11/14(金) 21:21:36.97
30 ：１３２人目の素数さん：2014/11/15(土) 16:19:13.03
31 ：１３２人目の素数さん：2014/11/19(水) 10:33:22.45
× 数学はもうすぐ終わる学問
↓
〇 数学はもう終わった学問
↓
〇 数学はもう終わった学問
32 ：１３２人目の素数さん：2014/11/19(水) 10:57:12.22
それだけが君の救いなんだね
33 ：KingMathematician ◆LoZDre77j4i1 ：2014/11/19(水) 18:46:21.52
34 ：１３２人目の素数さん：2014/11/19(水) 19:15:39.56
朝鮮王現れたか
35 ：１３２人目の素数さん：2014/11/19(水) 21:38:53.34
数学板ID表示制検討スレッド [転載禁止](c)2ch.net
http://wc2014.2ch.net/test/read.cgi/math/1416399853/
http://wc2014.2ch.net/test/read.cgi/math/1416399853/
36 ：KingMathematician ◆LoZDre77j4i1 ：2014/11/20(木) 02:28:33.77
Re:>>34 どこにか.
37 ：１３２人目の素数さん：2014/11/20(木) 03:13:43.63
て
38 ：１３２人目の素数さん：2014/11/20(木) 16:54:13.74
数学が終わるというか
昔みたいに数人の天才が色々とブレイクスルーする
ということがなくなって、集団化していって蛸壺化するっていう
普通の学問になるだけでね
昔みたいに数人の天才が色々とブレイクスルーする
ということがなくなって、集団化していって蛸壺化するっていう
普通の学問になるだけでね
39 ：１３２人目の素数さん：2014/11/20(木) 17:06:21.88
掘りつくされた金鉱でやる宝探し
40 ：KingMathematician ◆LoZDre77j4i1 ：2014/11/23(日) 07:23:18.48
Re:>>39 何故掘りつくされたと思う.
41 ：１３２人目の素数さん：2014/11/23(日) 12:10:44.02
数学も将棋も同じようなものになるという予感はある？
42 ：１３２人目の素数さん：2014/11/23(日) 12:23:44.05
コンピューターが新手を開発するようになってきたが、ソフトで
自動で定理を開発できないうちは全然ダメでしょ
自動で定理を開発できないうちは全然ダメでしょ
43 ：１３２人目の素数さん：2014/11/23(日) 12:37:28.74
そもそも定理なんて必要ないよ
44 ：１３２人目の素数さん：2014/11/23(日) 12:58:36.23
>>43
アホか
アホか
45 ：１３２人目の素数さん：2014/11/23(日) 17:10:14.95
文系に理解できる範囲の数学は三世紀も前に終わっている
46 ：１３２人目の素数さん：2014/11/23(日) 18:14:02.63
>>44
どこが？
どこが？
47 ：１３２人目の素数さん：2014/11/23(日) 18:18:57.99
>>45
どこが？
どこが？
48 ：１３２人目の素数さん：2014/11/23(日) 18:40:18.43
>>45
そのうち数学者にも理解できなくなるの？
そのうち数学者にも理解できなくなるの？
49 ：１３２人目の素数さん：2014/11/23(日) 21:11:41.64
そうだな
だから、文系で数学板に入浸っていることを恥じる必要はないぞ
だから、文系で数学板に入浸っていることを恥じる必要はないぞ
50 ：１３２人目の素数さん：2014/11/23(日) 22:20:46.40
今だって数学全部理解できる奴いるんか？
51 ：１３２人目の素数さん：2014/11/23(日) 22:53:48.17
52 ：１３２人目の素数さん：2014/11/23(日) 23:23:23.34
>>1
バッチイスレ、削除依頼出しますわよ
バッチイスレ、削除依頼出しますわよ
53 ：１３２人目の素数さん：2014/11/23(日) 23:28:53.50
最先端の距離が遠くなってるからね、数学が広く深くなってる
逆に言うと、今はやるべき問題の方が研究者の数より多い時代で
「数学はやることがなくなって、重箱の隅の問題しか残ってない」
状態では決して無い。
昔はできなかった大規模な計算や、山ほどある分類の虱潰しなどで
コンピュータは重要になっていくだろうね。
逆に言うと、今はやるべき問題の方が研究者の数より多い時代で
「数学はやることがなくなって、重箱の隅の問題しか残ってない」
状態では決して無い。
昔はできなかった大規模な計算や、山ほどある分類の虱潰しなどで
コンピュータは重要になっていくだろうね。
54 ：１３２人目の素数さん：2014/11/24(月) 00:07:08.63
小学生のころにそんなことを考えた
そのうち、義務教育が100年くらいになるんじゃあないかしらん、とか(笑)
そのうち、義務教育が100年くらいになるんじゃあないかしらん、とか(笑)
55 ：１３２人目の素数さん：2014/11/24(月) 01:15:51.80
あんきパンが実用化されるだろ
56 ：１３２人目の素数さん：2014/11/24(月) 01:28:10.92
その頃には、新しい科学から発生した新しい数学を研究してるんじゃないか
57 ：１３２人目の素数さん：
よっこらしょ。
∧＿∧ ミ ＿ ドスッ
（ ）┌─┴┴─┐
/ つ. 終 了 |
:/o /´ .└─┬┬─┘
（＿（＿） ；;､`;｡;`| |
このスレは無事に終了しました
ありがとうございました
もう書き込まないでください
∧＿∧ ミ ＿ ドスッ
（ ）┌─┴┴─┐
/ つ. 終 了 |
:/o /´ .└─┬┬─┘
（＿（＿） ；;､`;｡;`| |
このスレは無事に終了しました
ありがとうございました
もう書き込まないでください