НОВОСТИ    БИБЛИОТЕКА    ЭНЦИКЛОПЕДИЯ    БИОГРАФИИ    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

ДИОФАНТОВ ПРЕДИКАТ

ДИОФАНТОВ ПРЕДИКАТ - всякий предикат определенный на множестве упорядоченных наборов из n целых (или целых неотрицательных, или целых положительных) чисел, для к-рого можно указать многочлен Р(а1, ... , аn, z1, ... , zk) с целыми коэффициентами такой, что набор (а1, ... , аn) удовлетворяет предикату ℘ тогда и только тогда, когда диофантово уравнение

Р(а1, ... , аn, z1, ... , zk) = 0

разрешимо относительно z1, ... , zk. Область истинности Д. п. является диофантовым множеством. Класс Д. п. совпадает с классом перечислимых предикатов (см. Диофантовых уравнений проблема разрешимости).

Ю. В. Матиясевич.


Источники:

  1. Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 2 Д - Коо.-М.: «Советская Энциклопедия», 1979.-1104 стб., ил.











© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'Математическая библиотека'
Рейтинг@Mail.ru