Прошло несколько недель, и однажды в воскресенье Данциг услышал звонок в дверь. Перед ним стоял взволнованный Нейман, державший в руках исписанные листы. «Быстро прочитай все, что здесь написано, — я намерен сегодня же передать это для публикации». Нейман держал в руках домашнюю работу Данцига, изложенную в виде статьи и дополненную предисловием самого Неймана. Данциг ошибочно принял за домашнее задание две важные статистические гипотезы, которые никому до этого не удавалось доказать. Он не знал об этом и доказал их, посчитав гипотезы всего лишь непростыми задачами.
Все заканчивается на «АС»
Гениального венгерско-американского ученого Джона фон Неймана (1903–1957), который, помимо прочего, считается изобретателем компьютеров, друзья называли просто Джонни. Основной принцип так называемой архитектуры фон Неймана, описывающей устройство компьютера, заключается в том, что данные и команды хранятся в общей памяти, доступной центральному процессору. В годы жизни фон Неймана появился знаменитый компьютер ENIAC (сокращение от Electronic Numerical Integrator and Computer — «электронный числовой интегратор и вычислитель») — колоссальное соединение тысяч диодов, контактов, проводов и реле, весившее почти 30 тонн и способное извлекать 33 квадратных корней в секунду с точностью до 10 знаков — немыслимая скорость в то время. После программирования и запуска ENIAC работал без вмешательства человека. Так родился предшественник компьютера HAL из фильма «Космическая одиссея 2001 года».
Джон фон Нейман, который был заядлым шутником и рассказывал забавные истории на трех языках, построил свою версию ENIAC и назвал ее Mathematical Analyzer, Numerical Integrator, And Computer («математический анализатор, числовой интегратор и вычислитель») — сокращенно MANIAC. Корпорацией RAND был создан JOHN von Neumann Numerical Integrator And Automatic Computer («числовой интегратор и автоматический вычислитель Джона фон Неймана») — сокращенно JOHNNIAC. На протяжении 13 лет, с 1933 по 1966 год, JOHNNIAC работал без передышки. В его конструкцию вносились новые и новые улучшения, и он становился все эффективнее. Эта модель намного уступала в мощности простому современному ПК, но не забывайте — на дворе стоял 1953 год!
Фотография компьютера JOHNNIAC, который в настоящее время хранится в Музее компьютерной истории в Калифорнии.
Теорема, доказанная дважды
Известный математик Пол Ричард Халмош (1916–2006) когда-то был скромным ассистентом фон Неймана — опытного исследователя и даже гения. Как Халмош рассказывал в автобиографии под названием «Хочу быть математиком» («I Want to Be a Mathematician»), в 1941 году он вместе с фон Нейманом начал работу над проектом, имевшим отношение к теории мер и теории вероятностей. Они дошли до очень серьезного этапа рассуждений, когда фон Нейман рассмотрел создание сложного вырожденного множества, при работе с которым часто приходилось прибегать к континуум-гипотезе посредством, как выражался Халмош, «неявной двойной трансфинитной индукции». Как видите, доказательство итоговой теоремы было запутанным и непростым даже для фон Неймана. Халмош пробирался сквозь математические дебри… и при этом не делал никаких заметок. Фон Нейман обратил на это внимание и предупредил помощника, но Халмош считал, что все понимает и так, поэтому не придал словам шефа особого внимания.
Настал момент записать теорему на бумаге, и тут Халмош с ужасом понял, что не может вспомнить все шаги доказательства. Что же делать? Вспомнить доказательство целиком решительно невозможно, а следующая встреча с фон Нейманом состоялась лишь спустя несколько дней.
Униженно улыбаясь, Халмош объяснил гениальному ученому, что произошло, и удостоился редкой чести наблюдать Джонни в гневе — фон Нейман никогда не выходил из себя. Ученый принялся за доказательство во второй раз, вновь преодолевая значительные трудности. К счастью, ему удалось повторить рассуждения и, потратив много времени, восстановить промежуточные действия и конечный результат, что стало настоящим подвигом даже для гения. В этот раз Халмош делал как можно более подробные записи.
Соль этого анекдота заключается в том, что Халмош стал соавтором статьи фон Неймана, озаглавленной Operator Methods in Classical Mechanics II («Операторные методы в классической механике II»). А несостоявшаяся статья под номером I стала настоящей легендой в мире физики и математики.
Сочетания с повторениями
Поэт, прозаик и — иногда — математик Раймон Кено (1903–1976), который войдет в историю как автор романа «Зази в метро» (а также текста одной из песен Жюльетт Греко), однажды вторгся в область комбинаторного анализа. До него этот же путь проделал Моцарт, однако Кено применил комбинаторику в поэзии, что на первый взгляд кажется непростой задачей. В коротенькой книжечке «Сто тысяч миллиардов стихотворений», состоящей всего из десяти страниц, на каждой из которых напечатано по одному сонету, он описал способ, позволяющий создать новые сонеты — очень современные, со множеством скрытых смыслов — на основе нескольких заранее приготовленных строчек. Для этого достаточно было взять по одной полной строчке из каждого сонета, уже напечатанного в книге. Общее число сочетаний, таким образом, равнялось 1410 — более чем достаточно даже для самого плодовитого автора. Вооружившись калькулятором, нетрудно показать, что если мы будем составлять по одному стихотворению в минуту, то для того, чтобы записать их все, потребуется немногим меньше 200 миллионов лет.
Еще один способ применения комбинаторного анализа можно увидеть в прозе Артура Кларка, который был не только писателем, но и автором серьезных научных гипотез: в частности, он предложил разместить на орбите Земли искусственные геостационарные спутники, а также первым описал космический лифт. В рассказе «Девять миллиардов имен Бога» Кларк описывает компьютер, который печатает для монахов все возможные имена Бога, составляя их с помощью обычных перестановок. Монахи верят, что когда будут записаны все имена Бога, наступит конец света. Похоже, что это действительно так: пока компьютер закончит работу над задачей, мир успеет прекратить свое существование.
Взмахи крыльев бабочки
Чтобы понять, что такое эффект бабочки, сначала нужно объяснить, что такое хаос. В 1961 году метеоролог Эдвард Нортон Лоренц (1917–2008) построил динамическую систему, которую применил в качестве модели для прогнозирования погоды. Однажды (возможно, поленившись) он ввел в компьютер число 0,506 вместо 0,506127 и, к своему удивлению, обнаружил, что это небольшое отклонение входных данных приводило к значительным изменениям состояния динамической системы. Лоренц проверял полученный результат снова и снова и всякий раз получал столь же удивительные результаты. Так официально появилась на свет одна из самых изучаемых тем в теории хаоса.
Более подробные исследования помогли несколько упорядочить этот хаос. Выходные данные по-прежнему оставались хаотическими, однако, проследовав непредсказуемыми путями, они стремились к некоему итоговому множеству, словно испытывая к нему непреодолимое влечение.
Множество всех этих бесконечно больших итоговых значений называется аттрактором. Когда точка динамической системы движется беспорядочно, хаотически, ее «пунктом назначения» на бесконечности будет точка аттрактора. Хаотическая траектория в каждый момент времени является хаотической, однако на бесконечности, в пределе, который никогда не будет достигнут, она окончит свое существование в аттракторе.
Эта точка обладает, если можно так выразиться, неотразимой притягательностью. Лоренц первым проанализировал хаос метеорологических прогнозов и описал аттрактор — множество точек, по форме отдаленно напоминающее крылья бабочки. Разумеется, это множество является фрактальным, имеет размерность Хаусдорфа, равную 2,06 ± 0,01, и представляет собой настоящее геометрическое чудо.
Аттрактор Лоренца — трехмерное фрактальное множество, по форме напоминающее крылья бабочки.
Тот факт, что аттрактор напоминает крылья бабочки, пробудил воображение бесчисленного множества деятелей кино и литературы. Самым известным из них был, возможно, знаменитый писатель-фантаст Рэй Бредбери: в своем рассказе «И грянул гром» он описывает путешествие во времени, в ходе которого гибель одной доисторической бабочки приводит к значительным изменениям в современной политике — вместо либерального президента народ избирает ужасного диктатора-фашиста. Сложно найти более привлекательный образ: простой взмах крыльев бабочки в далеком прошлом способен определить настоящее, которое, как кажется, не имеет к этой бабочке никакого отношения. Динамические системы могут быть хаотическими, а небольшие предпосылки могут иметь огромные последствия. На небольших промежутках времени — ничто по сравнению с вечностью — предопределения не существует; хаос нависает грозной, бесконечно грозной тенью, которая не позволяет делать какие-либо прогнозы. На длительных промежутках времени наблюдается аттрактор, существующий необъяснимо далеко, в пределе, на границе бесконечности.