Изменения

===Предикат Робинсон. Совместный результат М. Дэвиса и Х. Патнема и Д. Робинсон.===

<tex>\left \langle a, b, c= a^b\right \rangle</tex>

*недопускающее решение с <tex>a>b^b</tex>;

*для каждого <tex>k</tex> имеющее решение с <tex>a>b^k</tex>.

=== Вклад Ю.В. Матиясевича===

Такого рода уравнение удалось построить Ю.В. Матеясевичу в 1970 году. Обратившись к рассмотрению последовательности Фибоначчи, Матиясевич заметил, что если за <tex>b</tex> взять половину номера четного члена последовательности Фибоначчи, а за <tex>a</tex> — сам член, то неравенство <tex>a>b^b</tex> будет всегда неверно;