【単行本】 照井一成 / コンピュータは数学者になれるのか? 数学基礎論から証明とプログラムの理論へ 送料無料
3,080円(税込)
配送情報
お届け予定日:在庫状況は商品詳細のリンク先を確認下さい
※一部地域・離島につきましては、表示のお届け予定日期間内にお届けできない場合があります。ロットナンバー
220285580
商品説明
ご注文前にお読みください
在庫・特典情報を見る
商品の詳細
ジャンル: 物理・科学・医学
フォーマット: 単行本
出版社: 青土社
発売日: 2015年02月
ISBN: 9784791768516
発売国: 日本
その他: 357p 19cm(B6)
SKU: 6268318
在庫・特典情報を見る
商品の詳細
ジャンル: 物理・科学・医学
フォーマット: 単行本
出版社: 青土社
発売日: 2015年02月
ISBN: 9784791768516
発売国: 日本
その他: 357p 19cm(B6)
SKU: 6268318
内容詳細
「計算」や「論理」がいかにして現実を変革するのか?ヒルベルト、ゲーデル、チューリング、ゲンツェンら天才たちの挑戦は、いまコンピュータ科学を経由して、世界に大転換をもたらしつつある。「不完全性定理」「P対NP問題」などの論争の歴史を最新アップデートし、「人工知能」の未来にまで架橋する数理論理学の決定版!
目次 : 1 数学者を作ろう(数学者とは何か/ 人工言語を画定する ほか)/ 2 対角線上に追い詰めろ(対角線論法とは何か/ 言語の限界 ほか)/ 3 計算よ停まれ!(数列の生成と停止/ 全員整列! ほか)/ 4 NPの壁(しらみつぶしと数学知性/ P・NPとは何か ほか)/ 5 活き活きした証明(ラムダ計算/ 証明はプログラムである
目次 : 1 数学者を作ろう(数学者とは何か/ 人工言語を画定する ほか)/ 2 対角線上に追い詰めろ(対角線論法とは何か/ 言語の限界 ほか)/ 3 計算よ停まれ!(数列の生成と停止/ 全員整列! ほか)/ 4 NPの壁(しらみつぶしと数学知性/ P・NPとは何か ほか)/ 5 活き活きした証明(ラムダ計算/ 証明はプログラムである
レビュー
商品の評価:
-点(0件)
お店の情報
お店の評価:
-点(0件)
連絡・応対
-
配送スピード
-
梱包
-