資料詳細

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

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

所蔵

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

所蔵館	所蔵場所	請求記号	資料番号	資料区分	帯出区分	状態
一般	一般資料室	410.9/2015/	00013788161	和書	帯出可	在庫

ページの先頭へ

資料詳細

タイトル	コンピュータは数学者になれるのか? ,
書名ヨミ	コンピュータワスウガクシャニナレルノカ
副書名	数学基礎論から証明とプログラムの理論へ
著者	照井一成／著
著者名ヨミ	テルイ,カズシゲ
出版者	青土社
出版年	2015.3
ページ数, 大きさ	357p, 20cm
NDC１０版	410.96
NDC８版	410.96
一般件名	記号論理学
ISBN	978-4-7917-6851-6
著者紹介	1971年生まれ。慶應義塾大学大学院文学研究科修了。国立情報学研究所助手・助教授などを経て、京都大学数理解析研究所准教授。専門は数理論理学。
内容紹介	19世紀末に興った数学基礎論と、20世紀中盤にそこから分岐したコンピュータ科学とを貫く物語。不完全性定理、無矛盾性証明、P対NP問題、カリー・ハワード対応といった多様な話題を取り上げる。

ページの先頭へ