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