コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ
著者
書誌事項
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ
青土社, 2015.3
- タイトル別名
-
コンピュータは数学者になれるのか : 数学基礎論から証明とプログラムの理論へ
- タイトル読み
-
コンピュータ ワ スウガクシャ ニ ナレルノカ? : スウガク キソロン カラ ショウメイ ト プログラム ノ リロン エ
大学図書館所蔵 全180件
この図書・雑誌をさがす
注記
文献一覧: p345-352
内容説明・目次
内容説明
「計算」や「論理」がいかにして現実を変革するのか？ヒルベルト、ゲーデル、チューリング、ゲンツェンら天才たちの挑戦は、いまコンピュータ科学を経由して、世界に大転換をもたらしつつある。「不完全性定理」「Ｐ対ＮＰ問題」などの論争の歴史を最新アップデートし、「人工知能」の未来にまで架橋する数理論理学の決定版！
目次
- １ 数学者を作ろう（数学者とは何か；人工言語を画定する ほか）
- ２ 対角線上に追い詰めろ（対角線論法とは何か；言語の限界 ほか）
- ３ 計算よ停まれ！（数列の生成と停止；全員整列！ ほか）
- ４ ＮＰの壁（しらみつぶしと数学知性；Ｐ・ＮＰとは何か ほか）
- ５ 活き活きした証明（ラムダ計算；証明はプログラムである ほか）
- ６ 対角線方向にむかう未来
「BOOKデータベース」 より