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