Это воистину замечательный факт, который подчеркивает глубоко объективный и математичный характер понятия вычислимости. На первый ... - Большая Энциклопедия Нефти и Газа
Это воистину замечательный факт, который подчеркивает глубоко объективный и математичный характер понятия вычислимости. На первый взгляд, понятие вычислимости по Черчу не связано с вычислительными машинами. И тем не менее, оно имеет непосредственное отношение к практическим аспектам вычислений. В частности, мощный и гибкий язык программирования LISP включает в себя как существенный элемент основные структуры исчисления Черча.