| Material Type | Books |
|---|---|
| Publisher | 東京 : 筑摩書房 |
| Year | 2006.5 |
| Language | Japanese |
| Size | 295p ; 15cm |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | ISBN | Media type | Restriction | Request Memo | Reserve |
|---|---|---|---|---|---|---|---|---|---|
| 1F開架-文庫 |
|
410.9/N 98 | 080027400 | 4480089888 | 文庫本 |
|
|
|
Hide details.
| Notes | 文献: p289-290 |
|---|---|
| Authors | 野崎, 昭弘(1936-) <ノザキ, アキヒロ> |
| Subjects | BSH:不完全性定理 |
| Classification | NDC8:410.9 NDC9:410.9 |
| ID | 1000090865 |
| ISBN | 4480089888 |
Similar Items
- 1 ゲーデル不完全性発見への道 / 北田均著
- 2 スマリヤンの無限の論理パズル : ゲーデルとカントールをめぐる難問奇問 / レイモンド・スマリヤン著 ; 長尾確訳
- 3 スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論 / レイモンド・スマリヤン著 ; 田中朋之, 長尾確訳
- 4 不完全性定理と算術の体系 / 田中一之編
- 5 無限のパラドックス : パズルで学ぶカントールとゲーデル / レイモンド・スマリヤン著 ; 長尾確訳
- 6 ゲーデルの世界 : 完全性定理と不完全性定理 / 廣瀬健, 横田一正著
- 7 大学数学ほんとうに必要なのは『集合』 / 大蔵陽一著
- 8 「P≠NP」問題 : 現代数学の超難問 / 野崎昭弘著
- 9 暗号理論のための格子の数学 / D.ミッチアンチオ, S.ゴールドヴァッサー著 ; 林彬訳 ; シュプリンガー・ジャパン株式会社編集
- 10 神学的数学の原型 : カントル / 落合仁司著
Library Service