— Ну вот, теперь ты делаешь непрошеные допущения.
— Не слушай его, Лоуренс! — сказал Руди. — Сейчас он заявит, что наш мозг — машина Тьюринга.
— Спасибо, Руди, — спокойно ответил Алан. — Лоуренс, я утверждаю, что наш мозг — машина Тьюринга.
— Но ты доказал, что есть целый ряд формул, с которыми машина Тьюринга не справляется!
— И ты это доказал, Лоуренс.
— А тебе не кажется, что мы можем то, чего не может машина Тьюринга?
— Гёдель с тобой согласен, Лоуренс, — вставил Руди, — и Харди тоже.
— Приведите пример, — попросил Алан.
— Невычислимой функции, с которой человек справится, а машина Тьюринга — нет?
— Да. Только не надо сентиментальной чепухи про творчество. Уверен, Универсальная Машина Тьюринга способна демонстрировать поведение, которое мы воспримем как творческое.
— Ну, не знаю… Буду думать.
Позже, когда они ехали к Принстону, Лоуренс спросил:
— Как насчет снов?
— Вроде твоих ангелов в церкви?
— Примерно.
— Просто шум в нейронах, Лоуренс.
— А еще мне вчера ночью приснилось, что горел цеппелин.
Он вернулся в Айовский Государственный, подумывая перевестись на математический факультет, однако делать этого не стал. Все, с кем он советовался, говорили, что математика, как и ремонт органов, — дело замечательное, но надо подумать и о хлебе насущном. Лоуренс остался на инженерном и учился все хуже и хуже, пока в середине последнего курса деканат не порекомендовал ему заняться чем-нибудь полезным, скажем, ремонтом крыш. Лоуренс вылетел из колледжа в гостеприимные объятия ВМФ.
Ему дали тест на проверку умственных способностей. Первая задача по математике была такой: порт Смит на 100 миль выше по течению, чем порт Джонс. Скорость течения — 5 миль в час. Скорость лодки — 10 миль в час. За какое время лодка доберется из порта Смита в порт Джонс? За какое время она проделает обратный путь?
Лоуренс тут же понял, что задачка с подвохом. Нужно быть полным идиотом, чтобы предположить, будто течение увеличивает и уменьшает скорость лодки на 5 миль в час. Ясно, что 5 миль в час — всего лишь средняя скорость. Течение быстрее в середине реки, медленнее — у берегов; более сложные вариации следует ожидать на излучинах реки. По сути это вопрос гидродинамики, который решается с помощью хорошо известных дифференциальных уравнений. Лоуренс нырнул в задачку и быстро (или так ему казалось) исписал вычислениями десять листов. По ходу он осознал, что одна его посылка вместе с упрощенным уравнением Навье-Стокса приводит к очень занятной семейке частных дифференциальных уравнений. Он не успел очухаться, как доказал теорему. Если это не подтверждает его умственный уровень, то что тогда подтверждает?
Тут прозвенел звонок и собрали работы. Лоуренс сумел спасти черновик. Он отнес листок в казарму, перепечатал на машинке и отправил в Принстон одному из наиболее демократичных преподавателей математики, который тут же договорился о публикации в парижском журнале.
Лоуренс получил два свежих бесплатных оттиска несколько месяцев спустя, при раздаче почты на борту линкора «Невада». На корабле был оркестр, и Лоуренсу поручили играть в нем на глокеншпиле: тест показал, что ни на что более умное он не способен.
Почта прибыла как раз вовремя — еще чуть-чуть и было бы поздно. «Невада» вместе с некоторыми другими линкорами до сих пор базировалась в Калифорнии, но как раз сейчас они выдвигались на Гавайи, в какой-то Перл-Харбор, показать япошкам, кто главнее.
Лоуренс так и не понял, чего хочет в жизни; ясно, что служить ксилофонистом на военном корабле на Гавайях в мирное время — занятие далеко не худшее. |