Mon Dec 26 2005:start Wed Dec 28 2005:draft Tue Jan 03 2006:prefinal 関連記事：プログラマのための「ゲーデルの不完全性定理」＠檜山正幸のキマイラ飼育記 1. ゲーデルの定理は神秘主義の対極にある ゲーデルの不完全性定理を、自然言語（日常言語）だけで説明する試みを見 かけるのだけど、これは無理スジじゃなかろうか。前もってわかっている人は、 「あー、そうだね、確かに」と納得できるだろうが、その自然言語による説明 により初めて勉強をする（そして、ちゃんと理解する）ってのはほぼ不可能な 気がする。 一見回り道のようでも、記号論理学を一通り勉強して、ゲーデル符号化を （だいたいでも）追いかけないと、納得した気分にはなれないだろう。仮に正 確な説明だったとしても（そうじゃない例も見かける）、それが自然言語で記 述されると、なんだか騙さ