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

— Прежде всего, — начал Крейг, — я полагаю, что ты знаком с понятием операции над числами, как, например, операция прибавления единицы к данному числу, или операция умножения числа на 3, или операция возведения данного числа в квадрат, или, что имеет более близкое отношение к твоей машине, операция взятия обращения заданного числа или операции получения повторения и ассоциата некоторого числа, или же, наконец, более сложные операции, как, например, операция построения обращения повторения ассоциата некоторого числа. При этом буквой F будет обозначаться некоторая произвольная операция, а запись F(X), где X—заданное число (мы будем читать Это выражение как «эф от икс»), будет означать результат выполнения операции F над числом X. Все это как ты прекрасно понимаешь, — вполне обычные математические обозначения. Итак, к примеру, если F есть операция обращения, то число F(X) есть обращение числа X; если же F будет обозначать операцию повторения, а выражение F(X) будет повторением числа X и так далее.

Пусть теперь имеются определенные числа — а фактически любые числа, составленные из цифр 3, 4 или 5, — я их буду называть операционными числами, поскольку они определяют операции, которые может выполнять твоя машина. Пусть М—некоторое число, состоящее из цифр 3, 4 или 5, и пусть F — произвольная операция. Я буду говорить, что число М определяет операцию F, имея в виду, что для любых двух чисел X и Y, в случае если X порождает Y, число М(Х) порождает число F(Y).