数学基礎論・数理論理学 その19 (550ﾚｽ)
数学基礎論・数理論理学 その19 http://rio2016.5ch.net/test/read.cgi/math/1696599483/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
33: １３２人目の素数さん [sage] 2023/11/25(土) 01:03:08.78 ID:y7ObLjnm そんな客観性のかけらもないものより数学のほうがはるかに信頼できるんだから、数学を使って論理学をやれよ http://rio2016.5ch.net/test/read.cgi/math/1696599483/33
35: １３２人目の素数さん [sage] 2023/11/25(土) 01:18:26.29 ID:y7ObLjnm 数学を使って解釈すればいいだろ何言ってんだ http://rio2016.5ch.net/test/read.cgi/math/1696599483/35
37: １３２人目の素数さん [sage] 2023/11/25(土) 01:35:32.78 ID:y7ObLjnm 定理証明器なんて使うより人間が数学やったほうが効率的だし正しさにも大して貢献しないだろ 数学で記述できないんなら板違いだろ 哲学板で言葉遊びしてればいいじゃん http://rio2016.5ch.net/test/read.cgi/math/1696599483/37
39: １３２人目の素数さん [sage] 2023/11/25(土) 01:47:22.43 ID:y7ObLjnm 計算機で可能だとわかってることを計算機でやることのどこが夢なんだよ 夢があるのは証明の自動化だけど今は人間がやったほうがはるかに速いし、速いから何かが変わるな話は今してないでしょ http://rio2016.5ch.net/test/read.cgi/math/1696599483/39
42: １３２人目の素数さん [sage] 2023/11/25(土) 01:59:42.74 ID:y7ObLjnm そもそもなんで数学を使って論理学を形式化する気がない人間がこのスレにいんの？ 数理論理学ったらそれがメインコンテンツだろ 間違った推論とか興味ないがな http://rio2016.5ch.net/test/read.cgi/math/1696599483/42
44: １３２人目の素数さん [sage] 2023/11/25(土) 02:07:47.24 ID:y7ObLjnm だから我々は数学を共通言語として学問をやってるんだから、それに文句があるんなら哲学板にいけよ http://rio2016.5ch.net/test/read.cgi/math/1696599483/44
46: １３２人目の素数さん [sage] 2023/11/25(土) 02:15:15.91 ID:y7ObLjnm じゃあ質問スレで聞いて来いよ http://rio2016.5ch.net/test/read.cgi/math/1696599483/46
47: １３２人目の素数さん [sage] 2023/11/25(土) 02:18:28.76 ID:y7ObLjnm 数学基礎論が何かなんて>>1に書いてあるだろ 書いてある項目は全部数学を使って論理学を記述する話じゃねーか それ以外のことは哲学板でやれよ http://rio2016.5ch.net/test/read.cgi/math/1696599483/47
49: １３２人目の素数さん [sage] 2023/11/25(土) 02:21:49.22 ID:y7ObLjnm トンデモ数学の話なんてどこでやっても時間の無駄だから哲学板でやれ http://rio2016.5ch.net/test/read.cgi/math/1696599483/49
51: １３２人目の素数さん [sage] 2023/11/25(土) 02:45:07.74 ID:y7ObLjnm 数学基礎論でやってる学問に哲学でやってるよその学問を勝手に合体させて循環論法になったとか騒いで何が楽しいんだか 共存できないのが分かってんなら好きな片方だけやればいいわけだし、君の方は哲学なんだから哲学板でやれよとしか言えんだろ http://rio2016.5ch.net/test/read.cgi/math/1696599483/51
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.303s*