J-WAVE CD&BOOK ON LINE
不完全性定理とはなにか ゲーデルとチューリング天才はなにを証明したのか (ブルーバックス)
竹内薫/著

商品説明
正しくても常に証明できるとはかぎらない。ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。チューリングは「決定問題」を考察するなかで、「チューリング機械」という仮想的な計算機から「計算可能性と停止問題」に行き着きます。二人は同じことを全く別の視点から証明したのです。天才たちの思考の軌跡を楽しく見ていきましょう。
出荷: メーカー在庫あり:2-4日


詳細ページ
著者・出版社
ジャケット画像
目次

商品検索
ヘルプ

TOP

J-WAVE CD&BOOK ONLINE
powerd by Neowing