563コメント211KB

ゲーデル不完全性定理

■ このスレッドは過去ログ倉庫に格納されています

0133１３２人目の素数さん

2005/05/25(水) 20:37:33

間違えた。。
誤 Pr(g(￢Pr(g(G) ∧ Pr(g(G)))
誤 Pr(g(￢Pr(g(G))) ∧ Pr(g(Pr(g(G))))
誤 Pr(g(￢Pr(g(G)) ∧ Pr(g(Pr(g(G))))))
正 Pr(g(￢Pr(g(G))) ∧ Pr(g(G))))

■ このスレッドは過去ログ倉庫に格納されています