| Re: Интегралы Мак-Шейна |
Feb. 10th, 2008|11:06 pm |
>Ваше описание внутренне противоречиво
Не потрудитесь ли указать на противеричие? Помимо
всего прочего, желательно указать номер пункта в списке ниже.
Дабы прояснить свою позицию, повторяю аргумент ещё один раз:
(0) Фиксируем натуральное число n.
(1) Рассмотрим все программы длины не больше n.
Таких программ конечное число.
(2) Из этих программ оставим только те, которые завершают
свою работу и выводят натуральное число.
Таких программ конечное число, и, следовательно,
чисел которые они выводят, тоже конечное число.
(3) В силу конечности последнего множества его
дополнение в натуральных числах не пусто,
стало быть в нём есть минимальное число, которое
и будет искомым.
(4) Теперь n берётся таким, чтобы запись программы
из n символов требовала материи больше, чем есть во вселенной.
Получаем натуральное число, которое не имеет
материального представления, и, следовательно,
не является конструктивным объектом (если последние
определять как имеющие такое представление).
|
|