Why is the word problem hard?

1 · John Cook · Sept. 14, 2021, 3:06 p.m.
This post is about the word problem. When mathematicians talk about “the word problem” we’re not talking about elementary math problems expressed in prose, such as “If Johnny has three apples, ….” The word problem in algebra is to decide whether two strings of symbols are equivalent given a set of algebraic rules. I go […] The post Why is the word problem hard? first appeared on John D. Cook....