広島市立図書館
蔵書検索画面の文字の大きさを変えるには
資料検索
資料紹介
Myライブラリ
広島市立図書館ホームページへ戻る
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
1 件中、 1 件目
NEW
不完全性定理とはなにか 完全版
貸出中
0
1
1
竹内 薫/著 -- 講談社 -- 2024.11 -- 410.9
総合評価
5段階評価の0.0
(0)
  
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。予約は
1
件です。
所蔵館
所蔵場所
請求記号
資料コード
資料区分
帯出区分
状態
中央
閲B
K/410.9/たけ/イ
180448622Z
一般書
可能
予別
ページの先頭へ
館別所蔵
館名
所蔵数
貸出中数
貸出可能数
中央
1
1
0
ページの先頭へ
資料詳細
タイトル
不完全性定理とはなにか
副書名
ゲーデルとチューリング 天才はなにを証明したのか
シリーズ
ブルーバックス
著者名
竹内 薫
/著
出版者
講談社
出版年
2024.11
ページ数等
277p
大きさ
18cm
分類(9版)
410.9
分類(10版)
410.9
版表示
完全版
内容紹介
証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。
著者紹介
マギル大学大学院博士課程修了(高エネルギー物理学理論専攻、理学博士)。著書に「量子重力理論とはなにか」「「ファインマン物理学」を読む」など。
テーマ
不完全性定理
ISBN
4-06-536226-6
本体価格
¥1100
特定資料種別
図書
URL
https://www.library.city.hiroshima.jp/winj/opac/switch-detail.do?bibid=1110789608
ページの先頭へ