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

Author(s)

• Nagel, Ernest
• Newman, James Roy
• 林, 一 ハヤシ, ハジメ

Bibliographic Information

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

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

白揚社, 1999.3

Other Title

Gödel's proof.

Title Transcription

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

Note

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

Gödel's proof.の翻訳

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

• 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:
  • NDC8 : 410.96
  • NDC9 : 410.96
• Subject Headings:
  • BSH : 記号論理学