Читать книгу Криптономикон онлайн

35 страница из 157

– Не слушай его, Лоуренс! – сказал Руди. – Сейчас он заявит, что наш мозг – машина Тьюринга.

– Спасибо, Руди, – спокойно ответил Алан. – Лоуренс, я утверждаю, что наш мозг – машина Тьюринга.

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

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

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

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

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

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

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

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

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

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

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

– Примерно.

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

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

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