"Нил Стивенсон. Криптономикон" - читать интересную книгу автора

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

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