Rino писал(а):
На любую Вашу хитрость, можно ответить другой хитростью, которая будет вшита в программу, называемую архиватором.
Возьмем все возможные файлы длиной в 1 kb. Их может быть всего конечное число, обозначим его

. Пусть
venco дает Вам последовательно по одному все файлы

длиной в 1 kb и предположим, что на каждый файл Вы выдумываете хитрый архиватор

, который сжимает файл хотя бы на 1 b. Каждый Ваш архиватор

- это программа, закодированный алгоритм

. Обозначим содержимое входного файла

. Тогда существует следующая программа-архиватор

:
Код:
for(j=0;j<m;j++){
if(f==f_j){
A_j;
}
}
Очевидно, что программа

сжимает любой файл размером в 1 kb в файл меньшего размера. Однако файлов меньшего размера меньше, чем файлов в 1kb. Значит существуют различные файлы

, которые

будет сжимать в одинаковые файлы. Значит

не существует. Противоречие. Значит, Ваше предположение
Rino писал(а):
На любую Вашу хитрость, можно ответить другой хитростью, которая будет вшита в программу, называемую архиватором.
неверно.
(Оффтоп)
новый вид ферманьяков