Изменения
→Вклад Ю.В. Матиясевича
форме можно построить его диофантово представление:
<tex>1)</tex> Построить построить арифметическую формулу со многимиограниченными кванторами общности.;
<tex>2)</tex> Преобразовать преобразовать эту формулу в нормальную форму Дейвиса содним ограниченным квантором общности.;
<tex>3)</tex> Устранить устранить этот ограниченный квантор общности ценойперехода к экспоненциально диофантовым уравнениям.;
<tex>4)</tex> Устранить устранить возведение в степень.
Таким образом, была доказана правильность гипотезы Мартина Дэвиса, которая стала называться DPRM-теоремой. Из этой теоремы следует, что десятая проблема Гильберта является неразрешимой.
