home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / theory / 1835 < prev    next >
Encoding:
Internet Message Format  |  1992-08-29  |  911 b 
  1. Path: sparky!uunet!stanford.edu!agate!ucbvax!CS.YALE.EDU!beigel-richard
  2. From: beigel-richard@CS.YALE.EDU (Richard Beigel)
  3. Newsgroups: comp.theory
  4. Subject: rational zeroes of multivariate polynomials
  5. Message-ID: <199208250618.AA15194@BEECH.THEORY.CS.YALE.EDU>
  6. Date: 28 Aug 92 18:03:00 GMT
  7. Sender: daemon@ucbvax.BERKELEY.EDU
  8. Reply-To: Richard Beigel <beigel-richard@CS.YALE.EDU>
  9. Lines: 11
  10.  
  11. Matijasevic proved that there is no algorithm to find integer zeroes
  12. of multivariate polynomials.  In fact, this problem is m-equivalent to
  13. the halting problem.  What about finding rational zeroes?  Is that
  14. problem decidable?  m-equivalent to the halting problem?
  15.  
  16. -- Richard
  17.  
  18. [ This problem is listed as an open problem in the article by Davis,
  19. Matijasevic and J. Robinson, in their paper on Hilbert's 10th problem
  20. in the Hilbert Problem Symposium held in 1974.  Does anyone know of
  21. any further results on this?: Editor ]
  22.