563コメント211KB

ゲーデル不完全性定理

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

0129１３２人目の素数さん

2005/05/25(水) 10:04:13

＞g(G) ≠ g(￢Pr(g(G)))
それは当然。しかし
g(G) ⇔ g(￢Pr(g(G)))
だろ。

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