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

Author(s)

Bibliographic Information

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

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

白揚社, 1999.3

Other Title

Gödel's proof.

Title Transcription

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

Available at  / 117 libraries

Note

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

Gödel's proof.の翻訳

Description and Table of Contents

Description

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

Table of Contents

  • １　現代数学の転機
  • ２　数学は無矛盾か？
  • ３　数学から超数学へ
  • ４　形式論理の体系化
  • ５　絶対的証明の成功例
  • ６　写像とその応用
  • ７　ゲーデルの証明
  • ８　結論—創造的な理性の力

by "BOOK database"

Details

  • NCID
    BA40783610
  • ISBN
    • 9784826900874
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Original Language Code
    eng
  • Place of Publication
    東京
  • Pages/Volumes
    170p
  • Size
    19cm
  • Classification
  • Subject Headings
Page Top