トップメニュー >

資料詳細

詳細蔵書検索

不完全性定理とはなにか在庫

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

所蔵

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

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

ページの先頭へ

資料詳細

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

ページの先頭へ