資料詳細

  • 1 件中、 1 件目

ゲーデルは何を証明したか 貸出可

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

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
地下書庫 /410.9/ﾅ/ 114077779 成人一般 可能 iLisvirtual

ページの先頭へ

資料詳細

タイトル ゲーデルは何を証明したか
タイトルカナ ゲーデル ワ ナニ オ ショウメイ シタカ
副書名 数学から超数学へ
著者 E.ナーゲル ／著, J.R.ニューマン ／著, 林 一 ／訳  
著者カナ ナーゲル アーネスト,ニューマン ジェームズ R.,ハヤシ ハジメ
出版者 白揚社
出版年 1999.3
ページ数 170p
大きさ 19cm
一般件名 記号論理学
ISBN 4-8269-0087-2 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類記号 410.96
内容紹介 「数学とは何か」「証明とは何か」をめぐって、数学観に革命的な変革を迫ったゲーデルの破天荒の業績を、「不完全性定理」を中心に分かりやすく解説する。1968年刊「数学から超数学へ」の改訂新版。
著者紹介 1901年チェコ生まれ。コロンビア大学教授、記号論理学会・アメリカ哲学会会長などを務めた。著書に「科学の構造」ほか。

ページの先頭へ