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



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


Как я отмечал ранее, существуют и другие способы определения понятия вычислимости. Несколько позже, но независимо от Тьюринга, Пост предложил во многом сходную концепцию вычислительной машины. Современные подходы к проблеме вычислимости ( такие как машина с неограниченным регистром, описанная Катлендом [ 198Q ]) в деталях значительно отличаются от разработанного Тьюрингом и более пригодны для практического использования. Однако понятие вычислимости во всех этих подходах остается неизменным.

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

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

Как я отмечал ранее,  существуют и другие способы определения понятия вычислимости.  Несколько позже,  но независимо от Тьюринга,  Пост предложил во многом сходную концепцию вычислительной машины.  Современные подходы к проблеме вычислимости ( такие как машина с неограниченным регистром,  описанная Катлендом [ 198Q ]) в деталях значительно отличаются от разработанного Тьюрингом и более пригодны для практического использования.  Однако понятие вычислимости во всех этих подходах остается неизменным.