不完全性定理とはなにか 完全版 ゲーデルとチューリング 天才はなにを証明したのか
購入済み
シリーズ
全1冊
作品情報
正しくても常に証明できるとはかぎらない。ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。チューリングは「決定問題」を考察するなかで、チューリング機械という仮想の計算機から「計算可能性と停止問題」に行き着つきます。2人は同じことを全く別の視点から証明したのです。この天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解いていきたいと思います。「そうですね……ゲーデルは、数学者が紙と鉛筆で証明をおこなうプロセスを厳密に考察しました。その結果、算数の計算ができるような理論があったとして、その理論の内部では証明できないことがある 、という結論に達しました。で、チューリングは、証明のかわりに計算の本質を追究した結果、無限ループに陥って計算が終わるかどうかわからない、いいかえると、計算できないことがある、という結論に達しました。どうです？ 似てませんか？」（「プロローグ」より）完全版 特別対談収録！加藤文元×竹内 薫不完全性定理――数学と哲学の交差点から
- 著者
- 出版社 講談社
- ジャンル
- レーベル ブルーバックス
- シリーズ 不完全性定理とはなにか 完全版 ゲーデルとチューリング 天才はなにを証明したのか
- 電子版配信開始日 2024/11/20
- ファイルサイズ 7.32 MB
作品をシェアする
同じ作者の本
-
スーパーAIが人間を超える日――汎用人工知能AGI時代の生き方
￥1,870
購入済み
-
フェイクニュース時代の科学リテラシー超入門
￥1,430
購入済み
-
不完全性定理とはなにか 完全版 ゲーデルとチューリング 天才はなにを証明したのか
￥1,210
購入済み
-
THE UNIVERSE IN A BOX 箱の中の宇宙―――あたらしい宇宙１３８億年の歴史
￥2,420
購入済み
-
自分はバカかもしれないと思ったときに読む本
￥858
購入済み
-
ＴＨＥ ＬＥＡＲＮＩＮＧ ＧＡＭＥ 自分の頭で考え、学ぶ楽しさ、挑戦する喜びを教えよう
￥2,420
購入済み
-
東大卒エリートの広く深い学び方
￥1,540
購入済み
-
もしもあなたが猫だったら？ 「思考実験」が判断力をみがく
￥990
購入済み
-
THE CHILD CODE「遺伝が９割」そして、親にできること
￥2,200
購入済み
-
動物園の２４時間
￥1,584
購入済み
講談社のおすすめ本
-
![ヤングマガジン 2025年22・23号 [2025年4月28日発売]](https://mw-cds.akamaized.net/MW-Product/991/626/352038377499d13afca12bfceb01de5f6cd47b5a93352f651aa4eac6a69147d5/RS4A/thumbnail/cover.jpg?ivm=true)
ヤングマガジン 2025年22・23号 [2025年4月28日発売]
￥510
購入済み
-
ヤニねこ（１）
￥792
購入済み
-
人喰い鬼の花嫁 分冊版（１）
￥198
購入済み
-
海外駐在妻の光と闇～シタ妻とサレ妻とサレかけた妻～ 分冊版（１）
￥209
購入済み
-
宝石の国 1～13巻セット
￥8,298
購入済み
-
ワンダンス 1～13巻セット
￥8,236
購入済み
-
おおきく振りかぶって 1～37巻セット
￥23,443
購入済み
-
甘々と稲妻 1～12巻セット
￥7,603
購入済み
-
ブルーピリオド 1～16巻セット
￥10,137
購入済み
-
蟲師 1～10巻セット
￥6,336
購入済み
科学・テクノロジーのおすすめ本
-
建築設備施工要領図集（改訂２版）
￥8,800
購入済み
-
プラスチックから紙へ 紙材料学入門
￥1,188
購入済み
-
COASTAL ENGINEERING - For Engineers and Practitioners -
￥13,200
購入済み
-
創元ビジュアル教養＋α タコ・イカが見ている世界
￥1,980
購入済み
-
ＰｙｔｈｏｎとＣｈａｔＧＰＴを活用する スペクトル解析実践ガイド ケモメトリクスから機械学習まで
￥4,180
購入済み
-
緑地と文化 社会的共通資本としての杜
￥1,034
購入済み
-
合格対策 建築設備士試験 建築一般知識・建築法規編
￥5,500
購入済み
-
身近な「鳥」の素顔名鑑
￥1,650
購入済み
-
めざせマントル！ 地球を掘る地質学者の冒険
￥1,650
購入済み
-
役に立たないロボット 日本が生み出すスゴい発想（インターナショナル新書）
￥946
購入済み