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位
軍神の花嫁
9位
魔界都市ブルース【合冊版／短編】
10位
刀語
11位
パンどろぼう
12位
文庫版 近畿地方のある場所について
13位
妖奇庵夜話
14位
だって望まれない番ですから
15位
6年1組 黒魔女さんが通る！！ 全20冊合本版
16位
エレガントな毒の吐き方 脳科学と京都人に学ぶ「言いにくいことを賢く伝える」技術
17位
アイドリッシュセブンオフィシャルファンブック
18位
ばけもの好む中将
19位
NO．6〔ナンバーシックス〕全9冊合本版
20位
八咫烏シリーズ
小説・実用書 > 小説・実用書
小説・実用書 > 竹内薫
小説・実用書 > 講談社
小説・実用書 > ブルーバックス
ERR_MNG
