ゲーデルは何を証明したか : 数学から超数学へ
著者
書誌事項
ゲーデルは何を証明したか : 数学から超数学へ
白揚社, 1999.3
- タイトル別名
-
Gödel's proof.
- タイトル読み
-
ゲーデル ワ ナニ オ ショウメイ シタカ : スウガク カラ チョウスウガク エ
大学図書館所蔵 全117件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
「数学から超数学へ」(1968年刊)の改題改訂
Gödel's proof.の翻訳
内容説明・目次
内容説明
不完全性定理が驚異的によくわかる!!知の世界を震撼させたゲーデルの証明。あらゆる領域にいよいよ深く浸透しつつあるその意義と内容を基本からていねいに解説。
目次
- 1 現代数学の転機
- 2 数学は無矛盾か?
- 3 数学から超数学へ
- 4 形式論理の体系化
- 5 絶対的証明の成功例
- 6 写像とその応用
- 7 ゲーデルの証明
- 8 結論—創造的な理性の力
「BOOKデータベース」 より