不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか

不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか

フカンゼンセイ テイリ トワ ナニカ : ゲーデル ト チューリング テンサイ ワ ナニ オ ショウメイ シタ ノカ

竹内薫著

完全版

東京 : 講談社, 2024.11

Book

Volume No.

No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • 408
  • BLU
  • 2277

0056267

Regular

Details

Publication year

2024

Form

277p : 挿図, 肖像 ; 18cm

Alternative title

不完全性定理とはなにか : 完全版 : ゲーデルとチューリング : 天才はなにを証明したのか

Series title

ブルーバックス ; B-2277

Note

表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)

竹内流ゲーデル教程(読書案内): p261-270

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

竹内, 薫 (1960-) (タケウチ, カオル) [ 竹内, 薫 (タケウチ, カオル) ] [ Takeuchi, Kaoru ] [ Takeuti, Kaoru ] [ 湯川, 薫(1960-) (ユカワ, カオル) ]

Classification

NDC9:410.9

NDC9:408

NDC10:410.9

Subject

不完全性定理

ISBN

9784065362266

NCID

BD09545152

Number

TRC : 24044255