資料詳細

  • 1 件中、 1 件目

【図書】 ゲーデルに挑む

証明不可能なことの証明 --
田中一之 ／著   -- 東京大学出版会 -- ２０１２．４ -- ２１ｃｍ -- １７７ｐ

資料詳細

タイトル ゲーデルに挑む
副書名 証明不可能なことの証明
著者名等 田中一之 ／著  
出版 東京大学出版会 ２０１２．４
大きさ等 ２１ｃｍ １７７ｐ
分類 410.9
件名 ゲーデルの定理
注記 文献あり　索引あり
著者紹介 １９５５年生まれ。カリフォルニア大学バークレー校博士課程修了。現在、東北大学大学院理学研究科教授。主要著書「数学基礎論講義」「逆数学と２階算術」「数の体系と超準モデル」「数学のロジックと集合論」「ゲーデルと２０世紀の論理学」他。
内容紹介 「不完全性定理」を完全に理解したい読者のために、原論文の日本語訳とともにその内容について徹底解説。ロジック初心者にも配慮し、記号の定義などの基本から、ていねいに説明をする。
要旨 待望の本格的ロジック指南書。イラスト付きでていねいな解説。「不完全性定理」完全攻略ガイド。
目次 原論文訳・解説（体系Ｐ、ゲーデル数、再帰的関数；メタ数学の再帰的表現；第一不完全性定理；１階算術への還元；第二不完全性定理）；補遺（１階算術と論理式の階層；計算可能性理論；１階算術の形式体系；文献案内）
ISBN(13)、ISBN 978-4-13-063900-2　　 4-13-063900-5
書誌番号 1112033255
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1112033255

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 410.9 一般書 予約受取待 - 2050345001 iLisvirtual

ページの先頭へ