Вы находитесь на странице: 1из 9

Math-Net.

Ru
Общероссийский математический портал

А. А. Марков, О представлении рекурсивных функций,


Изв. АН СССР. Сер. матем., 1949, том 13, выпуск 5, 417–
424

Использование Общероссийского математического портала Math-Net.Ru подра-


зумевает, что вы прочитали и согласны с пользовательским соглашением
http://www.mathnet.ru/rus/agreement

Параметры загрузки:
IP: 67.205.163.100
1 мая 2017 г., 12:01:59
ИЗВЕСТИЯ АКАДЕМИИ НАУК СССР
Серия математическая
13 (1949), 417-424

А. А. МАРКОВ

О ПРЕДСТАВЛЕНИИ РЕКУРСИВНЫХ ФУНКЦИЙ


(Представлено академиком И. Г. Петровским)

В работе устанавливается простая характеризация примитивно


рекурсивных функций Р одного аргумента, обладающих тем свойст­
вом, что всякая общая рекурсивная функция п аргументов представ­
ляется в виде
P(W(Q(*i> • • • > * Я ' 2/)=°))'
где Q — примитивно рекурсивная функция п-\-1 аргументов.

1. В 1936 г. Kleene (4) доказал, что всякая общая рекурсивная


функция п аргументов представляется в виде
i.i P{w(Q(*i, •••> *п,у) = 0)),
где Р—примитивно рекурсивная функция одного аргумента, Q — при­
митивно рекурсивная функция п -\-1 аргументов такая, что
1.2 (хх) . . . (хп) {Еу) {Q(xlt . . . , хп,у) = 0).
Здесь ,,[хг/..." означает наименьшее из чисел г/, удовлетворяющих
стоящему за ,,\*<у1 условию, а кванторы* относятся к совокупности
натуральных чисел 0, 1, 2 . . . , которые мы здесь называем просто
числами.
Впоследствии Kleene (5) уточнил свой результат, доказав возмож­
ность пользования одной определенной примитивно рекурсивной функ­
цией Р, независимой от представляемой общей рекурсивной функции.
Указанная им универсальная в этом смысле функция Р определялась
при этом весьма сложной совокупностью схем подстановки и прими­
тивной рекурсии. Одновременно Kleene распространил теорему пред­
ставления на частично рекурсивные функции.
В 1944 r. Skolem (8) высказал предположение о возможности обой­
тись и без функции Р, т. е. о возможности представления всякой
общей рекурсивной функции п аргументов в виде
M(Q(i,y) = 0),
где Q — примитивно рекурсивная функция п + 1 аргументов, удовле­
творяющая условию 1.2. Он установил простую характеризацию функ-
* В отношении терминологии и обозначений мы следуем (х) и (2) с той лишь
разницей, что для обозначения эквивалентности мы применяем знак Е= вместо ~~.
В дальнейшем мы для сокращения пишем j вместо xlf . . . , хп и (%) вместо
(хх) . . . (хп).
3 Известия АН, серия математическая № 5
418 А. А. МАРКОВ

ций, допускающих такое представление (9), оставив открытым вопрос


о совпадении класса этих функций с классом общих рекурсивных
функций.
Этот вопрос был вскоре решен Post/ом (7) в отрицательном смысле.
Предположение Skolem'a было, таким образом, опровергнуто.
В связи со всем этим естественно возник вопрос: какова, при
данном п, должна быть примитивно рекурсивная функция Р одного
аргумента для того, чтобы всякая общая рекурсивная функция п
аргументов представлялась в виде 1.1 с надлежащей (зависящей от
представляемой функции) примитивно рекурсивной функцией Q от
п -|- 1 аргументов, удовлетворяющей условию 1.2?
Цитированная выше теорема Kieene'a показывает, что такие функ­
ции существуют, а из упомянутого результата Post'a следует, что
далеко не все примитивно рекурсивные функции одного аргумента
таковы. Было поэтому естественно спросить, что же это за функции?
Решение этого вопроса указано в заметке автора (6). Настоящая
статья содержит подробное доказательство и некоторые усиления
изложенного там результата*.
2. Будем говорить об арифметической функции Р одного аргу­
мента, что она есть функция б о л ь ш о г о р а з м а х а , если всякое
число фигурирует в качестве ее значения бесконечное множество раз>
т р если
(y)(z){Ex)(x>ykP(x) = z).
Будем говорить об арифметической функции Р одного аргумента,
что она у н и в е р с а л ь н а д л я п аргументов, если она примитивна
рекурсивна и всякая общая рекурсивная функция п аргументов
представляется в виде 1.1, где Q — примитивно рекурсивная функция
п + 1 аргументов, удовлетворяющая условию 1.2.
Имеет место следующий результат.
ТЕОРЕМА 1. Для того чтобы примитивно рекурсивная функция
одного аргумента была универсальной для п аргументов, необходимо и
достаточно, чтобы она была функцией болыиого размаха.
Заметим, что примитивно рекурсивные функции большого размаха
строятся легко. В частности, таковыми являются функции аг и с2
Hilbert'a и Bernays'a. **
Таким образом, теорема 1 значительно обобщает и улучшает резуль­
тат Kieene'a в отношении внешней функции Р представления 1.1.***
3. Теорема 1, очевидно, вытекает^ из следующих двух теорем.
ТЕОРЕМА 2. Если Р — примитивно рекурсивная функция большого
размаха, то, какова бы ни была частично рекурсивная функция R от п

* Этот результат приводится нише, чтобы сделать изложение настоящей


статьи независимым от упомянутой заметки.
** См. (2), стр. 321 и 328. Что с х и а2 — функции большого размаха, непосред­
ственно следует из приводимых нише равенств 6.42 и 6.43.
*** Мы не рассматриваем здесь явно установленную КЛеепе'ом (5) нормализа­
цию внутренней функции Q. Из нашего доказательства теоремы 2 (см. ниже)
легко следует, однако, что нормализация внутренней функции, аналогичная
КЛеепе'овской, возможна при любом допустимом закреплении внешней функции.
ПРЕДСТАВЛЕНИЕ РЕКУРСИВНЫХ ФУНКЦИЙ 419

аргументов, существует примитивно рекурсивная функция Q от п + 1


аргументов такая, что
з.1 Д ( * ) ^ ( М ( № У ) = 0)).
ТЕОРЕМА 3. Для всякого целого положительного числа п может
быть построена такая общая рекурсивная функция п аргументов, что
при всяком ее представлении в виде 1.1 с примитивно рекурсивными Р
и Q и с Q, удовлетворяющей условию 1.2, Р будет функцией большого
размаха.
Знак ^ , встречающийся в теореме 2, означает совпадение функ­
ций, определяемых выражениями, стоящими справа и слева от него.
Точнее говоря, мы ставим этот знак между двумя выражениями,
определяющими арифметические функции, когда хотим утверждать,
во-первых, что выражения эти имеют смысл для одних и тех же си­
стем значений входящих в них свободных переменных, и, во-вторых,
что совпадают значения этих выражений для любой системы значений
свободных переменных, для которой выражения имеют смысл.
4. В лемме, которую мы сейчас формулируем, встречается ариф­
метическая функция (J двух переменных такая, что

[О при у ф z.
Эта функция, как известно, примитивно рекурсивна *.
ЛЕММА. Пусть Р — примитивно рекурсивная функция большого
размаха* Определим функцию W двух аргументов схемой:
4.2 W (О, z) = О,
4.21 W ОЛ z) = W (у, z) + р (Р (у), z);
функцию V одного аргумента — равенством
4.22 V(y) = W(y,P(y)).
Тогда V — примитивно рекурсивная функция и, каков бы ни был
двучленный предикат ** 21,
4.3 (Еу) (Ez) % (у, z) = (Et) я (V (t), P (*)).
Д о к а з а т е л ь с т в о . Принимая во внимание примитивную рекур-
сивность функции (J и предположенную примитивную рекурсивность
функции Р, заключаем из 4.2 и 4.21, что W — примитивно рекурсив­
ная функция. Отсюда следует, согласно 4.22, что V — примитивно
рекурсивная функция.
Определим функцию U двух аргументов равенством
4.4 U (у, z) = \хх ( ж > у & Р (х) == z),
правая часть которого имеет смысл при любых у и z, так как Р —
функция большого размаха. Функция.?/ является общей рекурсивной
* См., напр., (2), стр. 317.
** Все рассматриваемые здесь предикаты относятся к натуральным числам.
3*
420 А. А. МАРКОВ

согласно теореме Kleene'a о замкнутости класса общих рекурсивных


функций относительно оператора ц *, что существенно для конструк­
тивности проводимого доказательства. Определим функцию Т двух
аргументов схемой примитивной рекурсии
4.41 Г(0, z) = U{0, z),
4.42 T{y',z) = U(T(y,z)',z).
(Функция IP также общая рекурсивная).
Имеем
4.5 и{У,*)>У [4-4
4.51 Р (U (у, г)) = z [4.4
y^x<U(y,z)->P{x)$z [4.4
4.52 -*W(x',z) = W{x,z) [4.21,4.1
4.6 W(U(y,z),z)=W(y,z) [4.52,4.5
W (U (у, z)', z) = W{U (y, z), z') [4.21,4.1,4.51
4.61 =W(y,z)' [4.6
W(T(0,zy,z)=W{0,z)' [4.41,4.61
4.7 =0' [4.2
W(T{y\zy,z) = W{U{T{y,zy,z)',z) [4.42
4.71 =W(T(y, z)',z)' [4.61
4.72 W(T(y,z)',z) = y' [4.7,4.71
V (U (у, г)) =W{U (y, z), z) [4.22,4.51
4.8 =W{y,z) [4.6
4.81 V(T{0, z ) ) = 0 [4.41,4.8,4.2
l
V{T[y ,z)) = V{U(T(y, z)',z)) [4.42
= W(T(y,z)',z) [4.8
4.82 =y' [4.72
4.83 V{T{y,z))=y [4.81,4.82
4.84 P (T (y, z)) = z [4.41,4.42,4.51
Пусть теперь 21 — произвольный двучленный предикат. Имеем
Я (У, z)->3l (V(T(y, z)), P(T(y, z))) [4.83,4.84
4.9 ' -+{Et)*(y(t),P{t))
(Еу) (Ez) 91 (у, z) -> (Et) 91 (F (I), Р (*)) [4-9
Так как обратная импликация очевидна, имеем 4.3, что и требовалось
доказать.
(В связи с этим доказательством возникает вопрос: могут ли функ­
ции U и Т не быть примитивно рекурсивными при соблюдении усло­
вий леммы?).
* См. (6), стр. 51.
ПРЕДСТАВЛЕНИЕ РЕКУРСИВНЫХ ФУНКЦИЙ 421

5. Докажем теорему 2.
Пусть Р — произвольная примитивно рекурсивная функция боль­
шого размаха; R— произвольная частично рекурсивная функция п
аргументов.
Согласно теореме Kleen'a о представлении частично рекурсивных
функций*, существуют примитивно рекурсивная функция F одного
аргумента и (п -f- 1)-членный примитивно рекурсивный предикат 93 та­
кие, что
5Л ' R(l)=zF{wn(l,y)),
5.И (i)mv(by)-*F(y)~Rte))-
Построим функции W и V, как в лемме. Согласно лемме, У —при­
митивно рекурсивная функция одного аргумента и для любого двучлен­
ного предиката 21 соблюдается 4.3.
Определим п + 1-членный предикат (£ условием
5.2 4bt) = K{bV(t))bP{t) = F(V(t)).
Согласно теоремам Gogel'H о примитивно рекурсивных функциях и
примитивно рекурсивных предикатах **, предикат (£ примитивно рекур­
сивен, т. е. существует такая примитивно рекурсивная функция Q от
п -\-1 аргументов, что
5.21 <£(Е> t) = Q(i,t) = 0.
Докажем, что имеет место представление 3.1.
Имеем
5.3 (Ez)(z = F(y))
V(l,y) = %(Z,y)&(Ez)(z = F(y)) [5.3
5.31 =(Ez)№(t,y)&z = F(y))
(Еу) 93 (s, у) = (Ey) (Ez) (93 (b y) & z = E (y)) [5.31
= (Et)<&{i,t) [4Д5.2
В силу 5.1, отсюда следует, что R(%) имеет смысл тогда и только
тогда, когда
(Et)(B(i,t),
т. е. когда имеет смысл выражение Р ([xi(S(j, t)).
Кроме того,
©(I. 0 - > » ( Ь V(*)) I5-2
5.4 -»F(F(0) = fl(s) I5-11
5.41 &&,t)->P(t) = F(V(t)) [5.2
5.42 b(l,t)-+P(t)=R{i). [5.4,5.41
Если P (\Lt (£(£, t)) имеет смысл, то
<£(E, |z*©(S,0),
и поэтому, согласно 5.42,
Л(г) = />(^е(х,о)-
Этим доказано, что
R(l)^P(\tib{l,t)),
а, согласно 5.21, это дает 3.1.
* См. (5) стр. 53.
** См. (5), стр. 180, теоремы I —III.
422 А. А. МАРКОВ

6. В доказательстве теоремы 3, к которому мы сейчас перейдем,


существенную роль играет общая рекурсивная, но не примитивно ре­
курсивная функция одного аргумента, принимающая лишь значения
О и 1. Функция с такими свойствами была построена Skolem'oM (9).
Пусть со — общая рекурсивная функция одного аргумента такая,
что
6.1 ш не есть примитивно рекурсивная функция;
6.11 (я)(со(я)==0у^(я)==1).
Требуется построить для любого целого положительного п общую
рекурсивную функцию п аргументов такую, что при всяком ее пред­
ставлении в виде 1.1 с примитивно рекурсивными Р9 Q и с Q, удовле­
творяющей 1.2, Р была бы функцией большого размаха.
Рассмотрим сначала случай п==2. Покажем, что в этом случае
функция ср2 двух аргументов, определяемая равенством
6.2 92 (xv х2) = <° (xi) + х^
обладает всеми требуемыми свойствами.
В самом деле, эта функция — общая рекурсивная, так как со — об­
щая рекурсивная функция. Допустим, что имеет место представление
6.21 <р2(х19 х2) = Р (до (Q (а?!, х2, у)=*0)),
где Р — примитивно рекурсивная функция одного аргумента, (?--при­
митивно рекурсивная функция трех аргументов, удовлетворяющая
условию 1.2 с п = 2. Докажем, что Р — функция большого размаха.
Допустим противное. Тогда, согласно определению функций боль­
шого размаха (см. п. 2), существуют числа а и b такие, что
6.22 (z)(/>(z) = 6 - » z < f l ) .
Закрепим пару таких чисел а и 6.
Определим последовательно трехчленный предикат ©> трехчленный
предикат @ и одночленный предикат % условиями
6.23 Ъ{х19 х2, y)==Q(xlf х2, г/) = 0,
6.24 <&(xl9 x29 y)=E<£>(xl9 X29 y)&(t){t<y-><S)(x1, x29 t))9
6.25 % (х) = (Ez) (z < а & Р (z) = Ъ & @ {х9 Ъ, z)).
Предикат ® примитивно рекурсивен, так как функция Q примитивно
рекурсивна. Согласно теоремам GodeFfl*, предикаты (£ и g поэтому
также примитивно рекурсивны. Отсюда следует, что функция G, опре­
деляемая условием
если
6.26 ед=Л°> !*(*)•
11, если
§f (x),
примитивно рекурсивна.
Имеем
® (Яц «2» У) = У — f12® (x19 х2, z) [6.24
6.27 со (х) = 0 = ср2 (*> fe) = b t6-2
Es=P(,iy©(af 6 , y ) ) = 6 [6.21,6.23
== (#z) (г = до® (x, b,y)kP (z) = 6)
* См. (3), стр. 180, теоремы I — IV.
ПРЕДСТАВЛЕНИЕ РЕКУРСИВНЫХ ФУНКЦИЙ 423

==(#&)(<£ (я, Ь, z)&P{z) = b) [6.27


= %{х) [6.22,6.25
6.28 =GO) = 0 [6.26
со (ж) = 1 = со(ж) ф О [6.11
= С(я)фО [6.28
6.29 • =С(ж)=1 [6.26
<*(x)=G{x) [6.11,6.28,6.29
Следовательно, со — примитивно рекурсивная функция, вопреки 6.1.
Это противоречие доказывает теорему 3 для п = 2.
Рассмотрим теперь случай п^>2. В этом случае мы определим
функцию ф от п аргументов равенством
6.3 фя (х19 х2, . . . , хп) = 92 0*4, я 2 ).
Эта функция — общая рекурсивная, так как 92 — общая рекурсивная
функция.
Допустим, что имеет место представление
6.31 фя(?0 = Р ( м ( е ( Е , У ) = О)),
где Р — примитивно рекурсивная функция одного аргумента, Q —
примитивно рекурсивная функция п + 1 аргументов, удовлетворяющая
условию 1.2. Докажем, что Р — функция большого размаха.
Имеем
ф2 (хг, х2) = Р ((xz/ (<? О х , я 2 , 0, . . . , 0, у) = 0)). [6.3, 6.31
Здесь выражение Q (хг, х2, 0, . . . , 0, г/) определяет примитивно рекур­
сивную функцию трех аргументов х17 х2, у, причем
(*i) (*2) (Еу) (Q {хг, х2, 0, . . . , 0, у) = 0).
Поэтому, согласно доказанному для га = 2 , Р—функция большого
размаха.
Остается случай п = 1. В этом случае определим функцию 9i од­
ного аргумента равенством
6.4 9 i (я) = 9 2 (<*i (х) >°2 (х))»
где ах и ст2 — упомянутые выше примитивно рекурсивные функции
Hilbert'a и Bernays'a *. Функция срх — общая рекурсивная, так как ф2,
&! и а2 — общие рекурсивные функции.
Допустим, что имеет место представление
6.41 9i(«) = P ( ^ W ( ^ y ) = 0)),
где Р — примитивно рекурсивная функция одного аргументе, Q — при­
митивно рекурсивная функция двух аргументов, удовлетворяющая
условию 1.2 с п = 1. Докажем, что Р~ функция большого размаха.
Для эгого воспользуемся примитивно рекурсивной функцией а двух
аргументов, обладающей теми свойствами, что **

* См. (2), стр. 321 и 328.


** См. (2), стр. 321.
424 А. А. МАРКОВ

6.42 a i O ( £ i , x2)) = xl9


6.43 С7 2 (а(ж!, х2)) ^=х2.
Имеем
Ф2 ( « ! , z 2 J = <р2 (ст! (а ( ^ х2)), ст2 (а (жх, я 2 ))) [6.42, 6.43
= 9ii>(s ] , #2)) t6-4
-P(W(Q(a{xvx2),y) = 0)). [6.41
Здесь выражение Q (<У(Х1У х2), у) определяет примитивно рекурсивную
функцию трех аргументов хг, х2, х3, причем
(x1)(x2)(Ey)(Q(a(x1,x2),y) = Q).
Поэтому, согласно доказанному для п = 2, Р— функция большого
размаха, что и требовалось доказать.
Это доказательство теоремы 3 неконструктивно, поскольку оно яв­
ляется доказательством «от противного» и опирается на закон исклю­
ченного третьего. Заменить его коструктивным доказательством едва ли
возможно. Проведенное рассуждение дает, однако, конструктивное
доказательство следующей ослабленной формы теоремы 3.
Условимся говорить об арифметической функции Р одного аргу­
мента, что она есть ф у н к ц и я м а л о г о р а з м а х а , если мы можем
указать числа у и z, такие, что у будет ограничивать сверху числа х,
для которых Р(х) = z, т. е. если
(Ey)(Ez){x)(P(x) = z+ x^y).
Конструктивно доказуемая форма теоремы 3 состоит в следующем.
Для всякого целого положительного п может быть построена общая
рекурсивная функция п аргументов, не допускающая представлений 1.1,
в которых Q — примитивно рекурсивная функция п + 1 аргументов,
удовлетворяющая 1.2, Р — примитивно рекурсивная функция малого
размаха.
Очевидно, что уже в этом утверждении содержится отрицательное
решение формулированной выше проблемы Skolem'a.
Поступило
8.IX.1948
ЛИТЕРАТУРА
1
Г и л ь б е р т Д . и А к к е р м а н В.. Основы теоретической логики, Москва
1944.
2
H i l b e r t D. u. B e r n a y s P., Grundlagen der Mathematik, Bd. I, Berlin, 1934.
3
Go d e l A., Uber formal unentscheidbare Satze der Principia Mathematica und
verwandter Systeme I, Monatshefte f. Math. u. Phys.. 38 (1931), 173—198.
4
K l e e n e S. G., Recursive" predicates and quantities, Trans. Amer. Math. S o c ,
53 (1943), 41—73.
6
K l e e n e S. C., General recursive functions of natural numbers, Math. Ann., 112
(1936), 727—742.
6
М а р к о в А. А., О представлении [рекурсивных функций, Доклады Ак. Наук
СССР, 58 (1947), 1891-1892.
7
P o s t E. L., Note on a conjecture of Skolem, J. of Symb. Logic, 11 (1946),
73—74.
8
S k o l e m Th., Remarks on recursive functions and relations, Norske Vid. Selsk.
Forh., 17 (1944), 8 9 - 9 2 .
9
S k o l e m Th., Some remarks on recursive arithmetic, Norske Vid. Selsk. Forh..
17 (1944), 103—106.