yoriyukiさんとの一連のやりとりで、「プログラマのための『ゲーデルの不完全性定理』」シリーズ第2回「速攻速習編」の「ゲーデルの不完全性定理への（ほんの少し）展望」に問題があると判明しました。その問題とは主に次の2点です。 あまりにも説明をはしょっている。そのため、誤解・誤読のリスクが高い。 「ゲーデル」という、歴史上実在の人物を表す固有名詞の使い方が間違っている。 1番目に関しては、ていねいな説明を書く以外の対策がなく、手短な展望としてはいかんともしがたいです。ただし、ある程度の予備知識を仮定してよいなら、次が補足説明になっています。 プログラマのための「ゲーデルの不完全性定理」番外：「デタラメだ」と言われたので… - 檜山正幸のキマイラ飼育記 Yoriyukiさんへの返答：内容的なコメント編 - 檜山正幸のキマイラ飼育記 メモ編 不完全性定理シリーズの背景とシナリオ - 檜山正幸の

くどいですけど、最初に「プログラマのためのゲーデルの不完全性定理」の目的を再確認すると、プログラマ／技術者にわかるように、ゲーデル型不完全性定理の一変種を説明すること。 だから、想定読者はプログラマ／技術者であり、僕なりに想定読者向けに“最適化した”表現を（方便だとのそしりを覚悟で）使ってます。記号論理の使用は最小化します。もちろん、記号論理の基礎知識を伝える目的もあるのだけど、それを予備知識とはしない。 あと、注意： 僕は「超越的」という言葉を、「構成可能性／計算可能性を、まったく意に介さない」という意味で使います。 さて、プログラマにとって関数とは、プログラムで実装された計算可能関数のイメージが強い。超越的な関数を持ち出すときは、なにか明示的に注意しないと、たぶん、暗黙に無意識に計算可能と仮定してしまう。 ちなみに、僕は論理の専門家でもなんでもないし、自然な状態（特に集中や緊張してない

yoriyukiさんからトラックバックを再びいただきました。細部はともかく、おおすじにおいて誤解は解けたようです。これで、内容的に意義のある議論、検討もできそうで、少しウキウキした気分になっています*1。ただし、このテの話題を本編に書く気はないので、書くとしてもメモ編のほうにします（書きました、コレ）。これから書くのは、内容的議論ではありません。 まず、停止問題の部分は分かりやすい解説であると思います。 ありがとうございます。僕の目標と希望は、停止問題の部分と同様な分かりやすさ（予備知識を要求しない、直観に訴える）の説明を、ゲーデルの不完全性定理（「の一変種」と言うべきでしょうか:-)）に対して行うことです。 ゲーデルが何をしたかは重要でない、というのは同意しますが、ゲーデルが定義した、と書かれているのはやはり変だと思います。 そのとおりですね。もう少し注意します。僕は、ゲーデルという人物

このyoriyukiさんのエントリーに反応しておきます。 まず「なるほど、僕に落ち度があった」と思う点を先に書きます。それは、「ゲーデルの不完全性定理」とか「ゲーデルが示した」と書いてある部分が、“ゲーデル原論文にある定理そのもの”や、“ゲーデルなる人物が史的事実として発表したこと”などを正確に指してないことです。これは、誤解を招く恐れもあるし、「それは事実と違う」と言われても仕方ないでしょう。僕の表現が不十分であり迂闊だったと言えます。 しかし僕としては、「ゲーデルの不完全性定理」シリーズの動機や目的からして、「たいして問題にはなるまい」と気を配ってもいなかったし、今でも問題になるまいと思っています。という次第で、以下に、実際に僕が使った表現／言葉に対しその意図を多少補足し、行き違いや水掛け論のリスクを減らすことにします。この意図の部分は、既に書いているか示唆している内容も多いのですが、

予定を変更して、“ご用とお急ぎ”があるかた向けに、「停止問題＋不完全性定理チョビット」に関して、1回で完結する説明をします。ですから、忙しい方は、「あとで読む」ってタグでこのエントリーを単品ブックマークするといいですよ :-)。 ※ それと、印刷時にはサイドバーは消えるはずです、お試しください。 実は、このエントリーで述べる速攻速習に向いた説明は、最初に思い付いたものの、しばらく考えてから却下したアイディアです。が、初回（兼ハブエントリー）が多少は注目されたようなので、「数回の続きものを順番に読むのは耐えられん！」という要望にも応えようか、と気が変わりました。実際に要望があったわけじゃないけど、（いろんなリンクから来る）多くの人の眼に触れれば、そう思う人がいるのも当然だと推測するので。 僕が速攻速習方式をなぜ一旦は却下したかは、次回エントリーまたはキマイラ・サイトの記事で説明します、たぶん

「プログラマのためのJavaScript」の番外シリーズ -- いやっ、ホントに。 これはシリーズのハブエントリーです。番号を（0じゃなくて）1にしたのは、全体目次だけじゃなくて内容が含まれるから。 ※ 印刷時にはサイドバーは消えるはずです、お試しください。 シリーズ全体目次（予定） （この記事；総論） 速攻速習編 自己適用からゲーデル化へ 「展望」への緊急パッチ（オハナシだよ） Reflective JavaScript 停止問題の構造 不完全性定理の構造 今回の内容： ゲーデルの不完全性定理とプログラミング ゲーデルが示したこと 不完全性定理の兄弟 -- 停止問題 JavaScript使うんだもんね 関連する記事（参考） 次の記事 速攻速習編 ●ゲーデルの不完全性定理とプログラミング 「ゲーデル」（人名；Kurt Godel、'o'の上に点々が付いてる）や彼の「不完全性定理」とかって、