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

著者: 照井一成 読了日: 2022-08-15

数学者とは何かという問から出発し、数学者を構成するために必要な条件、数学者の構成が可能な点・不可能な点について論じている。数学基礎論から証明とプログラムの理論まで扱う。