ゲーデルの不完全性定理は、数学を扱う数学、つまりメタ数学を考えるが、それだと理解が難しい。しかし、証明(数学)＝プログラムという悟りを開くと、プログラムを扱うプログラム、つまりメタプログラムを考えればよくなり、それならコンパイラ等でなじみがあるので理解が優しくなる。 話の流れは以下。 1. プログラムとは何か 2. 証明とは何か 3. 証明＝プログラム , （　　 {、　{　　 ヽ.ｰ､､ ＼､__ぃ._ゝ⌒ヾ iヾ）}､_ ﾝ_ｰ-_二ｰ-, 〉 {厶 _､ヽ　　　　　　　　　 　 　 _ ヽ._＞'´ ／ /,ィ／　/　ハYﾍい　　　　　　 ,.　-- 〃⌒ r−-､　　　　　　ィ´　 〃 ,ｲ/7'　 ,ｲイ/　小ヽ 丶、　,. ‐ '´ﾊ i 　 ″｀ヽ、 、ヽ、　　　　　／幺ィ　 {从{小込v' jｩ仏厶川ﾘ}　 YV,　　 小 Vj.　|丶 　 ヽ ｀ ｰ-ミー--'_,辷三彡

希望する人は、はてブやコメントをつけよ。1週間以内に総数が１００越えたら、それ説得材料（？）にして太田出版に掛け合うぜよ（なぜか龍馬伝風*1 Twitter読んで以下の発言にプチ驚いた。まだ本見てないけど、そんなこといってるのｗ uzu_are 私も熱烈希望です！経済学者の半分は……と最後に言ってしまわれてるのでｗ前進あるのみ！で！ RT @YJSZK: 宮崎さんが話を振ってる『エコミシュ2010』、ワシも出して欲すぃなぁ。(『日本経済復活 一番簡単な方法（光文社新書）』 http://bit.ly/b4nmfx） 越えなければいけないハードルは僕が考えても三点。そもそも編者三人生きてる？　笑　おーい！　出番だってさー！　爆 エコノミスト・ミシュラン 作者: 田中秀臣,野口旭,若田部昌澄出版社/メーカー: 太田出版発売日: 2003/10メディア: 単行本購入: 1人 クリック: 73回こ