Mathematical syntax has sometimes failed to express what mathematicians intended it to express.

“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.”