最安値はここだ！ -価格比較-

商品について

JANコード

9784130639002

希望小売価格

2860

Y!での商品説明(HMV&BOOKS online Yahoo!店)

発売日:2012年04月 / ジャンル:物理・科学・医学 / フォーマット:本 / 出版社:東京大学出版会 / 発売国:日本 / ISBN:9784130639002 / アーティストキーワード:田中一之

内容詳細:待望の本格的ロジック指南書。イラスト付きでていねいな解説。「不完全性定理」完全攻略ガイド。目次:原論文訳・解説（体系Ｐ、ゲーデル数、再帰的関数/ メタ数学の再帰的表現/ 第一不完全性定理/ １階算術への還元/ 第二不完全性定理）/ 補遺（１階算術と論理式の階層/ 計算可能性理論/ １階算術の形式体系/ 文献案内）

楽天での商品説明(楽天ブックス)

証明不可能なことの証明 田中一之 東京大学出版会ゲーデル ニ イドム タナカ,カズユキ 発行年月：2012年04月 ページ数：177p サイズ：単行本 ISBN：9784130639002 田中一之（タナカカズユキ） 1955年生まれる。カリフォルニア大学バークレー校博士課程修了。現在、東北大学大学院理学研究科教授。Ph．D．（本データはこの書籍が刊行された当時に掲載されていたものです） 原論文訳・解説（体系P、ゲーデル数、再帰的関数／メタ数学の再帰的表現／第一不完全性定理／1階算術への還元／第二不完全性定理）／補遺（1階算術と論理式の階層／計算可能性理論／1階算術の形式体系／文献案内） 待望の本格的ロジック指南書。イラスト付きでていねいな解説。「不完全性定理」完全攻略ガイド。 本 科学・技術 数学