セクシーな数学 / ゲーデルから芸術・科学まで

ゲーデルやチューリングと同様、形式公理的な数学に限界があることを発見したチャイティン。様々な相手とのインタビュー・講演を通して、いまなお創造しつづける新しいアイデアを、ユーモアを交えながら自由に語る。