On the algorithmic unsolvability of the word problem in group theory