検索結果書誌詳細

内容紹介

19世紀末に興った数学基礎論と、20世紀中盤にそこから分岐したコンピュータ科学とを貫く物語。不完全性定理、無矛盾性証明、P対NP問題、カリー・ハワード対応といった多様な話題を取り上げる。

＋ 追加情報を見る

タイトルコード

1000040441681

書誌種別

図書

著者名

照井 一成／著

著者名ヨミ

テルイ カズシゲ

出版者

青土社

出版年月

2015.3

ページ数・枚数

357p

大きさ・形態

20cm

ISBN

4-7917-6851-6

分類記号

410.96

書名

コンピュータは数学者になれるのか? 数学基礎論から証明とプログラムの理論へ

書名ヨミ

コンピュータ ワ スウガクシャ ニ ナレル ノカ スウガク キソロン カラ ショウメイ ト プログラム ノ リロン エ

副書名

数学基礎論から証明とプログラムの理論へ

副書名ヨミ

スウガク キソロン カラ ショウメイ ト プログラム ノ リロン エ

著者紹介

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

件名1

記号論理学