2014-07-26 優先順位で本返却 文献メモ 不可能を証明する不可能を証明する 現代数学の挑戦作者: 瀬山士郎出版社/メーカー: 青土社発売日: 2010/05/22メディア: 単行本購入: 2人 クリック: 102回この商品を含むブログ (6件) を見るユークリッド空間の中に非ユークリッド空間を「モデル」として組み込むと、「非ユークリッド空間が矛盾するからユークリッド空間も矛盾する」または「非ユークリッド空間が矛盾しないからユークリッド空間も矛盾しない」という不思議な運命共同体が導かれる、らしい。ゲーデル不完全性定理は最終章だが、一読しても意味がわからなかったのでまた読み直したい。