|
ДИОФАНТОВ ПРЕДИКАТДИОФАНТОВ ПРЕДИКАТ - всякий предикат определенный на множестве упорядоченных наборов из n целых (или целых неотрицательных, или целых положительных) чисел, для к-рого можно указать многочлен Р(а1, ... , аn, z1, ... , zk) с целыми коэффициентами такой, что набор (а1, ... , аn) удовлетворяет предикату ℘ тогда и только тогда, когда диофантово уравнение Р(а1, ... , аn, z1, ... , zk) = 0 разрешимо относительно z1, ... , zk. Область истинности Д. п. является диофантовым множеством. Класс Д. п. совпадает с классом перечислимых предикатов (см. Диофантовых уравнений проблема разрешимости). Ю. В. Матиясевич. Источники:
|
|
|||
© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник: http://mathemlib.ru/ 'Математическая библиотека' |