The word problem for groups was proved algorithmically unsolvable by Pyotr Novikov in 1955 and independently by W. Boone in 1959.
Το πρόβλημα λέξης για ομάδες αποδείχθηκε μη επιλύσιμο αλγοριθμικά από τον Νόβικοβ το 1955 και ανεξάρτητα από τον Μπουν το 1959.