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

183

Притча Гильберта о бесконечном отеле приведена в незабываемом шедевре 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).

184

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

185

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

В очень доступной форме он представляет и освещает массу фундаментальных рассуждений о бесконечности, которые возникают в теории множеств, философии, физике, информатике, теории игр и логике. Для обзора основополагающих вопросов, вызванных этими идеями, см. также J. C. Stillwell, Roads to Infinity (A K Peters, 2010).