ゲーデルと20世紀の論理学(2) 完全性定理とモデル理論

田中一之【編】

• 販売会社／発売会社: 東京大学出版会/東京大学出版会
• 発売年月日: 2006/10/27
• JAN: 9784130640961

商品レビュー

2023/10/25

ゲーデルの業績を中心とした数理論理学の教科書で，入門書から専門書に進む際の手掛かりとしてちょうど良い。

2018/12/10

難易度としては、第Ⅱ部が圧倒的に難しくて、残りの第Ⅰ部、第Ⅲ部は比較的容易である。

モデル理論にとっては、「充足」という言葉が何を意味しているかについて理解する必要がある、と思う。

とにかく用語をしっかり理解していかないと、結局、何が書いてあったのかわからなくなってしまう。私も再読する必要がありそうだ。