フカンゼンセイ テイリ トワ ナニカ : ゲーデル ト チューリング テンサイ ワ ナニ オ ショウメイ シタ ノカ
竹内薫著
完全版
東京 : 講談社, 2024.11
図書| No. | 刷年 | 所在 | 請求記号 | 資料ID | 貸出区分 | 状況 | 予約人数 |
|---|---|---|---|---|---|---|---|
|
1 |
|
|
0056267 |
一般 |
|
|
2024
277p : 挿図, 肖像 ; 18cm
不完全性定理とはなにか : 完全版 : ゲーデルとチューリング : 天才はなにを証明したのか
ブルーバックス ; B-2277
表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)
竹内流ゲーデル教程(読書案内): p261-270
日本語 (jpn)
日本語 (jpn)
竹内, 薫 (1960-) (タケウチ, カオル) [ 竹内, 薫 (タケウチ, カオル) ] [ Takeuchi, Kaoru ] [ Takeuti, Kaoru ] [ 湯川, 薫(1960-) (ユカワ, カオル) ]
NDC9:410.9
NDC9:408
NDC10:410.9
9784065362266
BD09545152
TRC : 24044255
