Многочлен от нескольких переменных, который принимает все простые значения.

Question

В энциклопедии 87 нашел, что Ю. В. Матиясевич доказал: Существует многочлен от нескольких переменных, который принимает все простые значения по одному разу, причем все положительные его значения - простые числа.

Ни нашел никакой статьи, кто-нибудь может знает, где про это почитать?

Answer 1

". принимает все простые значения" и "все положительные его значения - простые числа" - огромная разница. Первое утверждение означало бы, что открыта формула всех простых чисел!

Answer 2

Могочлен, который при заданных разных значениях аргумента (например 1, 2. n) принимает заданные значения (любое количество и, в частности, простые) - это интерполяционный многочлен Лагранжа (или Коши или. много их) .
Матиясевич не это доказал, а много чего другого, сразу трудно понять, что вы имете ввиду.