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

参照データ

タイトル	コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-
発売日	販売日未定
製作者	照井一成
販売元	青土社
JANｺｰﾄﾞ	9784791768516
カテゴリ	» 本 » ジャンル別

ゲーデルやP=NPなどの話はいろいろな本に書いてあるものの、全部を並べてこれほどまとめて解説している本は今まで出合ったことがありません。大変に勉強になり、改めてこの分野に興味を持ちました。