数学＝証明って考えは狭くないか？ (18ﾚｽ)
数学＝証明って考えは狭くないか？ http://rio2016.5ch.net/test/read.cgi/math/1740303449/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
1: １３２人目の素数さん [] 2025/02/23(日) 18:37:29.95 ID:17/rI3re 計算も数学では？ http://rio2016.5ch.net/test/read.cgi/math/1740303449/1
2: １３２人目の素数さん [] 2025/02/23(日) 18:39:23.14 ID:fHsO1XOM そうだよ 誰もそういうこと言ってないよ http://rio2016.5ch.net/test/read.cgi/math/1740303449/2
3: poem [] 2025/02/23(日) 18:42:35.87 ID:GfrjW4dD 自分言ってたわ http://rio2016.5ch.net/test/read.cgi/math/1740303449/3
4: poem [] 2025/02/23(日) 18:48:29.61 ID:GfrjW4dD 自分 数学＝証明 と今言ってたばかり ここでこれ https://rio2016.5ch.net/test/read.cgi/math/1732537386/138-148/ http://rio2016.5ch.net/test/read.cgi/math/1740303449/4
5: １３２人目の素数さん [sage] 2025/02/23(日) 19:30:37.82 ID:DFJVTNq2 働けウンコ製造機 http://rio2016.5ch.net/test/read.cgi/math/1740303449/5
6: １３２人目の素数さん [] 2025/02/23(日) 19:31:51.68 ID:L+VZ6nxl 良スレの予感 http://rio2016.5ch.net/test/read.cgi/math/1740303449/6
7: １３２人目の素数さん [sage] 2025/02/23(日) 19:39:50.42 ID:DFJVTNq2 ｒ'ﾟ'=、 /￣`''''"'x、 ,-=''"`i, ,x'''''''v'"￣`x,__,,,＿ ＿＿,,/ i! i,￣＼ ` 、 __x-='" | /ヽ /・l, l, ＼ ヽ /（ 1 i・ ﾉ く、ﾉ | i i, ／￣￣￣￣￣￣￣￣￣ | i, {, ﾆ , .| | i, ＜ がんばろう！ .l, i, } 人 ﾉヽ | { { ＼＿＿＿＿＿＿＿＿＿ }, '、 T`'''i, `ー" ＼__,/ .} | .} , .,'、 }, `ー--ー'''" / } i, | ,i_,iJ `x, _,,.x=" .| ,} `" `ー'" iiJi_,ﾉ http://rio2016.5ch.net/test/read.cgi/math/1740303449/7
8: poem [] 2025/02/23(日) 20:09:21.29 ID:GfrjW4dD >>7 オーケー🆗👍 http://rio2016.5ch.net/test/read.cgi/math/1740303449/8
9: poem [] 2025/02/26(水) 19:18:58.57 ID:WiOQ7KLf パラドックスとパラレル という話が https://itest.5ch.net/rio2016/test/read.cgi/math/1740303816 http://rio2016.5ch.net/test/read.cgi/math/1740303449/9
10: １３２人目の素数さん [] 2025/03/08(土) 14:55:44.49 ID:tjmb0+YM 証明すべき命題を発見するところが肝心だが、普通の教育や既に出来上がった数学では証明すべき命題はあらかじめあってそれの証明を 書くことに主題がある。さらにいうと、「証明すべき命題」つまり予想を発見するような探索がされねばならない。 予想はどこからくるのだろうか。 http://rio2016.5ch.net/test/read.cgi/math/1740303449/10
11: １３２人目の素数さん [] 2025/03/22(土) 08:08:40.11 ID:1wW8/PTG 今にAIが洪水のように予想をじゃんじゃんと生成して、 それを皆が証明しあるいは判例をあげて論文数を稼ぐ ということが流行るようになる気がする。 http://rio2016.5ch.net/test/read.cgi/math/1740303449/11
12: １３２人目の素数さん [] 2025/04/01(火) 12:53:46.84 ID:JPO37qf3 一般の命題を必ず証明できるような万能の証明アルゴリズムは無いということが証明されているが、 そのことはあるアルゴリズムによって証明可能な命題を拾って集めることが不可能であることまでは意味しない。 だから計算機を回して、あるアルゴリズムによって証明することができた命題を集めてやり、 それを論文向けに各命題とそれの証明を1つづつ書いてやれば、 もしもそれらが論文審査の結果として受理されたならば、論文数を稼げることになる。 しかし、正しい命題とそれの正しい証明が書かれているというだけの論文は、 どういった扱いになるのだろうか。正しい命題は無数にある。そのうち論文として 残すべき価値がある命題、人間が良いと思う命題とは、いったいどういう判断基準で 選ばれるのだろう？ http://rio2016.5ch.net/test/read.cgi/math/1740303449/12
13: poem [] 2025/05/04(日) 12:42:16.63 ID:JsKwarAg 過渡電気も行列虚数だった。停電 https://rio2016.5ch.net/test/read.cgi/sci/1745249589/70-140/ http://rio2016.5ch.net/test/read.cgi/math/1740303449/13
14: １３２人目の素数さん [] 2025/05/06(火) 17:41:27.73 ID:6vmhzBtF >>1 数学＝計算って考えよりは広い 実際には、数学は証明すべき命題の探索であって証明は確認行為にすぎないｗ http://rio2016.5ch.net/test/read.cgi/math/1740303449/14
15: １３２人目の素数さん [] 2025/05/06(火) 17:44:36.74 ID:6vmhzBtF >>12 単に正しいというだけの命題を証明しただけでは論文として掲載されない 正しくないからではない（正しいことは明らかだろうから） 面白くないからだ http://rio2016.5ch.net/test/read.cgi/math/1740303449/15
16: １３２人目の素数さん [] 2025/05/08(木) 06:06:01.62 ID:xbcpGLfj ではどうであれば面白いものとなるのだろうか？ その評価関数がはっきりすれば面白い。 しかし人間は面白いことでもそれが繰り返されると いずれ面白くなくなる。新しさは長持ちしない。 http://rio2016.5ch.net/test/read.cgi/math/1740303449/16
17: １３２人目の素数さん [] 2025/05/08(木) 19:26:53.66 ID:mHtrzAo6 >>16 >ではどうであれば面白いものとなるのだろうか？ 試行錯誤するしかない >その評価関数がはっきりすれば面白い。 なぜそれを自分で見つけないのか？ http://rio2016.5ch.net/test/read.cgi/math/1740303449/17
18: １３２人目の素数さん [] 2025/06/16(月) 03:26:36.85 ID:R1d9eHAr ｂ http://rio2016.5ch.net/test/read.cgi/math/1740303449/18
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.013s