[過去ログ]
Inter-universal geometry と ABC予想 (応援スレ) 45 (1002レス)
Inter-universal geometry と ABC予想 (応援スレ) 45 http://rio2016.5ch.net/test/read.cgi/math/1588552720/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
374: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/10(日) 08:52:53 ID:mjl0bfS3 >>373 おサル(>>2)ご苦労 >論理式の個数ですよ 長さじゃないですよw >ψに入り得る論理式の個数は無限にあるでしょ? >まさか有限個しかないと思ってます? では問うw 1.確かに、理論上 論理式ψの個数に制限は無く、”数理哲学”でいうところの「可能無限」ではある 2.一方で、人類がいままで書いてきた、書籍及び論文の数は明らかに有限であり、使われた文字数も有限である 3.「論理式ψの個数 <= 使われた文字数」 を認めると、論理式ψの個数は、有限にすぎない 4.そして、これ(”論理式ψの個数は、有限にすぎない”)は、予想しうる未来の範囲では、正しいだろう つまり、”論理式ψの個数は、有限にすぎない”!! 但し、理論上 論理式ψの個数に制限は無い !! QED w(^^; (問いになってないか? まあ、書き直しは面倒なので、このままなww) http://rio2016.5ch.net/test/read.cgi/math/1588552720/374
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 628 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.015s