コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-作者: 照井一成出版社/メーカー: 青土社発売日: 2015/02/24メディア: 単行本この商品を含むブログ (11件) を見る 目次 1 数学者を作ろう 2 対角線上に追い詰めろ 3 計算よ停まれ…