— Ну, конечно, — отвечал Крейг. — Теперь, я думаю, ты легко сможешь понять идею этого принципа. Помнишь задачи, которые ты предлагал мне раньше? Ну, например, найти число X, которое порождает повторение самого себя. Иначе говоря, мы искали некое число X, которое порождает 5(X). Или, пытаясь найти некоторое число X, которое порождает свой собственный ассоциат, мы искали число X, порождающее число 3(X). Далее в свою очередь вспомним, что число X, порождающее обращение числа X, есть число, которое порождает 4(X). Вместе с тем все эти задачи представляют собой частные случаи одного общего принципа, который заключается в следующем: для любого операционного числа M должно существовать некое число X, которое порождает М(X). Другими словами, для любой заданной операции F, которую может выполнять твоя машина, — то есть для любой операции F, описываемой определенным операционным числом, — должно существовать число X, которое порождает F(X).
Более того, — продолжал Крейг, — если задано какое-то операционное число M, то существует очень простой способ найти такое X, которое порождает М(X). Зная этот общий способ, можно найти, например, число X, которое порождает 543(X), — то есть решить задачу нахождения числа X, порождающего повторение обращения ассоциата этого X; или найти такое X, которое порождает 354(X), — то есть решить задачу нахождения числа, порождающего ассоциат повторения своего собственного обращения. Или, как я уже упоминал, можно найти такое X, которое порождает повторение обращения двойного ассоциата X, — другими словами, найти X, порождающее 5433(X). Если не знаешь этого способа, то решать эти задачи оказывается крайне затруднительным, если же воспользоваться моим принципом — то это будут не задачи, а детские игрушки.
— Я — весь внимание, — сказал Мак-Каллох. — Но что же это за такой замечательный способ?
— Сейчас объясню, — ответил Крейг, — но сначала давай разберем поподробнее одно вполне элементарное обстоятельство, а именно: для любого операционного числа M и для любых чисел Y и Z, если число Y порождает число Z, то МY порождает M(Z). Например если Y порождает Z, то 3Y порождает 3(Z), то есть ассоциат Z; 4Y порождает 4(Z); 5Y порождает 5(Z); 34Y порождает 34(Z) и т. д. Точно так же для любого операционного числа M, если Y порождает Z, то МY порождает М(Z). В частности, если такое Y, порождающее Z, оказывается равным 2Z, тогда всегда справедливо утверждение, что M2Z порождает M(Z). Например, число 32Z порождает число 3(Z) — ассоциат Z; число 42Z порождает число 4