前回（第2回）、1回でも完結する形で、停止問題と不完全性定理のオーバービューを与えました。これはこれで分かりやすく全体像を見渡せるから書いて良かったな、と思っています。がしかし、前回のような説明に、僕自身は不満も感じるんですよね。そこらへん…