天才・ゲーデルの考えた「ゲーデル数」はなぜ必要か？そには「超数学」の視点が必要だった！【不完全性定理とはなにか】

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