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

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

青土社
照井一成　

• 価格: 3,080円（本体2,800円＋税）
• 発行年月: 2015年03月
• 判型: Ｂ６
• ISBN: 9784791768516

内容情報

[BOOKデータベースより]

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

１　数学者を作ろう（数学者とは何か；人工言語を画定する　ほか）
２　対角線上に追い詰めろ（対角線論法とは何か；言語の限界　ほか）
３　計算よ停まれ！（数列の生成と停止；全員整列！　ほか）
４　ＮＰの壁（しらみつぶしと数学知性；Ｐ・ＮＰとは何か　ほか）
５　活き活きした証明（ラムダ計算；証明はプログラムである　ほか）
６　対角線方向にむかう未来

[日販商品データベースより]

ヒルベルトら天才たちの挑戦は、今コンピュータ科学を経由して、世界に大転換をもたらしつつある。「不完全性定理」などの論争の歴史を最新アップデートし、「人工知能」の未来にまで架橋する数理論理学の決定版。