ゲーデルの20世紀
著者
書誌事項
ゲーデルの20世紀
（ゲーデルと20世紀の論理学 (ロジック) / 田中一之編, 1）
東京大学出版会, 2006.7
- タイトル別名
-
Gödel and his 20th century
ゲーデルの20世紀
- タイトル読み
-
ゲーデル ノ 20セイキ
大学図書館所蔵 件 / 全261件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
欧文タイトルは標題紙裏より
参考文献: 各部末
内容説明・目次
内容説明
本シリーズは、ゲーデルの仕事を基点に２０世紀の論理学の歩みを振り返り、公平な歴史認識のもとで、現代論理学の核となる概念や事実を立体的かつビビッドに解き明かそうという試みである。第１巻では２０世紀のロジック全体を鳥瞰し、また日本を代表するロジシャンたちの案内で研究現場の様子を等身大に観る。
目次
- ブールからゲーデルへ—２０世紀ロジックの形成
- 第１部 ゲーデルと日本—明治以降のロジック研究史（高木貞治と数学基礎論—明治・大正期の先駆者たち；昭和初期の日本に届いたゲーデルの波紋；赤い本とそれ以後のゲーデル—大戦末期から１９６０年代まで；数理論理学のさまざまな発展—１９７０年代以降）
- 第２部 ゲーデルと哲学—不完全性・分析性・機械論（不完全性と分析性；人間と機械；ゲーデルと第二次大戦前後の日本の哲学）
- 第３部 ロジシャンの随想（プリンストンにて—私の基本予想とゲーデル；２０世紀後半の記憶—数学のなかの構成と計算）
「BOOKデータベース」 より
