| ISBN |
4-621-04204-1
|
| タイトル |
ゲーデルの不完全性定理
|
| タイトルカナ |
ゲーデル ノ フカンゼンセイ テイリ
|
| 著者名 |
レイモンド・スマリヤン
／[著],
高橋 昌一郎
／訳
|
| 著者名典拠番号 |
120000278160000
,
110002370370000
|
| 出版地 |
東京
|
| 出版者 |
丸善
|
| 出版者カナ |
マルゼン
|
| 出版年 |
1996.7
|
| ページ数 |
220p
|
| 大きさ |
22cm
|
| 原タイトル注記 |
原タイトル:Gödel's incompleteness theorems
|
| 都立翻訳原書名注記 |
Gödel's incompleteness theorems.の翻訳
|
| 版及び書誌的来歴に関する注記 |
改訳版のタイトル等:スマリヤン不完全性定理(丸善出版 2019年刊)
|
| 価格 |
¥3800
|
| 内容紹介 |
数学・哲学・情報科学の専門家ばかりでなく、この定理に関心を持つ一般読者にも十分理解できるように書かれた入門書。ゲーデルの証明、タルスキーの定理、ロッサー体系など、最も単純なものを中心に、創意工夫をこらして解説。
|
| 書誌・年譜・年表 |
文献:p211〜212
|
| 一般件名 |
不完全性定理
|
| 一般件名カナ |
フカンゼンセイ テイリ
|
| 一般件名典拠番号 |
511701200000000
|
| 分類：都立NDC10版 |
410.9
|
| 原文の言語 |
英語
|
| 資料情報1 |
『ゲーデルの不完全性定理』 レイモンド・スマリヤン／[著],
高橋 昌一郎／訳
丸善 1996.7（所蔵館：中央
請求記号：/4101/3056/96
資料コード：1128033467）
|
| URL |
https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1102310664 |
