1,800円以上の注文で送料無料

ゲーデルの世界 完全性定理と不完全性定理
  • 新品
  • 書籍
  • 書籍

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

廣瀬健(著者), 横田一正(著者)

追加する に追加する

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

1,980

獲得ポイント18P

在庫なし

発送時期 1~5日以内に発送

商品詳細

内容紹介
販売会社/発売会社 海鳴社
発売年月日 1985/05/10
JAN 9784875251064

ゲーデルの世界

¥1,980

商品レビュー

4.5

3件のお客様レビュー

レビューを投稿

2024/02/09

物性研の所内者、柏地区共通事務センター職員の方のみ借りることができます。 東大OPACには登録されていません。 貸出:物性研図書室にある借用証へ記入してください 返却:物性研図書室へ返却してください

Posted by ブクログ

2017/12/31

述語論理の完全性/不完全性定理についての解説書である。 林晋の解説本がタイトルに反してヒルベルトの伝記になっているのと対照的に、こちらはゲーデルの生涯についてちゃんと紹介されている。また、帰納関数論については他の書籍より詳しく言及されている。 どちらの定理についても証明の戦略が...

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

Posted by ブクログ

2015/11/10

古い本で、ゲーデルについての日本で出たほぼ初めての本らしい。そのため、ゲーデルの簡略な伝記、論理学・数学基礎論の歴史、数理論理学の初歩(命題論理・述語論理)、完全性定理に不完全性定理のそれぞれの解説と盛りだくさん。内容も簡にして要を得た説明で、今まで読んだゲーデル本の中では一番よ...

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

Posted by ブクログ

関連商品

最近チェックした商品