563コメント211KB

ゲーデル不完全性定理

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

0132１３２人目の素数さん

2005/05/25(水) 20:34:29

誤 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))))))

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