A computer program may fail to do what its programmer intends, but it always performs the operations it actually performs.

“There is no difference. Maybe the computer program doesn't do what you want it to do, but it's always doing what it's doing. And, uh, in mathematics, there has been a divergence between what the mathematicians wanted to express and what the syntactic operations are doing.”