楕円曲線の数学が安全な鍵交換とデジタル署名をどう可能にするか
群論から楕円曲線まで：公開鍵暗号の仕組み
チューリングマシンにできないこと、そしてそれが重要な理由
脳とAIが「近似チューリングマシン」である理由
計算とは何かを定義する、エレガントな抽象概念
リストの各項目と必ず異なるオブジェクトを構築する証明技法の一族
数学の基礎を揺るがした根本的な矛盾