“The fact that we cannot write down all the digits of pi is not a human shortcoming, as mathematicians sometimes think.”