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