ゲーデルと20世紀の論理学(3) 不完全性定理と算術の体系

田中一之【編】

• 販売会社／発売会社: 東京大学出版会/東京大学出版会
• 発売年月日: 2007/03/15
• JAN: 9784130640978

商品レビュー

2023/10/25

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

2019/02/28

完全に理解するには難しい本だと思う。
ただ、このような本に類書はないと思う。
とても、貴重な体験をさせてもらった。