「正しいからといって、それが証明可能であるとは限らない」とは、どういうことなのか？　ロングセラー『不完全性定理とはなにか　完全版』のなかから「不完全性定理」、そして異なる視点からゲーデルと同じ証明にたどり着いた「チューリングの計算停止問題」のエッセンスを紹介します。この記事では、「数学宇宙仮説」についてさらに「ゲーデルの不完全性」と「チューリングの計算停止問題」を手掛かりに考察していきます。