数学で言う不完全性定理、ゲーテル、チューリング、チャイティンの3名の名前が挙がる。 セクシーな数学―ゲーデルから芸術・科学まで本書はチャイティンの講演、エッセイ集。 1930年ゲーテルの不完全性定理 形式公理的数学理論では解が存在しない場合がある。…