Монах и его задача{3}: взгляд с обеих сторон
Однажды ранним утром, на самом восходе солнца, старый буддийский монах начал подниматься по крутому и извилистому горному склону к монастырю, стоявшему на вершине. Монах взбирался по узкой, извивающейся тропе – единственному пути в монастырь. Подъем был поистине изнурительным.
Он шел то быстрее, то медленнее, время от времени останавливаясь передохнуть, бормоча мантры, а иногда задерживаясь, чтобы немного поесть или попить воды. До монастыря на вершине он добрался в тот самый момент, когда солнце начинало садиться. Старый монах провел в монастыре несколько дней, уча молодых монахов о сострадании, о Четырех благородных истинах, о шуньяте (пустотности), об иллюзорности самосознания, о сансаре и страдании, о карме и спокойствии, о Благородном восьмеричном пути, об учении Нагарджуны и о желании избавиться от желаний.
Когда же монах закончил свои поучения, пришло время спуститься с горы и вернуться в свою деревню. Он начал спускаться в то же время, когда начинал подниматься – с появлением первых солнечных лучей, – и шел в точности по тому же пути, что и раньше. Спускался старый монах, разумеется, гораздо быстрее, чем поднимался. Когда он дошел до конца спуска, ему в голову пришло, что на тропе, несомненно, есть такая точка, которую он проходил на подъеме и на спуске в точности в одно и то же время суток.
Как монах пришел к этому выводу? Если вы еще не нашли ответа на этот вопрос за десять секунд размышлений, вот вам вполне очевидная подсказка:
Пусть два монаха отправляются в путь на рассвете, причем один из них поднимается от подножия горы, а второй спускается с ее вершины. В какой-то точке они неизбежно встретятся.
Математика тенниса: бесконечность – это сколько?
В 1953 г. английский математик Джон И. Литлвуд (1885–1977) предложил следующий парадокс, известный теперь под названием «парадокс Росса – Литлвуда».
Перед входом в огромную пустую комнату выложен бесконечный ряд теннисных мячей, пронумерованных по порядку: 1, 2, 3, 4… Близится полночь. За тридцать секунд до 0:00 в комнату вносят мячи 1 и 2 и мяч номер 1 немедленно выносят из нее. За пятнадцать секунд (четверть минуты) до 0:00 в комнату вносят мячи 3 и 4, а мяч номер 2 выносят. За одну восьмую минуты до 0:00 в комнату вносят мячи 5 и 6, а мяч номер 3 выносят – и так далее. На языке математики мы бы сказали, что за (½)n минуты до 0:00 в комнату вносят мячи 2n – 1 и 2n, а мяч номер n из нее выносят.
Спрашивается, сколько мячей будет в комнате ровно в 0:00?
Те, кто пытается ответить на этот вопрос, замечают, что возможных ответов существует два, и у обоих почти что поровну сторонников: бесконечно много или ни одного. Как такое может быть? Рассмотрим логические обоснования обоих ответов.
Бесконечно много. В конце процесса в комнате будет бесконечно много мячей, потому что на каждом из бесконечного количества этапов в ней прибавляется по одному мячу (два заносят в комнату, но один из нее выносят). Математики формулируют это утверждение так: для любого n можно точно определить момент, в который число мячей равно n + 1. Следовательно, в 0:00 в комнате окажется бесконечно много мячей.
Ни одного. В 0:00 в комнате не будет ни одного мяча, потому что для любого мяча можно точно указать момент, в который его выносят из комнаты. Мяч номер 1 выносят, когда часы показывают полминуты до полуночи, мяч номер 2 – за четверть минуты до полуночи и так далее. Говоря математическим языком, n-й мяч выносят из комнаты в точности за ½ в n-й степени минуты до полуночи.
Если бы на эту тему проводился опрос, за какой ответ проголосовали бы вы?
Здесь важно понимать – хотя согласиться с этой мыслью может быть немного трудно, – что количество моментов, остающихся до полуночи, бесконечно, потому что оставшийся промежуток всегда можно разделить на два.
Я бы сказал, что правильный ответ – «бесконечно много», и даже рискнул бы утверждать, что те, кто выбирает второй ответ, вероятно, не могут отрешиться от схемы конечных рассуждений. Их стремление узнать, сколько мячей окажется в комнате «в конце» процесса, похоже на стремление узнать, какие числа находятся «в конце» последовательности натуральных чисел, то есть «в конце» ряда 1, 2, 3, 4, 5, 6, 7, 8, 9, …, 12 367, 12 368…
Все мы знаем и понимаем, что множество натуральных чисел бесконечно, и никто на свете не может сказать, какие числа находятся «в конце» их ряда, просто потому, что у этого ряда нет никакого конца.
3
Впервые я увидел эту задачу о восхождении монаха в книге Мартина Гарднера «Мои лучшие математические и логические головоломки» (My Best Mathematical and Logical Puzzles, 1994). Это чрезвычайно увлекательная маленькая книжка.