ガロア第一論文と乗数イデアル他関連資料スレ18 (540ﾚｽ)
ガロア第一論文と乗数イデアル他関連資料スレ18 http://rio2016.5ch.net/test/read.cgi/math/1748354585/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
493: １３２人目の素数さん [] 2025/09/18(木) 08:16:02.19 ID:3RyF3ryl 本来はformalなものを嫌うのが 自由な数学精神 http://rio2016.5ch.net/test/read.cgi/math/1748354585/493
496: １３２人目の素数さん [] 2025/09/18(木) 09:29:34.78 ID:I3djhwJv >>493 ＞本来はformalなものを嫌うのが自由な数学精神 数学者は論理をろくに知らんから トンチンカンなことを平気でうそぶく 貴様らは何のために定理を証明するのか？ それが正しいというためにやってるんだろう？ 思い付きのすべてが正しいというなら苦労はない しかしながら１００００の思いつきのうち９９９９は大抵間違ってる 論理＝自動証明プログラム、と思うのはウソではないが甘っちょろい まず、証明が存在するならそれを見つけることができるプログラムは存在する ただし、これはアルゴリズムではない なぜなら、証明が存在しないときは、証明を探しにいったまま戻ってこないから 数学者も実際はそんなようなものである 証明が存在しないからといって、必ず反例が見つけられるわけでもない 決定不能命題なら、それが妥当となるモデルも、そうでないモデルも存在する ＡＩが数学者になる可能性は当然あり得る 数学の命題の真・偽・決定不能が決まってるならば、 そこに自由の入る余地は微塵もない 数学者の自由は、既に決まっている定理の中の 何を面白いと思うかくらいのものである まあ、それで裸のサルとしての人間には十分だろう 人間は神ではない http://rio2016.5ch.net/test/read.cgi/math/1748354585/496
499: １３２人目の素数さん [] 2025/09/19(金) 16:45:24.22 ID:N54MxCu9 >>493 >本来はformalなものを嫌うのが >自由な数学精神 これは、御大か 巡回ご苦労様です 過去のformalを打ち破る それが、数学の精神ってことですね （＾＾ http://rio2016.5ch.net/test/read.cgi/math/1748354585/499
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.018s