Next, it was necessary to identify and prove the equivalence of two notions of effective calculability.
Затем необходимо было идентифицировать и доказать эквивалентность двух понятий эффективной вычислимости.