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

• タイトルヨミ: ゲーデルワナニオショウメイシタカ
• サブタイトル: 数学から超数学へ
• サブタイトルヨミ: スウガクカラチョウスウガクエ
• 著編者等／著者名等: E.ナーゲル‖著 J.R.ニューマン‖著 林一‖訳
• 統一著者名ヨミ: Nagel Ernest Newman James R.
• 統一著者名: 林一
• 著編者等ヨミ／著者名等ヨミ: ナーゲルアーネスト ニューマンジェームズ R. ハヤシハジメ
• 出版者: 白揚社
• 出版地: 東京
• 出版年: 1999.3
• 大きさ: 170p
• 件名: 記号論理学
• 分類: 410.96,410.96 410.96
• ISBN: 4-8269-0087-2
• マークNo: TRC000000099010385
• タイトルコード: 1009910017778
• 資料番号: 00000000000100426485
• 請求記号: 410.96/ﾅｹ ｹ
• 一般注記: 原タイトル：Gödel's proof
• 内容紹介: 「数学とは何か」「証明とは何か」をめぐって、数学観に革命的な変革を迫ったゲーデルの破天荒の業績を、「不完全性定理」を中心に分かりやすく解説する。1968年刊「数学から超数学へ」の改訂新版。
• 種別: 図書
• 配架場所: 034E0