“Che l'aritmetica sia la base di ogni attività mentale è provato dal fatto che sia l'unica cosa che una macchina possa ottenere.”