Доказательство. Очевидно, что f можно представить с помощью следующего выражения:
Очевидно, что f можно представить с помощью следующего выражения:
f(x1, . . . , xn) = 
(hi(x1, . . . , xn) 
(gi(x1, . . . , xn)).
Доказательство окончено.
Заметим, что примитивная рекурсивность функции
div(x, y) может быть установлена на основании теоремы 8.1 с помощью соотношения:
div( x, y) = 
( 
(iy - x)).
Дата добавления: 2015-09-18; просмотров: 590;