m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 予定を変更して、“ご用とお急ぎ”があるかた向けに、「停止問題＋不完全性定理チョビット」に関して、1回で完結する説明をします。ですから、忙しい方は、「あとで読む」ってタグでこのエントリーを単品ブックマークするといいですよ :-)。 ※ それと、印刷時にはサイドバーは消えるはずです、お試しください。実は、このエントリーで述べる速攻速習に向いた説明は、最初に思い付いたものの、しばらく考えてから却下したアイディアです。が、初回（兼ハブエントリー）が多少は注目されたようなので、「数回の続きものを順番に読むのは耐えられん！」という要望にも応えようか、と気が変わりました。実際に要望があったわけじゃないけど、… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20060110%2F1136843110" title="プログラマのための「ゲーデルの不完全性定理」(2)：速攻速習編 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-01-10 06:45:10 rich https://m-hiyama.hatenablog.com/entry/20060110/1136843110 1.0 100%