資料詳細

  • 1 件中、 1 件目

【図書】 ゲーデルは何を証明したか

数学から超数学へ --
Ｅ．ナーゲル ／著, Ｊ．Ｒ．ニューマン ／著, 林一 ／訳, 　 , 　   -- 白揚社 -- １９９９．０３ -- １９ｃｍ -- １７０ｐ

資料詳細

タイトル ゲーデルは何を証明したか
副書名 数学から超数学へ
著者名等 Ｅ．ナーゲル ／著, Ｊ．Ｒ．ニューマン ／著, 林一 ／訳, 　 , 　  
出版 白揚社 １９９９．０３
大きさ等 １９ｃｍ １７０ｐ
分類 410.9
件名 ゲーデルの定理
注記 Ｇｏ¨ｄｅｌ’ｓ　ｐｒｏｏｆ．
注記 『数学から超数学へ』（１９６８年刊）の改訂新装版
内容 索引あり
要旨 不完全性定理が驚異的によくわかる！！知の世界を震撼させたゲーデルの証明。あらゆる領域にいよいよ深く浸透しつつあるその意義と内容を基本からていねいに解説。
目次 １　現代数学の転機；２　数学は無矛盾か？；３　数学から超数学へ；４　形式論理の体系化；５　絶対的証明の成功例；６　写像とその応用；７　ゲーデルの証明；８　結論―創造的な理性の力
ISBN(13)、ISBN 　　 4-8269-0087-2
書誌番号 1199013683

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 410.9/49 一般書 利用可 - 2016896104 iLisvirtual

ページの先頭へ