資料詳細

  • 1 件中、 1 件目
  • NEW

【図書】 不完全性定理

菊池誠 ／著   -- 共立出版 -- ２０１４．１０ -- ２２ｃｍ -- ３４８ｐ

資料詳細

タイトル 不完全性定理
著者名等 菊池誠 ／著  
出版 共立出版 ２０１４．１０
大きさ等 ２２ｃｍ ３４８ｐ
分類 410.9
件名 ゲーデルの定理
注記 並列タイトル：Ｔｈｅ　Ｉｎｃｏｍｐｌｅｔｅｎｅｓｓ　Ｔｈｅｏｒｅｍｓ
注記 文献あり　索引あり
著者紹介 １９９１年東京工業大学理学部卒。現在、神戸大学大学院システム情報学研究科准教授。専門、数学基礎論。
内容紹介 専門的な予備知識は仮定せずに、完全性定理や計算可能性から論じ、第一および第二不完全性定理、Ｒｏｓｓｅｒの定理、算術の超準モデルなどを紹介。不完全性定理の数学的意義と、その根源にある哲学的問題を説く。
要旨 専門的な予備知識は仮定せずに完全性定理や計算可能性から論じ、第一および第二不完全性定理、Ｒｏｓｓｅｒの定理、Ｈｉｌｂｅｒｔのプログラム、Ｇ¨ｏｄｅｌの加速定理、算術の超準モデル、Ｋｏｌｍｏｇｏｒｏｖ複雑性などを紹介して、不完全性定理の数学的意義と、その根源にある哲学的問題を説く。
目次 第１章　序：物語の起源；第２章　命題論理；第３章　述語論理；第４章　算術と集合論；第５章　計算可能性；第６章　定義可能性と表現可能性；第７章　不完全性定理；第８章　幾つかの話題；第９章　跋：形式主義のふたつのドグマ
ISBN(13)、ISBN 978-4-320-11096-0　　 4-320-11096-X
書誌番号 1113209044
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113209044

ページの先頭へ

所蔵

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

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

ページの先頭へ