漫画（まんが）・電子書籍ならコミックシーモア！
コミックシーモアをご利用の際はWebブラウザの設定でJavaScriptを有効にしてください。
→(参考)ブラウザでJavaScriptを許可する ※外部サイトへ遷移します
巻（見開き形式）について
セーフサーチ？
シーモアを楽しもう!
もっと見る
ブルーバックスのオススメ作品
総合ランキング
全書籍から探す
1,100pt/1,210円(税込)
会員登録限定70%OFFクーポンで 330pt/363円(税込)
会員登録して70%OFFで購入
お気に入りに追加
小説・実用書
ランキング
最新刊を見る
新刊自動購入
正しくても常に証明できるとはかぎらない。ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。チューリングは「決定問題」を考察するなかで、チューリング機械という仮想の計算機から「計算可能性と停止問題」に行き着つきます。2人は同じことを全く別の視点から証明したのです。この天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解いていきたいと思います。「そうですね……ゲーデルは、数学者が紙と鉛筆で証明をおこなうプロセスを厳密に考察しました。その結果、算数の計算ができるような理論があったとして、その理論の内部では証明できないことがある 、という結論に達しました。で、チューリングは、証明のかわりに計算の本質を追究した結果、無限ループに陥って計算が終わるかどうかわからない、いいかえると、計算できないことがある、という結論に達しました。どうです？ 似てませんか？」（「プロローグ」より）完全版 特別対談収録！加藤文元×竹内 薫不完全性定理――数学と哲学の交差点から
9784065362266
レビュー募集中！
レビュー投稿で最大1000pt!
1位
そして、あなたは私を捨てる
2位
さようなら王子様、どうか私のことは忘れてください
3位
桜底 警視庁異能処理班ミカヅチ
4位
公爵家の長女でした
5位
結界師の一輪華
6位
拝啓見知らぬ旦那様、離婚していただきます
7位
ダクダデイラ
8位
都会のトム＆ソーヤ 合本版
9位
夜行堂奇譚
10位
「修学旅行で仲良くないグループに入りました」ドラマ公式ビジュアルブック
11位
龍の贄嫁
12位
怪盗クイーン
13位
皇帝の薬膳妃 紅き棗と再会の約束
14位
ばけもの好む中将
15位
准教授・高槻彰良の推察
16位
元戦闘用奴隷ですが、助けてくれた竜人は番だそうです。
17位
わたしの幸せな結婚
18位
恋とはどんなものかしら
19位
エヴァンゲリオン ANIMA
20位
アイ★チュウ オフィシャルファンブック
小説・実用書 > 小説・実用書
小説・実用書 > 竹内薫
小説・実用書 > 講談社
小説・実用書 > ブルーバックス
page top▲
巻（見開き形式）について
