ゲーデル不完全性定理
■ このスレッドは過去ログ倉庫に格納されています
0121１３２人目の素数さん
2005/05/21(土) 17:40:45Pr(g(x))⊃Pr(g(Pr(g(x))))
-------------------------
Pr(g(G))⊃Pr(g(¬G))
-----------------------------------
Pr(g(G)) ⊃(Pr(g(G))∧Pr(g(¬G)))
-----------------------------------
Pr(g(G)) ⊃¬Con(T)
----------------------------
Con(T) ⊃ ¬Pr(g(G)) (= G)
■ このスレッドは過去ログ倉庫に格納されています