Matiyasevich, Yu. V. Some purely mathematical results inspired by mathematical logic. (English) Zbl 0377.02001 Logic, Found. Math., Comput. Theory; Proc. 5th int. Congr., London/Ontario 1975, Part 1, 121-127 (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 14 Documents MSC: 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations 03D80 Applications of computability and recursion theory 03D25 Recursively (computably) enumerable sets and degrees 11D99 Diophantine equations 11U99 Connections of number theory and logic × Cite Format Result Cite Review PDF