Неразрешимость универсальной теории конечных групп

Доказывается, что универсальная теория конечных групп неразрешима. В качестве метода доказательства используется представление работы машин Минского в универсальных теориях групп и полугрупп.