Удовольствие от Х.Увлекательная экскурсия в мир математики от одного из лучших преподавателей в мир

Мораль наших рассуждений такова: нужно быть осторожными с условно сходящимися рядами. У них сходимость все же недостаточно хорошая. Чтобы бесконечный ряд во всех отношениях вел себя как конечная сумма, он должен быть более жестко ограничен, чего не может обеспечить условная сходимость. Требование абсолютной сходимости приводит к тому, что мы интуитивно ожидаем как для исходного ряда, так и для связанного с ним ряда Фурье.

30. Отель Гильберта

148. Более подробную информацию о Канторе, в том числе о математических, философских и богословских спорах, связанных с его работой, см. J. W. Dauben, Georg Cantor (Princeton University Press, 1990).

Прим. ред.: О Георге Канторе и его научном наследии см. Катасонов В. Н. Боровшийся с бесконечным: философско-религиозные аспекты генезиса теории множеств Г. Кантора. М. : Мартис, 1999; Пуркет В., Ильгаудс Х. И. Георг Кантор / Пер. с нем. Н. М. Флайшера. Харьков : Основа, 1991.

149. Если вы еще не читали, рекомендую прочесть удивительный бестселлер «Логикомикс», потрясающе творческий и «графический» роман о теории множеств, логике, бесконечности, безумии и стремлении к математической истине: A. Doxiadis and С. Н. Papadimitriou, Logicomix (Bloomsbury, 2009). Главный герой — Бертран Рассел, но появление Кантора, Гильберта, Пуанкаре и многих других незабываемо.

150. Классическая биография Давида Гильберта — трогательный и неакадемичный рассказ о его жизни, работе и эпохе, см. C. Reid, Hilbert (Springer, 1996). Вклад Гильберта в математику слишком велик, чтобы перечислять здесь все достижения, но, вероятно, величайшее из них — это коллекция из двадцати трех тогда еще не решенных задач, которые, по мнению ученого, могли бы сформировать ход развития математики в ХХ веке. Продолжение истории о значимости задач, предложенных Гильбертом, и людях, которые решили кое-какие из них, см. B. H. Yandell, The Honors Class (A K Peters, 2002). Некоторые из этих проблем до сих пор остаются неразрешенными.

Прим. ред.: Русский перевод первого издания: Констанс Рид. Гильберт. М. : Наука, 1977.

Прим. ред.: О творчестве Гильберта см.: Вейль Г. Давид Гильберт и его математическое творчество. // Математическое мышление. М. : Наука, 1989. По проблемам Гильберта см.: Проблемы Гильберта. Сборник под ред. П. С. Александрова. М. : Наука, 1969.

151. Притча Гильберта о бесконечном отеле приведена в незабываемом шедевре George Gamow’s One Two Three ...

Infinity (Dover, 1988), р. 17. Гамов также хорошо объясняет понятия исчислимых и неисчислимых множеств и связанные с ними идеи о бесконечности.

Авторы математической беллетристики часто раскрывали комедийные и драматические стороны отеля Гильберта. Например, см. S. Lem, The extraordinary hotel or the thousand and first journey of Ion the Quiet, (Wiley, 1999) и I. Stewart, Professor Stewart’s Cabinet of Mathematical Curiosities (Basic Books, 2009). Детская книга на эту же тему: I. Ekeland, The Cat in Numberland (Cricket Books, 2006).

152. При доказательстве неисчислимости вещественных чисел я прибегнул к крошечной хитрости, когда потребовал заменить диагональные цифры на цифры от 1 до 8. В этом не было необходимости. Но я хотел избежать использования цифр от 0 до 9, чтобы обойти некую неопределенность, вызванную тем, что у некоторых действительных чисел есть два десятичных представления. Например, 0,200000... равно 0,199999... Таким образом, если бы мы не исключили использование 0 и 9 при замене цифры, этот придуманный диагональный аргумент мог бы невольно подготовить ряд, который уже есть в списке (и это разрушило бы наше доказательство). Но при выполнении моего запрета на цифры от 0 до 9 такого казуса не произойдет.

153. Чтобы ознакомиться с более строгой математически, но все же довольно понятной дискуссией о бесконечности (и многих других идеях, обсуждаемых в этой книге), см. J. C. Stillwell, Yearning for the Impossible (A K Peters, 2006). Читатели, которые захотят получить более глубокие знания о бесконечности, вероятно, с удовольствием посетят блог Терри Тао о самоопределяющихся объектах, см. http://terrytao.wordpress.com/2009/11/05/the-no-self-defeating-object-argument/.