近所の本屋で売ってた本

「コンピュータは数学者になれるのか？」
-数学基礎論から証明とプログラムの理論へ-
照井一成 著

ま、すでに買って読んでたけどね