Solving word problems for all groups may be as impossible as solving all mathematical problems.

Max Dehn......