蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
| No. |
所蔵館 |
資料番号 |
請求記号 |
配架場所 |
所蔵棚番号 |
資料種別 |
帯出区分 |
状態 |
付録 |
貸出
|
| 1 |
中央図書館 | 0117212498 | 410.9/ス/ | 書庫3 | | 一般図書 | 一般貸出 | 在庫 | |
○ |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
書誌詳細
この資料の書誌詳細情報です。
| タイトルコード |
1001000954797 |
| 書誌種別 |
図書 |
| 書名 |
ゲーデルの不完全性定理 |
| 書名ヨミ |
ゲーデル ノ フカンゼンセイ テイリ |
| 著者名 |
レイモンド・スマリヤン/[著]
|
| 著者名ヨミ |
レイモンド スマリヤン |
| 著者名 |
高橋 昌一郎/訳 |
| 著者名ヨミ |
タカハシ ショウイチロウ |
| 出版者 |
丸善
|
| 出版年月 |
1996.7 |
| ページ数 |
220p |
| 大きさ |
22cm |
| 分類記号 |
410.9
|
| 分類記号 |
410.9
|
| ISBN |
4-621-04204-1 |
| 内容紹介 |
数学・哲学・情報科学の専門家ばかりでなく、この定理に関心を持つ一般読者にも十分理解できるように書かれた入門書。ゲーデルの証明、タルスキーの定理、ロッサー体系など、最も単純なものを中心に、創意工夫をこらして解説。 |
| 著者紹介 |
1919年生まれ。シカゴ大学哲学科卒業。プリンストン大学等の教職を経て、92年よりインディアナ大学哲学科名誉教授。専門は論理学。多数の著書・論文がある。 |
| 件名 |
不完全性定理 |
| 言語区分 |
日本語 |
| (他の紹介)内容紹介 |
驚くほど単純で厳密な証明に、論理パズルのデザート。不完全性定理に関心を持つすべての人のための入門書。 |
| (他の紹介)目次 |
第1章 ゲーデルの証明の基礎概念 第2章 数論におけるタルスキーの定理 第3章 累乗法に基づくペアノの数論における不完全性 第4章 累乗法に基づかない数論 第5章 ω無矛盾性に基づくゲーデルの証明 第6章 ロッサー体系 第7章 シェファードソンの表現定理 第8章 定義可能性と対角化 第9章 無矛盾性の証明不可能性 第10章 証明可能性と真理性に関する一般概念 第11章 自己言及体系 |
内容細目表
前のページへ