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