【ゲーデルの不完全性】真であるが証明できないことってなに？クレタ人の預言者は言いました「クレタ人はいつも嘘つきだ」【嘘つきのパラドックス】

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