Сибирская школа алгебры и логики. Определимость и вычислимость