不完全性定理 : 数学的体系のあゆみ
Author(s)
Bibliographic Information
不完全性定理 : 数学的体系のあゆみ
(ちくま学芸文庫, [ノ4-1])
筑摩書房, 2006.5
- Title Transcription
-
フカンゼンセイ テイリ : スウガクテキ タイケイ ノ アユミ
Access to Electronic Resource 1 items
Available at 137 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Search this Book/Journal
Note
著者「野崎」の「崎」は「山竒」の置き換え
文献: p289-290
日本評論社より刊行(1996.9)されたものの文庫版
叢書番号はブックジャケットによる
Description and Table of Contents
Description
ゲーデルが25歳で出版した「不完全性定理」(1931)は、当時の数学界の巨匠ヒルベルトが提唱した「形式主義によって超数学を展開しようという計画」に対して、原理的な限界を示す衝撃的な証明だった。それは数学のみならず哲学・思想界にも、「人間の知性のある限界が示された」と大きな波紋をもたらした。ゲーデルはいったい何を明らかにし、どのような新しい道を示したのか。この記念碑的業績にいたる数学の歴史的な歩みをたどりながら、難解といわれるその結果の意味をていねいに解りやすく解説する。『ゲーデル、エッシャー、バッハ』の訳者ならではの、ユーモアをまじえたゲーデルへの超入門書。
Table of Contents
- 第1章 ギリシャの奇跡
- 第2章 体系とその進化
- 第3章 集合論の光と陰
- 第4章 証明の形式化
- 第5章 超数学の誕生
- 第6章 ゲーデル登場
by "BOOK database"