"Финитно аппроксимируемая ассоциативная алгебра с неразрешимой проблемой равенства" - читать интересную книгу автора (Белеградек О.В.)