Изменения
→Предикат Робинсон. Совместный результат М. Дэвиса и Х. Патнема и Д. Робинсон.
*для любого <tex>k</tex> существуют <tex>a</tex> и <tex>b</tex>, удовлетворяющие <tex>J(a,b)</tex> и такие, что <tex>a > b^k</tex>.
Джулия Робинсон назвала отношения, обладающие этими двумя свойствами, отношениями экспоненциального роста; сейчас такие отношения носят также имя ''предикатов Джулии Робинсон''.
В 1958 году М. Дэвис и Х. Патнем опубликовали работу, в которой они рассмотрели класс так называемых экспоненциально-диофантовых уравнений.Такие уравнения имеют вид:
<tex>E_1(x_1,x_2,...,x_m) = E_2(x_1,x_2,...,x_m)</tex>,
где <tex>E_1</tex> и <tex>E_2</tex> — выражения, построенные из <tex>x_1, x_2,..., x_m</tex> и конкретных натуральных чисел с помощью сложения, умножения и возведения в степень.
