"Точно так же будем действовать и дальше, каждый раз обращая внимание лишь на n-ю цифру числа, получившего n-й номер. В результате мы выпишем некоторое число, например, N=0,1121211. . . [там же].
Но мы уже можем заметить, что такое число не получается. А получится число 0,22222, в котором цифра 1 появится очень и очень не скоро. И эта цифра, единица также будет тиражироваться многократно. В конечном счете, формируемое число примет вид:
Кстати, можно догадаться по алгоритму, что число будет в основном состоять из двоек, поскольку из 10 цифр единица, которую помечаем двойкой, только одна.
"Ясно, что это число не получило никакого номера: в первом десятичном знаке оно отличается от числа с номером 1, во втором от числа с номером 2, . . ., в n-м от числа с номером n и т. д." [3, с.73-74].
Верно это только отчасти, поскольку в целом неверно. Указанные совпадения, действительно, на первом участке отрезка отсутствуют. Однако это найденное число совпадает в первом знаке с бесконечным множеством чисел, соответствующих другой точке отрезка [0.2, 0.3]. Первым и вторым знаками оно соответствует множеству чисел следующих точек этого отрезка. Первым, вторым и третьим следующему множеству точек отрезка. И так далее до бесконечности! Проще говоря, "найденное" число будет находиться правее числа 0,222 и бесконечно близко к нему, никогда не достигая числа 0,223.
"Чтобы читателю стало яснее, как выписывается число, не получившее номера, предположим, что при выбранной нумерации первые пять чисел имеют следующий вид:
4,27364
1,31226
7,95471
0,62419
8,56280 " [там же].
Здесь очевидна небольшая неточность, поскольку автором, судя по всему, выбран интервал [0, 1], а на этом интервале таких чисел при выбранной нумерации не будет никогда. Однако эту неточность оставим без критики, просто заменив в них цифру перед запятой на ноль, поскольку пояснение вполне верно описывает принцип формирования искомого числа.
"Тогда число, не получившее номера, будет начинаться со следующих десятичных знаков: 0,12121 . . . Разумеется, не только это, но и многие другие числа не получили номеров (мы могли бы заменять все цифры, кроме 2, на 2, а цифру 2 на 7 или выбрать еще какое-нибудь правило). Но нам достаточно существования одного-единственного числа, не получившего номера, чтобы опровергнуть гипотезу о возможности нумерации всех действительных чисел" [3, с.73-74].
Еще раз отметим, что доказательство на самом деле рассматривает бесконечно малую часть всех действительных чисел на интервале [0, 1]. Предложенный способ просмотра чисел некорректен. При таком способе всепросматриваемые действительные числа на этом интервале будут сгруппированы возле нулевой точки. И ожидаемого числа 0,12121, приведенного в качестве примера, получено не будет никогда. А будет образовано указанное выше число N из бесконечного количества двоек.
Следовательно, в этом отношении доказательство не может достичь успеха, поскольку полученное число точно имеется на близлежащем интервале. Действительно, на интервале, например, от 0,222 до 0,223 присутствуют все возможные комбинации знаков после запятой, в том числе и знаков указанного числа N.
Конечно, в доказательстве явно не указана последовательность номеров чисел. Но под "нам удалось" тоже явно никто не указан. Эти самые "нам" могли перенумеровать числа интервала подряд: сначала все возле нуля, затем они дошли до 0,1 и так далее.
В рассмотренном выше примере с перестановкой запятой (2) такие пропущенные числа очевидны, например, в нем отсутствуют числа 1,111 и 2,222. Однако и традиционный метод нахождения пропущенного числа изначально содержит логическую ошибку, противоречие. Подбор такого числа дает результат, который изначальнообязательно должен был быть подсчитанным, пронумерованным натуральным числом. Покажем эту очевидную логическую ошибку такого нахождения отсутствующего числа в более явном виде.
Предположим, что в процессе поиска получено новое число, скажем, 0,7182814159.... Однако это число не является новым, отсутствующим в пронумерованном множестве. Это странным образом не замеченное очевидное обстоятельство. Очевидно, что последовательности цифр после запятой всех действительных чисел являются полными, исчерпывающими, содержащими все без исключения их возможные комбинации. То есть, любая наперед заданная комбинация цифр, в том числе и у этого "найденного", обязательно присутствует в бесконечном множестве действительных чисел. Более того, любое число с конечным числом знаков как фрагмент, шаблон присутствует в этом ряду бесконечное число раз. Действительно, "найденных" чисел вида 0,718nnn бесконечное множество, как и чисел 0,7182814nnn, где n любая цифра, поэтому среди них обязательно имеется и "найденное". Следовательно, любое найденное подобным образом число, обязательно имеется среди подсчитанных, то есть, оно пронумеровано, как и любое другое из множества действительных чисел, что означает счетность всех действительных чисел.