Криптономикон

– И ты это доказал, Лоуренс.

– А тебе не кажется, что мы можем то, чего не может машина Тьюринга?

– Гёдель с тобой согласен, Лоуренс, – вставил Руди, – и Харди тоже.

– Приведите пример, – попросил Алан.

– Невычислимой функции, с которой человек справится, а машина Тьюринга – нет?

– Да. Только не надо сентиментальной чепухи про творчество. Уверен, Универсальная Машина Тьюринга способна демонстрировать поведение, которое мы воспримем как творческое.

– Ну, не знаю… Буду думать.

Позже, когда они ехали к Принстону, Лоуренс спросил:

– Как насчет снов?

– Вроде твоих ангелов в церкви?

– Примерно.

– Просто шум в нейронах, Лоуренс.

– А еще мне вчера ночью приснилось, что горел цеппелин.[7]

Вскоре защитившись и уехав в Англию, Алан прислал Лоуренсу пару писем. В последнем он сообщал просто, что больше не сможет писать «о серьезном», и просил не принимать это на свой счет. Лоуренс сразу догадался, что сообщество, к которому принадлежит Алан, приставило его к полезному делу – скорее всего вычислять, как бы их не съели заживо соседи. Интересно, какое применение найдет Америка ему?

Он вернулся в Айовский Государственный, подумывая перевестись на математический факультет, однако делать этого не стал. Все, с кем он советовался, говорили, что математика, как и ремонт органов, – дело замечательное, но надо подумать и о хлебе насущном. Лоуренс остался на инженерном и учился все хуже и хуже, пока в середине последнего курса деканат не порекомендовал ему заняться чем‑нибудь полезным, скажем, ремонтом крыш. Лоуренс вылетел из колледжа в гостеприимные объятия ВМФ.

Ему дали тест на проверку умственных способностей. Первая задача по математике была такой: порт Смит на 100 миль выше по течению, чем порт Джонс. Скорость течения – 5 миль в час. Скорость лодки – 10 миль в час. За какое время лодка доберется из порта Смита в порт Джонс? За какое время она проделает обратный путь?

Лоуренс тут же понял, что задачка с подвохом. Нужно быть полным идиотом, чтобы предположить, будто течение увеличивает и уменьшает скорость лодки на 5 миль в час. Ясно, что 5 миль в час – всего лишь средняя скорость. Течение быстрее в середине реки, медленнее – у берегов; более сложные вариации следует ожидать на излучинах реки. По сути это вопрос гидродинамики, который решается с помощью хорошо известных дифференциальных уравнений. Лоуренс нырнул в задачку и быстро (или так ему казалось) исписал вычислениями десять листов. По ходу он осознал, что одна его посылка вместе с упрощенным уравнением Навье‑Стокса приводит к очень занятной семейке частных дифференциальных уравнений. Он не успел очухаться, как доказал теорему. Если это не подтверждает его умственный уровень, то что тогда подтверждает?