ゲーデルは何を証明したか : 数学から超数学へ

書誌事項

ゲーデルは何を証明したか : 数学から超数学へ

E.ナーゲル, J.R.ニューマン著 ; 林一訳

白揚社, 1999.3

タイトル別名

Gödel's proof.

タイトル読み

ゲーデル ワ ナニ オ ショウメイ シタカ : スウガク カラ チョウスウガク エ

大学図書館所蔵 件 / 117

この図書・雑誌をさがす

注記

「数学から超数学へ」(1968年刊)の改題改訂

Gödel's proof.の翻訳

内容説明・目次

内容説明

不完全性定理が驚異的によくわかる!!知の世界を震撼させたゲーデルの証明。あらゆる領域にいよいよ深く浸透しつつあるその意義と内容を基本からていねいに解説。

目次

  • 1 現代数学の転機
  • 2 数学は無矛盾か?
  • 3 数学から超数学へ
  • 4 形式論理の体系化
  • 5 絶対的証明の成功例
  • 6 写像とその応用
  • 7 ゲーデルの証明
  • 8 結論—創造的な理性の力

「BOOKデータベース」 より

詳細情報

  • NII書誌ID(NCID)
    BA40783610
  • ISBN
    • 9784826900874
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 原本言語コード
    eng
  • 出版地
    東京
  • ページ数/冊数
    170p
  • 大きさ
    19cm
  • 分類
  • 件名
ページトップへ