Davis, Martin; Matijasevic, Yuri; Robinson, Julia Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. (English) Zbl 0346.02026 Math. Dev. Hilbert Probl., Proc. Symp. Pure Math. 28, De Kalb 1974, 323-378 (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 ReviewsCited in 25 Documents MSC: 03D80 Applications of computability and recursion theory 03D25 Recursively (computably) enumerable sets and degrees 11D99 Diophantine equations 11U05 Decidability (number-theoretic aspects) 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations PDF BibTeX XML