証明できないことは、証明できるのか？「自己言及」という無限後退を退けた、天才・ゲーデルの発想「ゲーデル数」とはなにか！

理系の「3ワカラン」と呼ばれる「ゲーデルの不完全性定理」。「正しいからといって、それが証明可能であるとは限らない」とは、どういうことなのか？　話題の本『不完全性定理とはなにか　完全版』のなかから「ゲーデルの不完全性定理」と「チューリングの計算停止問題」のエッセンスを紹介します。この記事では、「証明できないことは、証明できるのか？」という問いから、天才・ゲーデルの考えた「ゲーデル数」についてみていき…