ゲーデルと２０世紀の論理学（ロジック） ３ /田中一之
販売価格
4,180
円 （税込）
送料無料
- 出荷目安：
- １～２営業日で出荷
たまるdポイント（通常） 38
※たまるdポイントはポイント支払を除く商品代金(税抜)の1％です。
dカードでお支払ならポイント3倍
- 商品情報
- レビュー
≪商品情報≫
著者名：田中一之
出版社名：東京大学出版会
発行年月：2007年03月
判型：Ａ５
ISBN：9784130640978
≪内容情報≫
２つの不完全性定理に現代的な証明を与えるとともに、「逆数学プログラム」について、新しい研究成果を踏まえて解説。さらに、ダイアレクティカ解釈によるペアノ算術の無矛盾性証明について、多角的な視点から解説。
著者名：田中一之
出版社名：東京大学出版会
発行年月：2007年03月
判型：Ａ５
ISBN：9784130640978
≪内容情報≫
２つの不完全性定理に現代的な証明を与えるとともに、「逆数学プログラム」について、新しい研究成果を踏まえて解説。さらに、ダイアレクティカ解釈によるペアノ算術の無矛盾性証明について、多角的な視点から解説。
