Принцесса или тигр   ::   Смаллиан Рэймонд

Итак, А — это 7, а за М, очевидно, можно принять число 5 (поскольку 5 представляет собой операцию повторения); поэтому решением будет число 532753. (Читатель легко может убедиться сам, что число 532753 действительно порождает повторение числа 7532753.) Для задачи 22 в качестве А возьмем 9, а в качестве М примем 4, тогда решение — число 432943. Для задачи 23 в качестве А выберем 89, а в качестве М — число 3; решением будет 3328933.

25. Да, для любого числа А существует некое число X, которое порождает Х Г, а именно 432/443. (В данной конкретной задаче, для которой А = 67, имеем Г = 76, так что решением будет число 4327643.)

26. При рассмотрении наиболее общего случая самое главное — понять, что ХГ — это обращение ~АХ, и по этому М(ХА) = М4(АХ). Согласно второму принципу Крейга, числом X, порождающим М4(А~Х), является число М432ГМ43 — оно и будет решением дайной задачи. В частном случае, если вместо М взять 5, а вместо А — 67, числом X, порождающим повторение ~Х67, будет число 543276543 (в чем читатель может легко убедиться сам).



Законы Фергюссона



А сейчас мы перейдем к рассказу о еще более интересных событиях, связанных с машинами Мак-Каллоха. Недели две спустя Мак-Каллох получил от Крейга письмо следующего содержания:



Мой дорогой Мак-Каллох!

Я и мой друг Малькольм Фергюссон крайне заинтересовались твоими цифровыми машинами. Кстати, ты случайно не знаком с Фергюссоном? Последнее время он ведет активные исследования в области чистой логики и даже собственноручно построил несколько логических машин.