О проблемах классификации для вычислимых алгебраических структур

Во многих математических задачах возникает проблема классификации тех или иных алгебраических структур. С этой проблематикой связан ряд естественных вопросов. Например, как можно формально сравнить сложность двух различных проблем классификации? Можно ли доказать, что у данного класса не существует удобной классификации? В докладе будет рассказано о подходах к проблемам классификации, основанных на методах теории вычислимости.