1
$\begingroup$

Can someone provide a proof, or a link to a proof, of why does the Matiyasevich polynomial always generate primes for the nonnegative results? Any help will be appreciated.

  • 0
    Have you read Matiyasevich's original paper? Or his book?2012-10-09
  • 0
    The book [Hilbert's Tenth Problem](http://www.amazon.com/Hilberts-10th-Problem-Foundations-Computing/dp/0262132958/ref=sr_1_1?s=books&ie=UTF8&qid=1349814465&sr=1-1&keywords=hilberts+tenth+problem) goes through all that rather well.2012-10-09
  • 0
    Thank you for pointing me to the right side, I´m going to investigate.2012-10-11

0 Answers 0