書誌事項

ゲーデルの20世紀

田中一之編

(ゲーデルと20世紀の論理学 (ロジック) / 田中一之編, 1)

東京大学出版会, 2006.7

タイトル別名

Gödel and his 20th century

ゲーデルの20世紀

タイトル読み

ゲーデル ノ 20セイキ

大学図書館所蔵 件 / 261

この図書・雑誌をさがす

注記

欧文タイトルは標題紙裏より

参考文献: 各部末

内容説明・目次

内容説明

本シリーズは、ゲーデルの仕事を基点に20世紀の論理学の歩みを振り返り、公平な歴史認識のもとで、現代論理学の核となる概念や事実を立体的かつビビッドに解き明かそうという試みである。第1巻では20世紀のロジック全体を鳥瞰し、また日本を代表するロジシャンたちの案内で研究現場の様子を等身大に観る。

目次

  • ブールからゲーデルへ—20世紀ロジックの形成
  • 第1部 ゲーデルと日本—明治以降のロジック研究史(高木貞治と数学基礎論—明治・大正期の先駆者たち;昭和初期の日本に届いたゲーデルの波紋;赤い本とそれ以後のゲーデル—大戦末期から1960年代まで;数理論理学のさまざまな発展—1970年代以降)
  • 第2部 ゲーデルと哲学—不完全性・分析性・機械論(不完全性と分析性;人間と機械;ゲーデルと第二次大戦前後の日本の哲学)
  • 第3部 ロジシャンの随想(プリンストンにて—私の基本予想とゲーデル;20世紀後半の記憶—数学のなかの構成と計算)

「BOOKデータベース」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ