コンピュータは数学者になれるのか？

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