– Ага. А теперь мне нужно поднять кластер «Beowulf» перед тем, как его отымеет пятничный апдейт шифрования PGP. И откалибровать пермутатор Таро, и провести контрольную проверку очередной гребаной карточной игры на случай, если укуренные художники из Техаса вдруг случайно произвели на свет узловой центр. Еще что-то?
– Думаю, нет, – говорит Энди, вставая. – Ну так что? Понравилась тебе прогулка на свежем воздухе?
– Мокро было, – отвечаю я, тоже поднимаясь и потягиваясь. – Но кроме этого – для разнообразия было здорово. Но я могу всерьез подать на сверхурочные, если это будет происходить слишком часто. И про лягушат была не шутка.
– Ну, тут не угадаешь. – Энди хлопает меня по плечу. – Ты вчера отлично поработал, Боб. И я понимаю, какие у тебя сложности с Хэрриет. Тут как раз есть место на учебный курс, начало на следующей неделе: и у нее из-под ног уберешься, и удовольствие получишь.
– Учебный курс? – Я пристально смотрю на него. – Чему учат? Администрировать Windows NT?
Энди качает головой:
– Вычислительная демонология для чайников.
– Но я ведь уже…
– Я и не ожидаю, что ты сам там чему-то новому научишься, Боб. Присматривать надо за другими участниками.
– Другими?
Он невесело улыбается:
– Ты же сам сказал, что хочешь перейти на действительную службу…
Мы не одиноки во Вселенной, истина где-то рядом и так далее и тому подобное. Такого сорта паранойя, раскрученная в поп-культуре, – это, как правило, чепуха… Но червячок правды прячется в сердцевине каждого художественного яблока, и пусть нет никаких пришельцев в холодильниках на военно-воздушной базе Розуэлл, в мире тем не менее хватает тайных агентов, которые залезут к тебе через окно и распотрошат винчестер, если ты вдруг докажешь неподходящую математическую теорему. (Или того хуже, но это уже проблема другого сорта, ими занимаются наши коллеги из полевого отдела.)
По большей части, Вселенная действительно устроена ровно так, как считают все гордые обладатели степени доктора наук. Молекулы состоят из атомов, которые, в свою очередь, состоят из электронов, нейтронов и протонов, и последние два состоят из кварков, а кварки состоят из лептокварков и так далее. Черепахи, черепахи, черепахи – и нет им конца, так сказать. И чтобы найти наибольший простой множитель, общий для двух достаточно длинных чисел, нужно либо потратить в несколько раз больше времени, чем проживет эта Вселенная, либо использовать квантовый компьютер (а это читерство). И на самом деле нет никаких записанных сигналов от другого вида разумной жизни на полках в Аресибо, и нет никаких летающих тарелок в Зоне 51 (если не считать сверхсекретных проектов ВВС США, но они не подходят, потому что все равно летают на авиатопливе).
Но этим дело не исчерпывается.
Я за свои познания пострадал, так что и вас не отпущу с простым односложным ответом. Думаю, вы заслуживаете подробного объяснения. Черт, да я уверен, что
Повторюсь, я за свои познания пострадал, и вот что мне удалось узнать. Я мог бы пораспинаться про Кроули и Ди и других мистиков минувших веков, но о них, как правило, и так знает любой маг-самоучка. Суть в том, что большая часть традиционной магии не работает. Более того, она бы вообще была не важна, если бы не теорема Тьюринга, названная в честь Алана Тьюринга, о котором вы точно слышали, если знаете хоть что-то о компьютерах.
Вы не слышали о теореме Тьюринга – по крайней мере, не знаете такого названия, – если вы не из наших. Тьюринг ее не опубликовал; более того, он чрезвычайно внезапно умер вскоре после того, как рассказал о ее существовании старому другу, товарищу по военному времени, которому – напрасно – очень доверял. Это была одновременно первая великая победа Прачечной и ее величайшее поражение: честно говоря, они тогда очень сильно погорячились и умудрились в итоге лишить себя одного из самых блестящих умов в истории.
Как бы там ни было, с тех пор эту теорему время от времени снова открывают – и вполне эффективно скрывают (пусть и без такого откровенного насилия), потому что никто не хочет, чтобы она всплыла и какой-нибудь Джо «Цыберпанк» Рандом размазал ее по всему интернету.
Эта теорема взламывает теорию дискретных данных и одновременно опровергает тезис Черча-Тьюринга (поднимите руку, если меня поняли), но хуже того – позволяет превращать NP-полные задачи в P-полные. Это вызывает ряд следствий, начиная с того, что большинство криптографических алгоритмов летят ко всем чертям (перевожу: «все ваши банковские счета принадлежат нам»), и заканчивая тем, что становится возможно в реальном времени генерировать геометрическую кривую Дхо-Нха.