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



Выдержка из книги Пенроуз Р.N. Новый ум короля


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

(cкачать страницу)

Смотреть книгу на libgen

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