Next, it was necessary to identify and prove the equivalence of two notions of effective calculability.
Даље, било је неопходно да се идентификују и докаже еквивалентност два појма ефикасне предвидивост.