Изменения
→Вклад Ю.В. Матиясевича
=== Вклад Ю.В. Матиясевича===
Такого рода уравнение удалось построить Ю.В. Матеясевичу в 1970 году. Обратившись к рассмотрению последовательности Фибоначчи, Матиясевич заметил, что если за <tex>a</tex> взять половину номера четного члена последовательности Фибоначчи, а за <tex>b</tex> — сам член, то неравенство <tex>b>a^a</tex> будет всегда неверно;
для любого <tex>k</tex> можно найти такой четный член последовательности, что неравенство <tex>b>a^k</tex> будет верно. Это обстоятельство иллюстрируется приведенной ниже таблицей (в ней выделены те клетки, в которых числа <tex>a^k</tex> оказываются меньше соответствующих чисел <math>b</math>). Далее Матеясевич рассмотрел последовательность, состоящую из четных членов первоначальной последовательности.
{| border="1" class="wikitable" width="20%" style="color: black; background-color:#ffffcc;" cellpadding="10"; float: left;"
