ERR_MNG
漫画（まんが）・電子書籍ならコミックシーモア！
コミックシーモアをご利用の際はWebブラウザの設定でJavaScriptを有効にしてください。
→設定方法はこちら
コミックシーモアをご利用の際はWebブラウザの設定でCookieを有効にしてください。
シーモアを楽しもう!
もっと見る
ブルーバックスのオススメ作品
総合ランキング
全書籍から探す
1,100pt/1,210円(税込)
会員登録限定70%OFFクーポンで お得に読める！
会員登録して70%OFFで購入
お気に入りに追加
小説・実用書
ランキング
最新刊を見る
新刊自動購入
正しくても常に証明できるとはかぎらない。ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。チューリングは「決定問題」を考察するなかで、チューリング機械という仮想の計算機から「計算可能性と停止問題」に行き着つきます。2人は同じことを全く別の視点から証明したのです。この天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解いていきたいと思います。「そうですね……ゲーデルは、数学者が紙と鉛筆で証明をおこなうプロセスを厳密に考察しました。その結果、算数の計算ができるような理論があったとして、その理論の内部では証明できないことがある 、という結論に達しました。で、チューリングは、証明のかわりに計算の本質を追究した結果、無限ループに陥って計算が終わるかどうかわからない、いいかえると、計算できないことがある、という結論に達しました。どうです？ 似てませんか？」（「プロローグ」より）完全版 特別対談収録！加藤文元×竹内 薫不完全性定理――数学と哲学の交差点から
9784065362266
レビュー募集中！
レビュー投稿で最大1000pt!
1位
だって望まれない番ですから
2位
私が見た未来 完全版
3位
黒狼王と白銀の贄姫 辺境の地で最愛を育む
4位
探偵チームKZ事件ノート
5位
合本 鬼平犯科帳（一）～（二十四）【文春e-Books】
6位
わたしの幸せな結婚
7位
レーエンデ国物語
8位
天久鷹央の推理カルテ
9位
後宮の検屍女官
10位
領怪神犯
11位
汝、星のごとく
12位
「からだにいい」をまるごと5日分作り置き！ 頑張らない冷凍弁当
13位
NO．6〔ナンバーシックス〕全9冊合本版
14位
薬屋のひとりごと画集
15位
刀剣乱舞絢爛図録
16位
メイクがなんとなく変なので友達の美容部員にコツを全部聞いてみた
17位
拝啓見知らぬ旦那様、離婚していただきます
18位
TACO直伝！ 知っているだけで劇的に上達する 人体ドローイングのコツ390
19位
疾患別看護過程ポケットブック
20位
あやかし屋敷のまやかし夫婦
小説・実用書 > 小説・実用書
小説・実用書 > 竹内薫
小説・実用書 > 講談社
小説・実用書 > ブルーバックス
ERR_MNG
