資料詳細

  • 1 件中、 1 件目

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

本橋信義 ／著   -- 講談社 -- ２０１２．３ -- ２１ｃｍ -- １６１ｐ

資料詳細

タイトル 今度こそわかるゲーデル不完全性定理
著者名等 本橋信義 ／著  
出版 講談社 ２０１２．３
大きさ等 ２１ｃｍ １６１ｐ
分類 410.9
件名 ゲーデルの定理
注記 文献あり　索引あり
著者紹介 １９４３年東京都生まれ。東京大学大学院理学系研究科修士課程数学専修了。学習院大学、東京教育大学、筑波大学を経て、現在、筑波大学名誉教授。専門は数理論理学。著書に「現代論理学入門」など。
内容紹介 ゲーデルは何を証明しようとしたのか。ゲーデルの難解な不完全性定理を初学者が一歩ずつ着実に理解できるように、平易な言葉遣いで説く。初学者がつまずくところを熟知した著者による、新しい切り口の入門書。
要旨 難解なゲーデルの不完全性定理を「ふつうの言葉」で解き明かす。初学者がつまづくところを熟知した著者による、丁寧な解説。
目次 第１章　自然言語；第２章　理論の完全性とわかりやすさ；第３章　表現可能性；第４章　初等自然数言語の不完全性定理の証明；第５章　古典的理論と現代的理論；第６章　形式化；第７章　完全性；第８章　ゲーデルの不完全性定理；第９章　ゲーデルの第２不完全性定理；第１０章　新しい論理学
ISBN(13)、ISBN 978-4-06-156506-7　　 4-06-156506-0
書誌番号 1112017410
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1112017410

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410.9 一般書 利用可 - 2048681576 iLisvirtual
旭 公開 Map 410 一般書 利用可 - 2048675126 iLisvirtual

ページの先頭へ