神々＠整理

神々の整理は終わった。

僕は無宗教です。無矛盾です。恒真です。

恒真性の証明は、フォーマル・ベリフィケーションです。

コンピュータでも、恒真性の証明は不可能です。

問題が複雑だからです。

np-hardの問題です。

でも、僕は恒真です。

つまり、コンピュータは人間の脳を超えられないという意味です！


バードマン