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.
Dezvoltând pe marginea acestui rezultat, Piotr Novikov⁠(d) și William Boone⁠(d) au arătat independent în 1950 că problema cuvântului pentru grupuri⁠(d) nu este nici ea eficient rezolvabilă: nu există nicio procedură efectivă care, dat fiind un cuvânt dintr-un grup finit generat, să decidă dacă elementul reprezentat prin cuvânt este elementul neutru al grupului.