A computer can experience mathematics.