ERR_MNG
漫画（まんが）・電子書籍ならコミックシーモア！
コミックシーモアをご利用の際はWebブラウザの設定でJavaScriptを有効にしてください。
→設定方法はこちら
コミックシーモアをご利用の際はWebブラウザの設定でCookieを有効にしてください。
セーフサーチ？
シーモアを楽しもう!
ブルーバックスのオススメ作品
もっと見る
総合ランキング
全書籍から探す
1,100pt/1,210円(税込)
会員登録限定70%OFFクーポンで330pt/363円(税込)
会員登録して70%OFFで購入
お気に入りに追加
小説・実用書
ランキング
最新刊を見る
新刊自動購入
正しくても常に証明できるとはかぎらない。ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。チューリングは「決定問題」を考察するなかで、チューリング機械という仮想の計算機から「計算可能性と停止問題」に行き着つきます。2人は同じことを全く別の視点から証明したのです。この天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解いていきたいと思います。「そうですね……ゲーデルは、数学者が紙と鉛筆で証明をおこなうプロセスを厳密に考察しました。その結果、算数の計算ができるような理論があったとして、その理論の内部では証明できないことがある 、という結論に達しました。で、チューリングは、証明のかわりに計算の本質を追究した結果、無限ループに陥って計算が終わるかどうかわからない、いいかえると、計算できないことがある、という結論に達しました。どうです？ 似てませんか？」（「プロローグ」より）完全版 特別対談収録！加藤文元×竹内 薫不完全性定理――数学と哲学の交差点から
9784065362266
レビュー募集中！
レビュー投稿で最大1000pt!
1位
変な地図
2位
かくりよの宿飯
3位
しゃばけ
4位
銀河特急 ミルキー☆サブウェイ ビジュアルブック
5位
変な家2 ～11の間取り図～
6位
拝啓見知らぬ旦那様、離婚していただきます
7位
星ひとみの天星術2026
8位
皇帝の薬膳妃 紅き棗と再会の約束
9位
変な絵
10位
爆弾【電子限定特典付き】
11位
結界師の一輪華
12位
裏モノJAPANボリューム版★378ページ★51コンテンツ★卒業旅行の女子大生がドイツの混浴サウナで★予備校の憧れチューターとの夜★我慢を一気に開放すると脳汁が出まくる法則★人妻は二種類パート2
13位
推しが妻になりました
14位
悪役令嬢の兄の憂鬱
15位
だって望まれない番ですから
16位
わたしの幸せな結婚
17位
Encyclopaedia Eorzea ～The World of FINAL FANTASY XIV～
18位
アレンジ・オリジナル・組み方で差がつく！ タイトル文字のデザイン
19位
艦隊これくしょん ‐艦これ‐ 艦娘型録
20位
完全セルフVTuberが教える！ 一瞬で“かわいい”が作れるイラスト術
小説・実用書 > 小説・実用書
小説・実用書 > 竹内薫
小説・実用書 > 講談社
小説・実用書 > ブルーバックス
ERR_MNG
