[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

433(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)17:36 ID:mjl0bfS3(34/41) AAS
>>374
戻る
(引用開始)
１．確かに、理論上 論理式ψの個数に制限は無く、”数理哲学”でいうところの「可能無限」ではある
２．一方で、人類がいままで書いてきた、書籍及び論文の数は明らかに有限であり、使われた文字数も有限である
３．「論理式ψの個数 ＜＝ 使われた文字数」 を認めると、論理式ψの個数は、有限にすぎない
４．そして、これ（”論理式ψの個数は、有限にすぎない”）は、予想しうる未来の範囲では、正しいだろう
省10

---

437(1): IUT応援団　団員 2020/05/10(日)17:50 ID:vZYbiwt9(29/35) AAS
>>433
なんかどっかのスレのご老人とそっくりなこといいだしたねｗ

論理式ψの個数は無限

つまり、人類が今まで書いたことがないほど長い論理式を書いてもいい

ついでにいうとΨが公理もしくは定理に限られるというのは
団長の勝手な妄想で真っ赤な・・・いや真っ黒な誤り

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.381s*