第一不完全性定理を説明してみる - うつし世はゆめ / 夜のゆめもゆめ第一不完全性定理を説明してみる 話が複雑すぎて何とか自分で説明してみないと理解できそうになかったので説明を書いた。面倒な話なので読まなくてもいいです。 追記: 夜になってからかなり直した。 短い方の説明は以下。 雑記2008年3月6日(木) - うつし世はゆめ / 夜のゆめもゆめ http://www.at-akada.org/blog/2008/03/200836.html#id_p0 追記2: またちょっと直した。直しすぎでごめん。 ■ スタート地点 話は↓ここからはじまる。 こうすれば任意の論理式に自然数が一対一で対応ですよ？ つまり、「これは適切な論理式か？」「これは適切な証明か？」という論理学上の問題が、「自然数から自然数への関数をつくる」問題になるよ。 http://www.at-akada.org/blog/2008/01/2008121.html#id_20e69c80e8
