ERR_MNG
漫画（まんが）・電子書籍ならコミックシーモア！
コミックシーモアをご利用の際はWebブラウザの設定でJavaScriptを有効にしてください。
→設定方法はこちら
コミックシーモアをご利用の際はWebブラウザの設定でCookieを有効にしてください。
シーモアを楽しもう!
ブルーバックスのオススメ作品
もっと見る
総合ランキング
全書籍から探す
1,100pt/1,210円(税込)
会員登録限定70%OFFクーポンで330pt/363円(税込)
会員登録して70%OFFで購入
お気に入りに追加
小説・実用書
ランキング
最新刊を見る
新刊自動購入
正しくても常に証明できるとはかぎらない。ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。チューリングは「決定問題」を考察するなかで、チューリング機械という仮想の計算機から「計算可能性と停止問題」に行き着つきます。2人は同じことを全く別の視点から証明したのです。この天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解いていきたいと思います。「そうですね……ゲーデルは、数学者が紙と鉛筆で証明をおこなうプロセスを厳密に考察しました。その結果、算数の計算ができるような理論があったとして、その理論の内部では証明できないことがある 、という結論に達しました。で、チューリングは、証明のかわりに計算の本質を追究した結果、無限ループに陥って計算が終わるかどうかわからない、いいかえると、計算できないことがある、という結論に達しました。どうです？ 似てませんか？」（「プロローグ」より）完全版 特別対談収録！加藤文元×竹内 薫不完全性定理――数学と哲学の交差点から
9784065362266
レビュー募集中！
レビュー投稿で最大1000pt!
1位
妹なんか生まれてこなければよかったのに きょうだい児が自分を取り戻す物語【単行本版】
2位
拝啓見知らぬ旦那様、離婚していただきます
3位
結界師の一輪華
4位
だって望まれない番ですから
5位
わたしの幸せな結婚
6位
軍神の花嫁
7位
皇帝の薬膳妃 紅き棗と再会の約束
8位
ゲッターズ飯田の五星三心占い2026
9位
NO．6［ナンバーシックス］再会
10位
超合本 QED
11位
『ディズニー ツイステッドワンダーランド』 FAN BOOK
12位
NO．6〔ナンバーシックス〕全9冊合本版
13位
赤毛のアン・シリーズ（1～10）合本版（新潮文庫）
14位
図書館戦争＋別冊図書館戦争 全6冊合本版
15位
国宝
16位
17位
連合艦隊 新・太平洋戦記
18位
ハッキング・ラボのつくりかた 完全版 仮想環境におけるハッカー体験学習
19位
20位
「三毛猫ホームズ」シリーズ
小説・実用書 > 小説・実用書
小説・実用書 > 竹内薫
小説・実用書 > 講談社
小説・実用書 > ブルーバックス
ERR_MNG
