Цитата из экзамена (теория вычислений, 3й курс)

[kolokolca]

Вопрос по самокопирующимся программам (recursion theorem). Ответ:  "Programs cannot self-replicate.  If they did, they could verify whether the program is itself. "  (вируса третьекурсник никогда не видел, что ли? Объяснение такое философское...)