神を信じるようになるのって数学者だっけ