資料詳細

  • 1 件中、 1 件目

コンピュ－タは数学者になれるのか？   貸出可

照井一成／著 -- 青土社 -- ２０１５．３ -- 410.96

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫４門 /410/Ｔｅ７６/ 0010015311877 一般図書 書架

ページの先頭へ

資料詳細

タイトル１ コンピュ－タは数学者になれるのか？ 
副タイトル１ 数学基礎論から証明とプログラムの理論へ
著者１ 照井一成 ／著  
出版年 ２０１５．３
出版者 青土社
一般件名 記号論理学
ページ数 ３５７ｐ
大きさ ２０ｃｍ
ISBN 4-7917-6851-6
NDC分類(10版) 410.96
内容紹介 １９世紀末に興った数学基礎論と、２０世紀中盤にそこから分岐したコンピュ－タ科学とを貫く物語。不完全性定理、無矛盾性証明、Ｐ対ＮＰ問題、カリ－・ハワ－ド対応といった多様な話題を取り上げる。

ページの先頭へ

著者紹介

著者紹介１－１ １９７１年生まれ。慶應義塾大学大学院文学研究科修了。国立情報学研究所助手・助教授などを経て、京都大学数理解析研究所准教授。専門は数理論理学。