古本屋の覚え書き

古い書評&今週の一曲

不完全性定理に関するアンドレ・ヴェイユの言葉

 フランスの数学者アンドレ・ヴェイユ――ゲーデルと同様、餓死を選んだ特異な思想家シモーヌ・ヴェイユの実兄――が、不完全性定理に関連して、こう述べたと伝えられています。
「神は存在する。なぜなら、算術は無矛盾であるからだ。
 悪魔は存在する。なぜなら、われわれは算術の無矛盾性を証明できないから」。


【『ゲーデル不完全性定理 “理性の限界”の発見』吉永良正講談社ブルーバックス、1992年)】


ゲーデル・不完全性定理―