ゲーデルの不完全性定理、チューリングの停止問題、そして、チャイティンのΩ数。アイデアと創造性にあふれた新しい数学への道が今ひらかれる。