“照井 一成”の紙の本一覧
1971年生まれ。慶應義塾大学大学院文学研究科修了。国立情報学研究所助手・助教授などを経て、京都大学数理解析研究所准教授。専門は数理論理学。
“照井 一成”に関連する紙の本を1件掲載しています。1 ~ 1 件目をご紹介します。
-
(レビュー:4件)
- 税込価格:3,080円
- 出版社:青土社
- 発売日:2015/02/24
- 発送可能日:1~3日
- 19世紀末に興った数学基礎論と、20世紀中盤にそこから分岐したコンピュータ科学とを貫く物語。不完全性定理、無矛盾性証明、P対NP問題、カリー・ハワード対応といった多様な話題を取り上げる。【「TRC MARC」の商品解説】
数学の完全なシステムを構築しようとしたヒルベルト。その「不可能性」を明らかにしてしまったゲーデルやチューリング。一方で、その「可能性」の限界に挑んだもう1人...
商品ご購⼊に際してのご注意
当商品は在庫が無い為、お取り寄せとなります。
ご注文後に出版社・製造元へ取り寄せを行い、商品が調達でき次第発送いたします。
調達が難しい場合、3週間程度でご注文は自動でキャンセルとなります。
- 予約購入について
-
- 「予約購入する」をクリックすると予約が完了します。
- ご予約いただいた商品は発売日にダウンロード可能となります。
- ご購入金額は、発売日にお客様のクレジットカードにご請求されます。
- 商品の発売日は変更となる可能性がございますので、予めご了承ください。