Re: Логико-религиозная задача
[Re: Spirit] #1869945541 07.03.03 18:41
"Садись, два!" :-) ИД, ну кто же так фантазирует по поводу ря дов. А Вы скажите Стасу - да, на каждом этапе n+1 происходит усложнение, но этот ряд при n стремящимся к бесконечности (!) сходится. Вот этот предел и есть бог.
На это он Вам ответит, что есть куча расходящихся рядов.
На самом деле я отвечу совсем другое: что этот предел является началом следующего ряда.
Для знакомых с теорией ординалов: я имею в виду ординалы $\omega+1$, $\omega+2$ и т.д.
Для знакомых с теорией множеств и понятием мощности: в данном случае предел - это мощность множества натуральных чисел. Обозначим ее через A_1, т.е. A_1= |N|. По известной теореме Кантора, мощность множества всех подмножеств строго больше мощности самого множества, то есть |A| < |P(A)|. Введем новое обозначение: A_2 = |P(A_1)|. Продолжая в том же духе, получаем новый строго возрастающий ряд A_1 < A_2 < A_3 < ..., где каждый последующий элемент строго больше всех предыдущих, и все они строго больше нашего несчастного A_1, который кто-то поторопился объявить абсолютом :D.