不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか 完全版
- 著者名竹内薫著
- 出版者講談社
- 出版年2024.11
貸出・返却・予約状況
- 所蔵数1
- 貸出可能数1
- 予約数0
所蔵事項
- 登録番号0023165
- 請求記号410.9/TA
- 貸出区分通常
- 蔵書区分図書
- 配架場所 2階閲覧室
- 所蔵状態所蔵
書誌事項
- 書名不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか 完全版
- 著者名竹内薫著
- 叢書名ブルーバックス
- 叢書番号B-2277
- 版完全版
- ISBN9784065362266
- 出版地東京
- 出版者講談社
- 出版年2024.11
- ページ277p : 挿図, 肖像
- サイズ18cm
- 注記竹内流ゲーデル教程(読書案内): p261-270
- 件名不完全性定理
Turing, Alan, 1912-1954
ゲーデルの定理