数学基礎論・数理論理学 その19 (550ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
33: 2023/11/25(土)01:03 ID:y7ObLjnm(1/10) AAS
そんな客観性のかけらもないものより数学のほうがはるかに信頼できるんだから、数学を使って論理学をやれよ
35: 2023/11/25(土)01:18 ID:y7ObLjnm(2/10) AAS
数学を使って解釈すればいいだろ何言ってんだ
37: 2023/11/25(土)01:35 ID:y7ObLjnm(3/10) AAS
定理証明器なんて使うより人間が数学やったほうが効率的だし正しさにも大して貢献しないだろ
数学で記述できないんなら板違いだろ
哲学板で言葉遊びしてればいいじゃん
39: 2023/11/25(土)01:47 ID:y7ObLjnm(4/10) AAS
計算機で可能だとわかってることを計算機でやることのどこが夢なんだよ
夢があるのは証明の自動化だけど今は人間がやったほうがはるかに速いし、速いから何かが変わるな話は今してないでしょ
42: 2023/11/25(土)01:59 ID:y7ObLjnm(5/10) AAS
そもそもなんで数学を使って論理学を形式化する気がない人間がこのスレにいんの？
数理論理学ったらそれがメインコンテンツだろ
間違った推論とか興味ないがな
44: 2023/11/25(土)02:07 ID:y7ObLjnm(6/10) AAS
だから我々は数学を共通言語として学問をやってるんだから、それに文句があるんなら哲学板にいけよ
46(1): 2023/11/25(土)02:15 ID:y7ObLjnm(7/10) AAS
じゃあ質問スレで聞いて来いよ
47: 2023/11/25(土)02:18 ID:y7ObLjnm(8/10) AAS
数学基礎論が何かなんて>>1に書いてあるだろ
書いてある項目は全部数学を使って論理学を記述する話じゃねーか
それ以外のことは哲学板でやれよ
49: 2023/11/25(土)02:21 ID:y7ObLjnm(9/10) AAS
トンデモ数学の話なんてどこでやっても時間の無駄だから哲学板でやれ
51: 2023/11/25(土)02:45 ID:y7ObLjnm(10/10) AAS
数学基礎論でやってる学問に哲学でやってるよその学問を勝手に合体させて循環論法になったとか騒いで何が楽しいんだか
共存できないのが分かってんなら好きな片方だけやればいいわけだし、君の方は哲学なんだから哲学板でやれよとしか言えんだろ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.021s