資料詳細

  • 1 件中、 1 件目

ゲーデルは何を証明したか 在庫

E.ナーゲル／著 -- 白揚社 -- 1999.3 -- 410.96

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫（４Ｆ） /410.96/ﾅ93/ 07367113 一般 帯出可 配架中 iLisvirtual

ページの先頭へ

資料詳細

タイトル ゲーデルは何を証明したか
副書名 数学から超数学へ
責任表示 E.ナーゲル ／著, J.R.ニューマン ／著, 林 一 ／訳  
出版者 白揚社
出版年 1999.3
ページ数 170p
大きさ 19cm
一般件名 記号論理学
NDC分類(9版) 410.96
内容紹介 「数学とは何か」「証明とは何か」をめぐって、数学観に革命的な変革を迫ったゲーデルの破天荒の業績を、「不完全性定理」を中心に分かりやすく解説する。1968年刊「数学から超数学へ」の改訂新版。
ISBN 4-8269-0087-2
備考 「数学から超数学へ」(1968年刊)の改題改訂
本体価格 ¥2200

ページの先頭へ