チューリングマシンにできないこと、そしてそれが重要な理由
脳とAIが「近似チューリングマシン」である理由
計算とは何かを定義する、エレガントな抽象概念
リストの各項目と必ず異なるオブジェクトを構築する証明技法の一族
数学の基礎を揺るがした根本的な矛盾