厳密な意味での「無限」の考えを数学に持ち込んだ天才・カントール。その天才の発想と非業の生涯とは

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