Так что это снова Гёделево доказательство: если любую возможную
комбинацию регистров и данных на ленте можно представить в виде цепочки
чисел, значит, ты можешь поместить все возможные цепочки в большую табли
цу, применить к ней Канторов диагональный процесс, и ответ: да, должны быть
некоторые числа, которые нельзя пересчитать.
Ч A Entscheidungsproblem? Ч напомнил Руди
.
Ч Доказать или опровергнуть формулу Ч пос
ле того, как ты зашифровал ее числом Ч значит просто рассчитать это числ
о. Значит, ответ Ч нет! Некоторые формулы нельзя доказать или опровергну
ть механическим процессом! Выходит, не так уж плохо быть человеком!
До этих слов Алан казался довольным, потом его лицо вытянулось.
Ч Ну вот, теперь ты делаешь непрошеные допущения.
Ч Не слушай его, Лоуренс! Ч сказал Руди. Ч Сейчас он заявит, что наш мозг
Ч машина Тьюринга.
Ч Спасибо, Руди, Ч спокойно ответил Алан. Ч Лоуренс, я утверждаю, что наш
мозг Ч машина Тьюринга.
Ч Но ты доказал, что есть целый ряд формул, с которыми машина Тьюринга не
справляется!
Ч И ты это доказал, Лоуренс.
Ч А тебе не кажется, что мы можем то, чего не может машина Тьюринга?
Ч Гёдель с тобой согласен, Лоуренс, Ч вставил Руди, Ч и Харди тоже.
Ч Приведите пример, Ч попросил Алан.
Ч Невычислимой функции, с которой человек справится, а машина Тьюринга
Ч нет?
Ч Да. Только не надо сентиментальной чепухи про творчество. Уверен, Унив
ерсальная Машина Тьюринга способна демонстрировать поведение, которое
мы воспримем как творческое.
Ч Ну, не знаю... Буду думать.
Позже, когда они ехали к Принстону, Лоуренс спросил:
Ч Как насчет снов?
Ч Вроде твоих ангелов в церкви?
Ч Примерно.
Ч Просто шум в нейронах, Лоуренс.
Ч А еще мне вчера ночью приснилось, что горел цеппелин*. [Лоуренс стал сви
детелем гибели «Гинденбурга». Этот цеппелин длиной 245 метров, символ вели
чия фашистской Германии, совершал регулярные рейсы между Германией и Со
единенными Штатами. 6 мая 1937 года при посадке в Нью-Джерси он загорелся. Пог
ибли 36 человек.]

Вскоре защитившись и уехав в Англию, Алан прислал Лоуренсу пару писем. В п
оследнем он сообщал просто, что больше не сможет писать «о серьезном», и п
росил не принимать это на свой счет. Лоуренс сразу догадался, что сообщес
тво, к которому принадлежит Алан, приставило его к полезному делу Ч скор
ее всего вычислять, как бы их не съели заживо соседи. Интересно, какое прим
енение найдет Америка ему?
Он вернулся в Айовский Государственный, подумывая перевестись на матем
атический факультет, однако делать этого не стал. Все, с кем он советовалс
я, говорили, что математика, как и ремонт органов, Ч дело замечательное, н
о надо подумать и о хлебе насущном. Лоуренс остался на инженерном и училс
я все хуже и хуже, пока в середине последнего курса деканат не порекоменд
овал ему заняться чем-нибудь полезным, скажем, ремонтом крыш. Лоуренс выл
етел из колледжа в гостеприимные объятия ВМФ.
Ему дали тест на проверку умственных способностей. Первая задача по мате
матике была такой: порт Смит на 100 миль выше по течению, чем порт Джонс. Скор
ость течения Ч 5 миль в час. Скорость лодки Ч 10 миль в час. За какое время ло
дка доберется из порта Смита в порт Джонс? За какое время она проделает об
ратный путь?
Лоуренс тут же понял, что задачка с подвохом. Нужно быть полным идиотом, чт
обы предположить, будто течение увеличивает и уменьшает скорость лодки
на 5 миль в час. Ясно, что 5 миль в час Ч всего лишь средняя скор
ость. Течение быстрее в середине реки, медленнее Ч у берегов; более сложн
ые вариации следует ожидать на излучинах реки. По сути это вопрос гидрод
инамики, который решается с помощью хорошо известных дифференциальных
уравнений. Лоуренс нырнул в задачку и быстро (или так ему казалось) исписа
л вычислениями десять листов. По ходу он осознал, что одна его посылка вме
сте с упрощенным уравнением Навье-Стокса приводит к очень занятной семе
йке частных дифференциальных уравнений. Он не успел очухаться, как доказ
ал теорему. Если это не подтверждает его умственный уровень, то что тогда
подтверждает?
Тут прозвенел звонок и собрали работы. Лоуренс сумел спасти черновик. Он
отнес листок в казарму, перепечатал на машинке и отправил в Принстон одн
ому из наиболее демократичных преподавателей математики, который тут ж
е договорился о публикации в парижском журнале.
Лоуренс получил два свежих бесплатных оттиска несколько месяцев спуст
я, при раздаче почты на борту линкора «Невада». На корабле был оркестр, и Л
оуренсу поручили играть в нем на глокеншпиле: тест показал, что ни на что б
олее умное он не способен.
Почта прибыла как раз вовремя Ч еще чуть-чуть и было бы поздно. «Невада» в
месте с некоторыми другими линкорами до сих пор базировалась в Калифорн
ии, но как раз сейчас они выдвигались на Гавайи, в какой-то Перл-Харбор, пок
азать япошкам, кто главнее.
Лоуренс так и не понял, чего хочет в жизни; ясно, что служить ксилофонистом
на военном корабле на Гавайях в мирное время Ч занятие далеко не худшее.
Самое трудное было иногда сидеть или маршировать на страшной жаре да пор
ой сносить фальшивые ноты товарищей. Оставалась куча свободного времен
и, которое Лоуренс тратил на разработку новых теорем в области теории ин
формации. Они с Аланом и Руди набросали общий план того, что надо доказать
или опровергнуть. Он часто думал, что делают Алан и Руди в Англии и Германи
и, но написать им не мог, поэтому работал сам по себе. Когда он не играл на гл
океншпиле и не доказывал теоремы, появлялись бары и танцы.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168