自己、無限、自由 - 書評 - 数学ガール/ゲーデルの不完全性定理 : 404 Blog Not Found2009年10月26日02:00 カテゴリ書評/画評/品評Math 自己、無限、自由 - 書評 - 数学ガール/ゲーデルの不完全性定理 数学ガール/不完全性定理 結城浩 本当に以下の通りとなった。 404 Blog Not Found:孤独解消型数学入門 - 書評 - 数学ガール/フェルマーの最終定理 次はゲーデルの不完全性定理をおながいします＞hyuki。 となれば読まぬわけに行かない。 本書「数学ガール/不完全性定理」は、「数学ガール」「数学ガール/フェルマーの最終定理」に続く数学ガールシリーズ第三弾。テーマは、不完全性定理。前著の「釣り」、すなわち「これを読んでも主題はさわりだけしかわかりません。でもその過程で数学のさまざまな側面が学べます」とは異なり、本書では本当に不完全性定理を証明する。少なくとも第一不完全性定理は、「要約なし」で証明している。 目次 - 第3巻『数学ガール／ゲー
