資料詳細

  • 1 件中、 1 件目

不完全性定理 貸出可

菊池 誠／著 -- 共立出版 -- 2014.10 -- 410.9

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料番号 資料区分 帯出区分 状態
一般 一般資料室 410.9/2014/ 00013744180 和書 帯出可 在庫 iLisvirtual

ページの先頭へ

資料詳細

タイトル 不完全性定理 ,
書名ヨミ フカンゼンセイ テイリ
並列タイトル The Incompleteness Theorems
著者 菊池 誠 ／著  
著者名ヨミ キクチ,マコト
出版者 共立出版
出版年 2014.10
ページ数, 大きさ 14,348p, 22cm
NDC１０版 410.9
NDC８版 410.9
一般件名 不完全性定理
ISBN 978-4-320-11096-0 国立国会図書館 カーリル GoogleBooks WebcatPlus
著者紹介 東京工業大学理学部数学科卒業。博士(理学)(東北大学)。神戸大学大学院システム情報学研究科准教授。専門は数学基礎論。
内容紹介 完全性定理や計算可能性から論じ、第一および第二不完全性定理、Rosserの定理、Hilbertのプログラム、算術の超準モデルなどを紹介して、不完全性定理の数学的意義と、その根源にある哲学的問題を説く。

ページの先頭へ