記号論理学講義 : 基礎理論 束論と圏論 知識論
Author(s)
Bibliographic Information
記号論理学講義 : 基礎理論 束論と圏論 知識論
東京大学出版会, 2013.3
- Other Title
-
Lectures on symbolic logic : elements of symbolic logic, lattice and category theory, philosophy of symbolic logic
Lectures on symbolic logic : elements of symbolic logic, lattice and category theory and philosophy of symbolic logic
記号論理学講義 : 基礎理論・束論と圏論・知識論
記号論理学講義 : 基礎理論束論と圏論知識論
- Title Transcription
-
キゴウ ロンリガク コウギ : キソ リロン ソクロン ト ケンロン チシキロン
Available at 143 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
その他のタイトルは標題紙裏による
参考図書: p373-374
Description and Table of Contents
Table of Contents
- 第1部 記号論理の基礎理論(推理論—述語論理;計算論1—帰納理論;計算論2—λ計算論;集合論—公理的集合論ZFC)
- 第2部 束論および圏論と記号論理(束論;記号論理と束;圏論;記号論理と圏)
- 第3部 記号論理への知識論的考察(論理語の原始性;計算論における両義的領域;選択公理ACの正当性)
- 結び—学全体の中での記号論理の位置など
- 付録 ゲーデルの不完全性定理
by "BOOK database"