ゲーデルの20世紀
Author(s)
Bibliographic Information
ゲーデルの20世紀
（ゲーデルと20世紀の論理学 (ロジック) / 田中一之編, 1）
東京大学出版会, 2006.7
- Other Title
-
Gödel and his 20th century
ゲーデルの20世紀
- Title Transcription
-
ゲーデル ノ 20セイキ
Available at / 261 libraries
-
University of Tsukuba Library, Library on Library and Information Science
410.9-Ta8410006011943
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
欧文タイトルは標題紙裏より
参考文献: 各部末
Description and Table of Contents
Description
本シリーズは、ゲーデルの仕事を基点に２０世紀の論理学の歩みを振り返り、公平な歴史認識のもとで、現代論理学の核となる概念や事実を立体的かつビビッドに解き明かそうという試みである。第１巻では２０世紀のロジック全体を鳥瞰し、また日本を代表するロジシャンたちの案内で研究現場の様子を等身大に観る。
Table of Contents
- ブールからゲーデルへ—２０世紀ロジックの形成
- 第１部 ゲーデルと日本—明治以降のロジック研究史（高木貞治と数学基礎論—明治・大正期の先駆者たち；昭和初期の日本に届いたゲーデルの波紋；赤い本とそれ以後のゲーデル—大戦末期から１９６０年代まで；数理論理学のさまざまな発展—１９７０年代以降）
- 第２部 ゲーデルと哲学—不完全性・分析性・機械論（不完全性と分析性；人間と機械；ゲーデルと第二次大戦前後の日本の哲学）
- 第３部 ロジシャンの随想（プリンストンにて—私の基本予想とゲーデル；２０世紀後半の記憶—数学のなかの構成と計算）
by "BOOK database"
