- 新品
- 書籍
- 書籍
ゲーデルの世界 完全性定理と不完全性定理
1,980円
獲得ポイント18P
在庫なし
発送時期 1~5日以内に発送
商品詳細
内容紹介 | |
---|---|
販売会社/発売会社 | 海鳴社 |
発売年月日 | 1985/05/10 |
JAN | 9784875251064 |
- 書籍
- 書籍
ゲーデルの世界
商品が入荷した店舗:店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
お客様宅への発送や電話でのお取り置き・お取り寄せは行っておりません
ゲーデルの世界
¥1,980
在庫なし
商品レビュー
4.5
3件のお客様レビュー
物性研の所内者、柏地区共通事務センター職員の方のみ借りることができます。 東大OPACには登録されていません。 貸出:物性研図書室にある借用証へ記入してください 返却:物性研図書室へ返却してください
Posted by
述語論理の完全性/不完全性定理についての解説書である。 林晋の解説本がタイトルに反してヒルベルトの伝記になっているのと対照的に、こちらはゲーデルの生涯についてちゃんと紹介されている。また、帰納関数論については他の書籍より詳しく言及されている。 どちらの定理についても証明の戦略が...
述語論理の完全性/不完全性定理についての解説書である。 林晋の解説本がタイトルに反してヒルベルトの伝記になっているのと対照的に、こちらはゲーデルの生涯についてちゃんと紹介されている。また、帰納関数論については他の書籍より詳しく言及されている。 どちらの定理についても証明の戦略が図式として描かれており、とくに超数学と形式系の行き来でわかりにくい不完全定理についてもわかりやすく説明されている。ただし第二不完全性定理を含む全体の詳しさについては前原本のほうが参考になる。 付録として、ゲーデルによる述語論理の完全性定理および不完全性定理の邦訳が掲載。前者についてはヘンキンの証明のほうがかなりスマートである。
Posted by
古い本で、ゲーデルについての日本で出たほぼ初めての本らしい。そのため、ゲーデルの簡略な伝記、論理学・数学基礎論の歴史、数理論理学の初歩(命題論理・述語論理)、完全性定理に不完全性定理のそれぞれの解説と盛りだくさん。内容も簡にして要を得た説明で、今まで読んだゲーデル本の中では一番よ...
古い本で、ゲーデルについての日本で出たほぼ初めての本らしい。そのため、ゲーデルの簡略な伝記、論理学・数学基礎論の歴史、数理論理学の初歩(命題論理・述語論理)、完全性定理に不完全性定理のそれぞれの解説と盛りだくさん。内容も簡にして要を得た説明で、今まで読んだゲーデル本の中では一番よかった。付録にはゲーデルの完全性定理についての論文の邦訳もついている。 『科学哲学のすすめ』に載ってしまっているように、ゲーデルのバイオについては若干間違いがあるが、典拠とした文献の誤りということだし、奥さんの年齢とかまぁあんまり大勢に影響のない範囲だと思う。不完全性定理について知りたい、という人にはもちろん、数理論理学についてきちんと概略を知りたい、という人には最適な本ではないだろうか。
Posted by