数学＝証明って考えは狭くないか？ (18ﾚｽ)
上下前次1-新
1(1): 02/23(日)18:37 ID:17/rI3re(1) AAS
計算も数学では？
2: 02/23(日)18:39 ID:fHsO1XOM(1) AAS
そうだよ
誰もそういうこと言ってないよ
3: poem 02/23(日)18:42 ID:GfrjW4dD(1/3) AAS
自分言ってたわ
4: poem 02/23(日)18:48 ID:GfrjW4dD(2/3) AAS
自分
数学＝証明
と今言ってたばかり
ここでこれ
2chｽﾚ:math
5: 02/23(日)19:30 ID:DFJVTNq2(1/2) AAS
働けウンコ製造機
6: 02/23(日)19:31 ID:L+VZ6nxl(1) AAS
良スレの予感
7(1): 02/23(日)19:39 ID:DFJVTNq2(2/2) AAS
AA省
8: poem 02/23(日)20:09 ID:GfrjW4dD(3/3) AAS
>>7
オーケー🆗👍
9: poem 02/26(水)19:18 ID:WiOQ7KLf(1) AAS
パラドックスとパラレル
という話が
2chｽﾚ:math
10: 03/08(土)14:55 ID:tjmb0+YM(1) AAS
証明すべき命題を発見するところが肝心だが、普通の教育や既に出来上がった数学では証明すべき命題はあらかじめあってそれの証明を
書くことに主題がある。さらにいうと、「証明すべき命題」つまり予想を発見するような探索がされねばならない。
予想はどこからくるのだろうか。
11: 03/22(土)08:08 ID:1wW8/PTG(1) AAS
今にAIが洪水のように予想をじゃんじゃんと生成して、
それを皆が証明しあるいは判例をあげて論文数を稼ぐ
ということが流行るようになる気がする。
12(1): 04/01(火)12:53 ID:JPO37qf3(1) AAS
一般の命題を必ず証明できるような万能の証明アルゴリズムは無いということが証明されているが、
そのことはあるアルゴリズムによって証明可能な命題を拾って集めることが不可能であることまでは意味しない。
だから計算機を回して、あるアルゴリズムによって証明することができた命題を集めてやり、
それを論文向けに各命題とそれの証明を1つづつ書いてやれば、
もしもそれらが論文審査の結果として受理されたならば、論文数を稼げることになる。
しかし、正しい命題とそれの正しい証明が書かれているというだけの論文は、
どういった扱いになるのだろうか。正しい命題は無数にある。そのうち論文として
残すべき価値がある命題、人間が良いと思う命題とは、いったいどういう判断基準で
選ばれるのだろう？
13: poem 05/04(日)12:42 ID:JsKwarAg(1) AAS
過渡電気も行列虚数だった。停電
2chｽﾚ:sci
14: 05/06(火)17:41 ID:6vmhzBtF(1/2) AAS
>>1
数学＝計算って考えよりは広い
実際には、数学は証明すべき命題の探索であって証明は確認行為にすぎないｗ
15: 05/06(火)17:44 ID:6vmhzBtF(2/2) AAS
>>12
単に正しいというだけの命題を証明しただけでは論文として掲載されない
正しくないからではない（正しいことは明らかだろうから）
面白くないからだ
16(1): 05/08(木)06:06 ID:xbcpGLfj(1) AAS
ではどうであれば面白いものとなるのだろうか？
その評価関数がはっきりすれば面白い。
しかし人間は面白いことでもそれが繰り返されると
いずれ面白くなくなる。新しさは長持ちしない。
17: 05/08(木)19:26 ID:mHtrzAo6(1) AAS
>>16
>ではどうであれば面白いものとなるのだろうか？
試行錯誤するしかない
>その評価関数がはっきりすれば面白い。
なぜそれを自分で見つけないのか？
18: 06/16(月)03:26 ID:R1d9eHAr(1) AAS
ｂ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.200s*