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

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

– Как?

– Ничего сложного, Лоуренс, простой шифр. Произвольный. Вместо уродливой сигмы напиши число пятьсот тридцать восемь и так далее.

– Очень близко к баловству.

– Нет, нет! Потому что Гёдель расставил ловушку. В формулу можно подставлять числа, да?

– Конечно. Как два икс.

– Да. Можно подставить на место икс любое число, и формула его удвоит. Но если математическую формулу вроде этой для вычисления числа пи можно закодировать числом, то ее можно подставить в другую формулу. Формулу в формулу!

– И это все?

– Нет. Потом он доказал, очень простым способом, что если формулы применимы к формулам, то можно написать некое выражение и сказать: «данное утверждение недоказуемо». Что страшно удивило Гильберта и других, ожидавших противоположного результата.

– Этого твоего Гильберта ты уже упоминал?

– Нет, Лоуренс, он появился в нашем разговоре только сейчас.

– Кто он?

– Человек, который задает трудные вопросы. У него их целый список. Гёдель ответил на один.

– А фон Тьюринг – на другой, – добавил Руди.