ブルーバックス ; B-2277
不完全性定理とはなにか
ゲーデルとチューリング天才はなにを証明したのか
講談社
2024/11
9784065362266
The cover image is from "Kinokuniya".
By clicking the image, the detailed page of the online store, Kinokuniya, is displayed. |
Jpn. or Foreign | 和書 |
---|---|
Title,Vol,Series | 不完全性定理とはなにか ゲーデルとチューリング天才はなにを証明したのか ブルーバックス ; B-2277 |
Author | 竹内 薫 (1960-) |
Publisher | 講談社 |
Pub. Date | 2024/11 |
Price | 1,100 |
Page | 277p, 挿図, 肖像 |
Size | 18cm |
ISBN 1 | 9784065362266 |
Notes | 表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier). 竹内流ゲーデル教程(読書案内): p261-270 VT:不完全性定理とはなにか : 完全版 : ゲーデルとチューリング : 天才はなにを証明したのか |
Subjects | 不完全性定理 Turing, Alan, 1912-1954 ゲーデルの定理 |