<図書>
不完全性定理
フカンゼンセイ テイリ
| 責任表示 | ゲーデル [著] ; 林晋, 八杉満利子訳・解説 |
|---|---|
| シリーズ | 岩波文庫 ; 青(33)-944-1 |
| データ種別 | 図書 |
| 出版情報 | 東京 : 岩波書店 , 2006.9 |
| 本文言語 | 日本語 |
| 大きさ | 309p ; 15cm |
| 概要 | ゲーデル(一九〇六‐七八)の不完全性定理論文は、数学の定理でありながら哲学、心理学、現代思想、情報科学などの研究者をひきつけ、様々な影響を与えた。「解説」では、不完全性定理論文の歴史的経緯を説明し、その内容を丹念に解説する。 |
| 目次 | 第1部 翻訳 第2部 解説(不完全性定理とは何か? 厳密化、数の発生学、無限集合論 1821‐1897 論理主義:数学再創造とその原罪 1884‐1903 ヒルベルト公理論:数学は完全である 1888‐1904 数学基礎論論争 1904‐1931 不完全性定理のその後 不完全性定理論文の仕組み 論文の構造 あとがき) |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図2F 文庫新書 | 岩波文庫/青/944 | 2006 |
|
058112006060646 |
|
|||
|
|
|
理系図2F 文庫新書 | 岩波文庫/青/944 | 2006 |
|
058112009050562 |
|
|||
|
|
|
芸工図 3F 書架 | 文庫 | 410/G55 | 2006 |
|
013112006009874 |
|
書誌詳細
| 別書名 | 原タイトル:Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I |
|---|---|
| 一般注記 | 文献: p307-309 |
| 著者標目 | *Gödel, Kurt, 1906-1978 林, 晋(1953-) <ハヤシ, ススム> 八杉, 満利子(1937-) <ヤスギ, マリコ> |
| 件 名 | BSH:記号論理学 |
| 分 類 | NDC8:410.96 NDC9:410.96 |
| 書誌ID | 1001220328 |
| ISBN | 4003394410 |
| NCID | BA78367288 |
| 巻冊次 | ISBN:4003394410 ; PRICE:700円+税 |
| 登録日 | 2009.09.18 |
| 更新日 | 2010.03.23 |
Mendeley出力