不完全性定理とゲーデル 三題 - /dev/wd0a

うすらバカ事件について 「キングオブうすらバカ」(あえてリンクしない)のあまりの出鱈目さに唖然として言葉を失なっていたのですが、くるるさんの適切なつっこみが出て、ほっとしました。ありがとうございます。元記事の出鱈目さは私の表現力をはるかに超えていて、今の私には手が出せません。 基本定理としての不完全性定理 いつもそこらじゅうで言ったり書いたりしていることだけど、また、書きましょう。 ほとんどの啓蒙書の類で、「不完全性定理はヒルベルトのプログラムに致命的な打撃を与えた」ってところだけ強調されているのが、不完全性定理を否定的な結果であるとみなす偏見を助長していると思っています。不完全性定理が数理論理学の基本定理の一つであり、肯定的な結果であることを、もっと紹介するべきです。 基本定理というのは、その定理の系としてさまざまな定理が導かれるもののことです。「不完全性定理からあれもこれも出てきます。

[ublftbo]

関連のエントリーをいくつか読んで（いや、「見た」と言った方が適切か）、詳しくない分野について軽々しく語ることの恐ろしさを改めて感じました。 / 専門家から指摘されたら、むしろ感謝しなくちゃならないのにね。