1. Полную модель себя содержать в себе можно. Фон Неймановская работа о самовоспроизводящихся автоматах: он привёл конструктивный пример такой программы, которая воспроизводит себя. 2. Вычислимость функции ближе к нашей теме о свободе выбора и об интеллекте. Да, функция, определяющая вычислимость другой функции, сама невычислима. Ибо сама может зациклиться навечно.
Но между теорией вычислимости и человеком есть одно существенное отличие. Теория оперирует абстрактными машинами, способными работать бесконечно и с бесконечной памятью. Человек - ограничен. Как в объёме информации, так и во времени (он смертен, в конце-концов). И как объект ограниченный, он разумеется вычислим.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2013-03-15 07:28 pm (UTC)2. Вычислимость функции ближе к нашей теме о свободе выбора и об интеллекте. Да, функция, определяющая вычислимость другой функции, сама невычислима. Ибо сама может зациклиться навечно.
Но между теорией вычислимости и человеком есть одно существенное отличие. Теория оперирует абстрактными машинами, способными работать бесконечно и с бесконечной памятью. Человек - ограничен. Как в объёме информации, так и во времени (он смертен, в конце-концов). И как объект ограниченный, он разумеется вычислим.