資料詳細

概要

ブルーバックス ; B-2277
不完全性定理とはなにか
ゲーデルとチューリング天才はなにを証明したのか
竹内 薫 (1960-)
講談社
2024/11
9784065362266

利用状況

詳細

和洋区分
和書
書名,巻次,叢書名 不完全性定理とはなにか ゲーデルとチューリング天才はなにを証明したのか ブルーバックス ; B-2277
著者名 竹内 薫 (1960-)
分類記号1
408 叢書.全集.選集
著者記号 B.94
出版者 講談社
出版年月日 2024/11
定価 1,100
ページ 277p, 挿図, 肖像
サイズ 18cm
ISBN1 9784065362266
配架場所コード
三田洞閲覧室
注記 表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier). 竹内流ゲーデル教程(読書案内): p261-270 VT:不完全性定理とはなにか : 完全版 : ゲーデルとチューリング : 天才はなにを証明したのか
件名 不完全性定理 Turing, Alan, 1912-1954 ゲーデルの定理