資料詳細

  • 1 件中、 1 件目

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

数学基礎論から証明とプログラムの理論へ --
照井一成 ／著   -- 青土社 -- ２０１５．３ -- ２０ｃｍ -- ３５７ｐ

資料詳細

タイトル コンピュータは数学者になれるのか？
副書名 数学基礎論から証明とプログラムの理論へ
著者名等 照井一成 ／著  
出版 青土社 ２０１５．３
大きさ等 ２０ｃｍ ３５７ｐ
分類 410.9
件名 数学基礎論 , コンピュータ
注記 文献あり　索引あり
著者紹介 １９７１年生まれ。慶應義塾大学大学院文学研究科修了。国立情報学研究所助手・助教授などを経て、現在、京都大学数理解析研究所准教授。専門は数理論理学。著作に「計算と論理」など。
内容紹介 ヒルベルトら天才たちの挑戦は、今コンピュータ科学を経由して、世界に大転換をもたらしつつある。「不完全性定理」などの論争の歴史を最新アップデートし、「人工知能」の未来にまで架橋する数理論理学の決定版。
要旨 「計算」や「論理」がいかにして現実を変革するのか？ヒルベルト、ゲーデル、チューリング、ゲンツェンら天才たちの挑戦は、いまコンピュータ科学を経由して、世界に大転換をもたらしつつある。「不完全性定理」「Ｐ対ＮＰ問題」などの論争の歴史を最新アップデートし、「人工知能」の未来にまで架橋する数理論理学の決定版！
目次 １　数学者を作ろう（数学者とは何か；人工言語を画定する　ほか）；２　対角線上に追い詰めろ（対角線論法とは何か；言語の限界　ほか）；３　計算よ停まれ！（数列の生成と停止；全員整列！　ほか）；４　ＮＰの壁（しらみつぶしと数学知性；Ｐ・ＮＰとは何か　ほか）；５　活き活きした証明（ラムダ計算；証明はプログラムである　ほか）；６　対角線方向にむかう未来
ISBN(13)、ISBN 978-4-7917-6851-6　　 4-7917-6851-5
書誌番号 1113245026
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113245026

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410.9 一般書 利用可 - 2053868919 iLisvirtual

ページの先頭へ