トップ
甲斐市立図書館
ログアウト
ログイン
Clear text
検索結果詳細
前へ
次へ
不完全性定理とはなにか
ゲーデルとチューリング 天才はなにを証明したのか
ブルーバックス
B-2277 完全版
講談社 2024.11
竹内 薫
∥著
(0人)
蔵書数: 1冊
貸出数: 0冊
貸出可能数: 1冊
予約件数: 0件
予約かごに入れる
ブックリストに登録する
あなたの評価
変更
削除
レビューを書く
所蔵
詳細
レビュー
資料の状況
竜王図書館 <1012713739>
貸出可 / 2F棚8/新書 / /S/410/タ/ / 帯出可
詳細情報
ISBN
4-06-536226-6
13桁ISBN
978-4-06-536226-6
書名ヨミ
フカンゼンセイ テイリ トワ ナニカ
副書名ヨミ
ゲーデル ト チューリング テンサイ ワ ナニ オ ショウメイ シタ ノカ
著者ヨミ
タケウチ カオル
叢書名ヨミ
ブルー バックス
分類記号
410.9
価格
¥1100
出版者ヨミ
コウダンシャ
大きさ
18cm
ページ数
277p
一般件名
不完全性定理
抄録
証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。
著者紹介
マギル大学大学院博士課程修了(高エネルギー物理学理論専攻、理学博士)。著書に「量子重力理論とはなにか」「「ファインマン物理学」を読む」など。
ユーザレビューはありません
(c) 甲斐市立図書館
ブックリストに登録する
読みたい
今読んでる
読み終わった
資料を評価する
0~5までの値で評価を登録できます。
(増減量0.5)
変更後、[決定]ボタンを押してください。
決定
閉じる
loading...
レビューを書く
貸出可 / 2F棚8/新書 / /S/410/タ/ / 帯出可