資料詳細

  • 1 件中、 1 件目

不完全性定理とはなにか 貸出中

竹内 薫／著 -- 講談社 -- 2024.11 -- 410.9

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
１階中央図書 /410.9/ﾈ4Y/ 13910567 一般 帯出可 貸出中 iLisvirtual

ページの先頭へ

資料詳細

タイトル 不完全性定理とはなにか
副書名 ゲーデルとチューリング 天才はなにを証明したのか
叢書名 ブルーバックス
責任表示 竹内 薫 ／著  
出版者 講談社
出版年 2024.11
ページ数 277p
大きさ 18cm
一般件名 不完全性定理
NDC分類(10版) 410.9
NDC分類(9版) 410.9
内容紹介 証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。
ISBN 4-06-536226-6
ISBN13桁 978-4-06-536226-6 国立国会図書(別タブで開きます) カーリル(別タブで開きます) WebcatPlus(別タブで開きます) CiNiiBooks(別タブで開きます) アマゾン(別タブで開きます) ブクログ(別タブで開きます)
版表示 完全版
本体価格 ¥1100

ページの先頭へ