[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新

---

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

---

113: 2014/03/01(土) 01:51:08.20 AA×


[240|320|480|600|原寸|JPG|べ|ﾚｽ栞|ﾚｽ消]
113: [sage] 2014/03/01(土) 01:51:08.20 変数記号を無限個 {x1、x2、x3、x4、……} 用意するんじゃなくて {x'、x''、x'''、x''''、……} で代用してコード化すると有限文字（N文字）しか要らないから、 それぞれの文字を0〜N-1と対応させてそのまま読むと m文字の論理式はN進法でm桁のゲーデル数を対応させられる。 つまり N^m くらいしか要らない。 スマリヤンの本にあるゲーデル数化の方法だけど m文字以下の論理式はある定数c、kに対してc^(m/k)程度はあるから、 このコード化は割と良い線言ってると思うよ。 http://rio2016.5ch.net/test/read.cgi/math/1384715117/113
変数記号を無限個 用意するんじゃなくて で代用してコード化すると有限文字文字しか要らないから それぞれの文字をと対応させてそのまま読むと 文字の論理式は進法で桁のゲーデル数を対応させられる つまり くらいしか要らない スマリヤンの本にあるゲーデル数化の方法だけど 文字以下の論理式はある定数に対して程度はあるから このコード化は割と良い線言ってると思うよ

---

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

---

あと 502 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.022s