脳とAIが「近似チューリングマシン」である理由
計算とは何かを定義する、エレガントな抽象概念
リストの各項目と必ず異なるオブジェクトを構築する証明技法の一族
LLMの会話からコンテキストを削除すると完全な再計算が必要になる理由
数学の基礎を揺るがした根本的な矛盾