2014-08-21から1日間の記事一覧

finding fantasyさんへの返信。

finding fantasy 2014/08/21 01:45 どうも、厚意に甘えて早速質問です。 ゲーデルの不完全性定理についてなんですが、ゲーデル命題ありますよね。この命題は証明できない、ですがこれは命題論理の式に置き換えられて、更にゲーデル数に書き換えられますね。 …