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.
Επεκτείνοντας αυτό το αποτέλεσμα, ο Pyotr Novikov και ο William Boone έδειξαν ανεξάρτητα στη δεκαετία του 1950 ότι η λέξη πρόβλημα για τις ομάδες δεν είναι αποτελεσματικά επιλύσιμο: δεν υπάρχει αποτελεσματική διαδικασία η οποία, δοσμένης μιας λέξης σε μια παρουσιασμένη ομάδα, θα αποφασίσει εάν το στοιχείο που αντιπροσωπεύεται από τη λέξη είναι το στοιχείο της ταυτότητας της ομάδας.