Page "Word problem for groups" Paragraph 69

:: Boone-Rogers Theorem: There is no uniform partial algorithm which solves the word problem in all finitely presented groups with solvable word problem.