「本当のことしか言わない『騎士』とウソしか言わない『奇人』」のパズル。スマリヤンの論理パズルで「ゲーデルの不完全性定理」を考えてみると

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