ゲーデルの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
  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
欧文タイトルは標題紙裏より
参考文献: 各部末
Description and Table of Contents
Description
本シリーズは、ゲーデルの仕事を基点に20世紀の論理学の歩みを振り返り、公平な歴史認識のもとで、現代論理学の核となる概念や事実を立体的かつビビッドに解き明かそうという試みである。第1巻では20世紀のロジック全体を鳥瞰し、また日本を代表するロジシャンたちの案内で研究現場の様子を等身大に観る。
Table of Contents
- ブールからゲーデルへ—20世紀ロジックの形成
- 第1部 ゲーデルと日本—明治以降のロジック研究史(高木貞治と数学基礎論—明治・大正期の先駆者たち;昭和初期の日本に届いたゲーデルの波紋;赤い本とそれ以後のゲーデル—大戦末期から1960年代まで;数理論理学のさまざまな発展—1970年代以降)
- 第2部 ゲーデルと哲学—不完全性・分析性・機械論(不完全性と分析性;人間と機械;ゲーデルと第二次大戦前後の日本の哲学)
- 第3部 ロジシャンの随想(プリンストンにて—私の基本予想とゲーデル;20世紀後半の記憶—数学のなかの構成と計算)
by "BOOK database"