資料詳細

  • 1 件中、 1 件目

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

照井一成／著 -- 青土社 -- 2015.3 -- 410.9

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 410.9/ﾃﾙｲ/一般Ｈ 119592909 一般 利用可

ページの先頭へ

資料詳細

タイトル コンピュータは数学者になれるのか？
書名ヨミ コンピュータ　ワ　スウガクシャ　ニ　ナレルノカ
副書名 数学基礎論から証明とプログラムの理論へ
著者名 照井一成 ／著  
著者ヨミ テルイ，カズシゲ  
出版者 青土社  
出版年 2015.3
ページ数等 ３５７ｐ
大きさ ２０ｃｍ
内容細目 文献あり　索引あり
一般件名 数学基礎論 , コンピュータ  
ISBN 4-7917-6851-5
ISBN13桁 978-4-7917-6851-6
定価 ２８００円
問合わせ番号（書誌番号） 1102079538
NDC8版 410.9
NDC9版 410.9
内容紹介 「計算」や「論理」がいかにして現実を変革するのか？ヒルベルト、ゲーデル、チューリング、ゲンツェンら天才たちの挑戦は、いまコンピュータ科学を経由して、世界に大転換をもたらしつつある。「不完全性定理」「Ｐ対ＮＰ問題」などの論争の歴史を最新アップデートし、「人工知能」の未来にまで架橋する数理論理学の決定版！
著者紹介 １９７１年生まれ。慶應義塾大学大学院文学研究科修了。国立情報学研究所助手・助教授などを経て、現在、京都大学数理解析研究所准教授。専門は数理論理学。著作に「計算と論理」など。 

ページの先頭へ

内容一覧

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

ページの先頭へ