Extending this result, Pyotr Novikov and William Boone showed independently in the 1950s that the word problem for groups is not effectively solvable: there is no effective procedure that, given a word in a finitely presented group, will decide whether the element represented by the word is the identity element of the group.
Проширењем овог резултата, Петар Новиков и Вилијам Бун су независно показали 1950их да проблем речи у групама није ефективно решив: нема ефективне процедуре која, дајући реч у коначно представљеној групи, ће одлучити произвољни елемент предстаљен речју је елемент идентитета групе.