Product Details
ISBN/Catalogue Number
:
ISBN 13 : 9784791768516
ISBN 10 : 4791768515
ISBN 10 : 4791768515
Format
:
Books
Release Date
:
February/2015
Content Description
数学の完全なシステムを構築しようとしたヒルベルト。
その「不可能性」を明らかにしてしまったゲーデルやチューリング。
一方で、その「可能性」の限界に挑んだもう1人の天才ゲンツェン・・・・・。
彼らの格闘は、現代のコンピュータ科学でも再演される。
「不完全性定理」「無矛盾性証明」「P対NP問題」など、
現代数学の核心を最新アップデートしたうえで徹底解説、
さらには近年注目の人工知能の話題にまで架橋する野心作。
【著者紹介】
照井一成 : 1971年生まれ。慶應義塾大学大学院文学研究科修了。国立情報学研究所助手・助教授などを経て、京都大学数理解析研究所准教授。専門は数理論理学(本データはこの書籍が刊行された当時に掲載されていたものです)
(「BOOK」データベースより)
Customer Reviews
Book Meter Reviews
こちらは読書メーターで書かれたレビューとなります。
powered by
月をみるもの
読了日:2020/03/29
Tsukasa Fukunaga
読了日:2016/03/15
滑車
読了日:2018/06/20
Mark.jr
読了日:2021/03/09
乱読MAN
読了日:2018/06/03
(外部サイト)に移動します
Recommend Items
Feedback
Missing or incorrect information?
Product information of this page .