資料詳細

不完全性定理とはなにか

竹内薫／著 -- 講談社 -- ２０２４．１１ -- 410.9

所蔵

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

所蔵場所	請求記号	資料番号	資料区分	帯出区分	状態
新書	4109/T12/1-2	1111086169	一般	貸出可	在庫

種別	図書
タイトルコード	1130583266
タイトル	不完全性定理とはなにか
タイトルカナ	フカンゼンセイ　テイリ　トワ　ナニカ
副書名	ゲーデルとチューリング天才はなにを証明したのか
著者	竹内薫／著
著者カナ	タケウチ　カオル
版表示	完全版
叢書名	ブルーバックス B-2277
出版地	東京
出版者	講談社
出版年	２０２４．１１
ページ数	277p
大きさ	18cm
一般件名	不完全性定理
NDC分類(8版)	410.9
NDC分類(10版)	410.9
ISBN13桁	978-4-06-536226-6
定価	¥1100
内容紹介	証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。
著者紹介	マギル大学大学院博士課程修了(高エネルギー物理学理論専攻、理学博士)。著書に「量子重力理論とはなにか」「「ファインマン物理学」を読む」など。