今度こそわかるゲーデル不完全性定理

本橋信義/著

発売日:2012年3月

  • 今度こそわかるゲーデル不完全性定理
  • 今度こそわかるゲーデル不完全性定理
ISBN
978-4-06-156506-7
著者情報
本橋 信義(モトハシ ノブヨシ)
1943年、東京都に生まれる。東京大学大学院理学系研究科修士課程数学専攻修了。学習院大学、東京教育大学、筑波大学を経て、筑波大学名誉教授。理学博士。専門は数理論理学

¥2,970 税込

13 nanacoポイント

13 セブンマイル

セブン-イレブン受取り(送料無料)

発送目安

発売日(発売日以降は当日)~2日で発送

宅配(送料¥550税込)

発送目安

発売日(発売日以降は当日)~2日で発送

交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。

商品説明

難解なゲーデルの不完全性定理を「ふつうの言葉」で解き明かす。初学者がつまづくところを熟知した著者による、丁寧な解説。

目次

第1章 自然言語
第2章 理論の完全性とわかりやすさ
第3章 表現可能性
第4章 初等自然数言語の不完全性定理の証明
第5章 古典的理論と現代的理論
第6章 形式化
第7章 完全性
第8章 ゲーデルの不完全性定理
第9章 ゲーデルの第2不完全性定理
第10章 新しい論理学

商品詳細

出版社名
講談社
フォーマット
単行本

注意事項

本の帯に関して
帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。
版・表紙について
版・表紙(カバー)のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典(初回特典、初回仕様特典)がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。