|
ブルーバックス ; B-2277
不完全性定理とはなにか
ゲーデルとチューリング天才はなにを証明したのか
講談社
2024/11
9784065362266
|
| Jpn. or Foreign | 和書 |
|---|---|
| Title,Vol,Series | 不完全性定理とはなにか ゲーデルとチューリング天才はなにを証明したのか ブルーバックス ; B-2277 |
| Author | 竹内 薫 (1960-) |
| Classification 1 | 408 叢書．全集．選集 |
| Author No. | B.94 |
| Publisher | 講談社 |
| Pub. Date | 2024/11 |
| Price | 1,100 |
| Page | 277p, 挿図, 肖像 |
| Size | 18cm |
| ISBN 1 | 9784065362266 |
| Shelf Code | 三田洞閲覧室 |
| Notes | 表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier). 竹内流ゲーデル教程(読書案内): p261-270 VT:不完全性定理とはなにか : 完全版 : ゲーデルとチューリング : 天才はなにを証明したのか |
| Subjects | 不完全性定理 Turing, Alan, 1912-1954 ゲーデルの定理 |