数学基礎論・数理論理学 その19 (605ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
358(2): １３２人目の素数さん [] 2024/05/25(土)15:32 ID:43OvMs57(1/4)
＞なぜ全ての集合に対しての論理式の列を許さず
＞∀xP(x)や∃xP(x)にするのだろう
論理式が有限文字数で書けないから
推論が有限回ですまないだろう
そんなものを人間は扱い得ないと思われる
パラドックスとかいう以前
362(1): １３２人目の素数さん [] 2024/05/25(土)15:53 ID:43OvMs57(2/4)
＞多分大丈夫じゃないかな
楽天家はみなそういうが、皆死んでった・・・
363(1): １３２人目の素数さん [] 2024/05/25(土)15:54 ID:43OvMs57(3/4)
無限論理というものがあるのは知ってるが
普及してないのはきっと上手くいってないからだろう
366: １３２人目の素数さん [] 2024/05/25(土)19:14 ID:43OvMs57(4/4)
>>364
>なぜかな
僕のせいじゃないよ
>不思議
だから僕のせいじゃないって
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s