[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
374(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)08:52 ID:mjl0bfS3(5/41) AAS
>>373
おサル（>>2）ご苦労
>論理式の個数ですよ 長さじゃないですよｗ
>ψに入り得る論理式の個数は無限にあるでしょ？
>まさか有限個しかないと思ってます？
では問うｗ
１．確かに、理論上 論理式ψの個数に制限は無く、”数理哲学”でいうところの「可能無限」ではある
２．一方で、人類がいままで書いてきた、書籍及び論文の数は明らかに有限であり、使われた文字数も有限である
３．「論理式ψの個数 ＜＝ 使われた文字数」 を認めると、論理式ψの個数は、有限にすぎない
４．そして、これ（”論理式ψの個数は、有限にすぎない”）は、予想しうる未来の範囲では、正しいだろう
つまり、”論理式ψの個数は、有限にすぎない”！！ 但し、理論上 論理式ψの個数に制限は無い ！！
QED ｗ（＾＾；
（問いになってないか？ まあ、書き直しは面倒なので、このままなｗｗ）
上下前次1-新書関写板覧索設栞歴
あと 628 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.012s