読んだ本・読みたい本を簡単登録、読書ソーシャルサービス

コンピュータは数学者になれるのか？

著者	照井一成
出版社	青土社
発売日	2015年02月24日頃
サイズ	単行本
価格	3,080 円

数学基礎論から証明とプログラムの理論へ

「計算」や「論理」がいかにして現実を変革するのか？ヒルベルト、ゲーデル、チューリング、ゲンツェンら天才たちの挑戦は、いまコンピュータ科学を経由して、世界に大転換をもたらしつつある。「不完全性定理」「Ｐ対ＮＰ問題」などの論争の歴史を最新アップデートし、「人工知能」の未来にまで架橋する数理論理学の決定版！

科学・技術 > 数学