Розглядаються питання конкретизації тези Чорча та її застосування в методології обчислюваності.
Рассматриваются вопросы конкретизации тезисов Чорча и их применения в методологии вычислимости.
The questions of Cherch’s theses specification and its application in the methodology of computability are considerеd.