資料詳細

検索条件

  • 著者
    松本寧至
ハイライト
  • 1 件中、 1 件目

ゲ－デルと２０世紀の論理学（ロジック） ３   貸出可

田中一之／編 -- 東京大学出版会 -- ２００７．３ -- 410.9

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫４門 /410/Ｇ５５/3 0010007028971 一般図書 書架

ページの先頭へ

資料詳細

タイトル１ ゲ－デルと２０世紀の論理学（ロジック）  ３
巻の書名 不完全性定理と算術の体系
著者１ 田中一之 ／編  
出版年 ２００７．３
出版者 東京大学出版会
個人件名 Ｇ〓ｄｅｌ，Ｋｕｒｔ
ページ数 １２，２８４ｐ
大きさ ２２ｃｍ
ISBN 4-13-064097-8
NDC分類(10版) 410.9
内容紹介 ゲ－デルの仕事を基点に２０世紀の論理学の歩みを振り返り、現代論理学の核なる概念や事実を解明するシリ－ズ。第３巻でのテ－マは「不完全性定理」。その現代的証明と数学基礎論の新展開について解説する。

ページの先頭へ

著者紹介

著者紹介１－１ １９５５年生まれ。カリフォルニア大学バ－クレ－校博士課程修了。東北大学大学院理学研究科教授。Ｐｈ．Ｄ．。著書に「数の体系と超準モデル」など。