Продолжим.
В чем разница, между записью числа и самим числом ?
Запись
числа
сама по себе может являться числом, однако, утверждения о том, что число
является элементом множества, в которое входит число
является независимым утверждением. Я бы назвал его редукционным. Кроме того оно ведет к бесконечности множества
.
Проявляется ли эта разница при нумерации ?
Несомненно. В случае применения вышеприведенного редукционного приема нумерация представляет собой биективное отображение в себя бесконечного множества. Однако, существуют причины, которые могут этому помешать. Они, правда, не отменяют возможность нумерации в общем случае, она просто перстает быть биективным отображением в себя и становиться биективным отображением между двумя множествами, совокупность которых множеством не является (это независимое утверждение).
Вот например,
- две записи одного числа ?
Да. Это, кстати, может помешать нумерации. Если любым(некоторым) числам
соответствуют хотя бы две записи
, то утверждение о том, что эти записи являются числами из
может вести либо к невозможности нумерации, либо к тому, что
не является множеством, т.к. сами эти записи чисел могут быть совокупностью, множеством не являющейся.
Посмотрим на нумерацию двух последовательностей нулей и единиц:
Если последовательности различаются, следует ли из этого в общем случае неравенство
?
Ответ отрицательный. В общем случае нет.
У этого есть последствия, в частности для теоремы о несчетности действительных чисел на отрезке [0,1].
Диагональное Канторовское число является записью действительного числа, а не самим этим числом. Однако, т.к. в общем случае неравенство записей не означают неравенства чисел (контрпример:
), необходимо доказать, что ни одна из других (занумерованных) записей не определяет это же действительное число.
Вопрос преждевременный, но все же, причины неравенства
в общем случае делятся на два класса:
1) последовательности различаются по порядку следования элементов в них;
2) последовательности различаются по порядку в котором они сами следуют;
Следует ли из 1, 2 и из 2, 1 ?
- ложь,
- истина.
Есть еще одна интерпретация. Не категоричность несчетности ведет к тому, что Теорему о несчетности множества подмножеств можно считать доказательством невозможности отождествления числа и его записи в общем случае. Это же можно интерпретировать, как то, что совокупность множества и множества подмножеств, в общем случае, не образует множество.