ゲ-デルの世界: 完全性定理と不完全性定理

著者 : 広瀬健 横田一正

• 海鳴社 (1985年5月1日発売)

感想・レビュー・書評

[shinsa82さんの感想 · 2017年12月31日]

述語論理の完全性/不完全性定理についての解説書である。

林晋の解説本がタイトルに反してヒルベルトの伝記になっているのと対照的に、こちらはゲーデルの生涯についてちゃんと紹介されている。また、帰納関数論については他の書籍より詳しく言及されている。
どちらの定理についても証明の戦略が図式として描かれており、とくに超数学と形式系の行き来でわかりにくい不完全定理についてもわかりやすく説明されている。ただし第二不完全性定理を含む全体の詳しさについては前原本のほうが参考になる。

付録として、ゲーデルによる述語論理の完全性定理および不完全性定理の邦訳が掲載。前者についてはヘンキンの証明のほうがかなりスマートである。

[karatteさんの感想 · 2012年5月13日]

発売当時は、これが不完全性定理を完全収録した（という書き方が既に逆説的！）唯一の書籍だった。

[ISSP Libraryさんの感想 · 2024年2月9日]

物性研の所内者、柏地区共通事務センター職員の方のみ借りることができます。
東大OPACには登録されていません。

貸出：物性研図書室にある借用証へ記入してください
返却：物性研図書室へ返却してください

[masudahidehikoさんの感想 · 2015年11月10日]

古い本で、ゲーデルについての日本で出たほぼ初めての本らしい。そのため、ゲーデルの簡略な伝記、論理学・数学基礎論の歴史、数理論理学の初歩（命題論理・述語論理）、完全性定理に不完全性定理のそれぞれの解説と盛りだくさん。内容も簡にして要を得た説明で、今まで読んだゲーデル本の中では一番よかった。付録にはゲーデルの完全性定理についての論文の邦訳もついている。
『科学哲学のすすめ』に載ってしまっているように、ゲーデルのバイオについては若干間違いがあるが、典拠とした文献の誤りということだし、奥さんの年齢とかまぁあんまり大勢に影響のない範囲だと思う。不完全性定理について知りたい、という人にはもちろん、数理論理学についてきちんと概略を知りたい、という人には最適な本ではないだろうか。

著者プロフィール

ＦＴＳＥラッセル インデックス投資部門　日本代表
一橋大学商学部卒。公認オルタナティブ投資アナリスト（ＣＡＩＡ）、金融梁山泊研究会代表。

「2023年 『インクルーシブ・キャピタリズム』 で使われていた紹介文から引用しています。」