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

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

– Это еще кто?

– Это я, – сказал Алан. – Только Руди шутит. В Тьюринге, вообще-то, нет приставки «фон».

– Сегодня ночью будет. – Руди как-то странно взглянул на Алана. Будь Лоуренс повзрослее, он бы определил этот взгляд как «страстный».

– Ладно, не томи. На какой вопрос Гильберта ты ответил?

– Entscheidungsproblem[6], – сказал Руди.

– То есть?

Алан объяснил:

– Гильберт хотел знать, можно ли в принципе доказать истинность или ложность любого высказывания.

– Но Гёдель все изменил, – произнес Руди.

– Верно. После Гёделя вопрос стал звучать так: «Можно ли определить, доказуемо или нет некое – любое – конкретное высказывание?» Другими словами, есть ли механический процесс, посредством которого мы в состоянии отсеять доказуемые утверждения от недоказуемых?

– «Механический процесс», Алан, это вообще-то метафора…

– Ладно тебе, Руди. Мы с Лоуренсом не боимся механики.

– Усек, – сказал Лоуренс.

– Что значит «усек»? – спросил Алан.

– Твоя машина – не для дзета-функций, а другая, о которой мы говорили…