In this paper an example is constructed of a solvable group of length 3 with unsolvable word problem that is finitely presented in the class of all groups. Bibliography: 9 titles.
No takes yet. Share an insight, caveat, or question.
O G Harlampovič (1982) studied this question.