Лоуренс едва не наехал на разбитую бутылку и решил дальше идти пешком, чтобы поберечь шины. Он положил велосипед передним колесом на алюминиевую вазу, словно выточенную на токарном станке, - из нее свешивалось несколько обугленных роз. Трое матросов сцепили руки наподобие трона и несли человекоподобный кусок угля в чистейшем асбестовом одеянии. Их ботинки задевали разветвленную сеть канатов, тросов и проволоки, вызывая движение травы и песка в десятках ярдов впереди, справа, сбоку. Лоуренс начал очень осторожно переставлять ноги - сначала одну, потом другую, - стараясь проникнуться величием того, что видит. Из песка торчало нечто вроде ракеты, увенчанное зонтиком гнутых пропеллеров. Дюралевые стойки и трапы разлетелись на мили. На земле валялся раскрытый чемодан, и в нем, как в витрине провинциальной лавки, пара дамских туфель; рядом меню, обугленное в овал, дальше - покореженные стенные панели, как будто с неба рухнула целая комната. На одной стене была огромная карта мира, где от Берлина разбегались круги к далеким и близким городам, на другой, фотографической, знаменитый толстый немец улыбался среди цветов на фоне новехонького цеппелина.
Через некоторое время Лоуренс перестал видеть что-нибудь новое, сел на велосипед и поехал к Сосновой пустоши, но заблудился в темноте и добрался до сторожевой башни уже после рассвета. Впрочем, он ничуть не горевал, что сбился с дороги, потому что думал про машину Тьюринга. В конце концов он все-таки добрался до озера, где стояла палатка. Спокойная гладь алела в лучах рассвета, как лужа крови. Алан Матисон Тьюринг и Рудольф фон Хакльгебер спали на берегу, сложившись, как ложки, еще немного грязные после ночного купания. Пока Лоуренс разводил костерок и готовил чай, они проснулись.
- Решил задачку? - спросил Алан.
- Ты можешь превратить свою Универсальную Машину Тьюринга в любую машину, меняя регистровки.
- Что меняя?
- Прости, Алан. Я думаю о твоей УМТ как о своего рода органе.
- А.
- После этого машина может выполнять любые вычисления, какие тебе угодно, лишь бы лента была достаточно длинной. Но, черт возьми, Алан, сделать такую длинную ленту, на которой можно было бы писать и стирать, - жуткая морока. Машина Атанасова работала только до определенного размера, и тебе придется...
- Речь о другом, - мягко сказал Алан.
- Ладно, хорошо. Если у тебя есть такая машина, то каждую конкретную комбинацию регистров можно обозначить числом - цепочкой символов. А лента, которую ты в нее запускаешь, чтобы начать вычисление, - другая цепочка символов. Так что это снова Гёделево доказательство: если любую возможную комбинацию регистров и данных на ленте можно представить в виде цепочки чисел, значит, ты можешь поместить все возможные цепочки в большую таблицу, применить к ней Канторов диагональный процесс, и ответ: да, должны быть некоторые числа, которые нельзя пересчитать.
- 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
Через некоторое время Лоуренс перестал видеть что-нибудь новое, сел на велосипед и поехал к Сосновой пустоши, но заблудился в темноте и добрался до сторожевой башни уже после рассвета. Впрочем, он ничуть не горевал, что сбился с дороги, потому что думал про машину Тьюринга. В конце концов он все-таки добрался до озера, где стояла палатка. Спокойная гладь алела в лучах рассвета, как лужа крови. Алан Матисон Тьюринг и Рудольф фон Хакльгебер спали на берегу, сложившись, как ложки, еще немного грязные после ночного купания. Пока Лоуренс разводил костерок и готовил чай, они проснулись.
- Решил задачку? - спросил Алан.
- Ты можешь превратить свою Универсальную Машину Тьюринга в любую машину, меняя регистровки.
- Что меняя?
- Прости, Алан. Я думаю о твоей УМТ как о своего рода органе.
- А.
- После этого машина может выполнять любые вычисления, какие тебе угодно, лишь бы лента была достаточно длинной. Но, черт возьми, Алан, сделать такую длинную ленту, на которой можно было бы писать и стирать, - жуткая морока. Машина Атанасова работала только до определенного размера, и тебе придется...
- Речь о другом, - мягко сказал Алан.
- Ладно, хорошо. Если у тебя есть такая машина, то каждую конкретную комбинацию регистров можно обозначить числом - цепочкой символов. А лента, которую ты в нее запускаешь, чтобы начать вычисление, - другая цепочка символов. Так что это снова Гёделево доказательство: если любую возможную комбинацию регистров и данных на ленте можно представить в виде цепочки чисел, значит, ты можешь поместить все возможные цепочки в большую таблицу, применить к ней Канторов диагональный процесс, и ответ: да, должны быть некоторые числа, которые нельзя пересчитать.
- 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