Yuri V. Matiyasevich. Hilbert's tenth problem. English translation of Desyataya problema Gil'berta, with a foreword by Martin Davis. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1993, xxii + 264 pp.

C. Dimitracopoulos

doi:10.2307/2275556

Yuri V. Matiyasevich. Hilbert's tenth problem. English translation of Desyataya problema Gil'berta, with a foreword by Martin Davis. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1993, xxii + 264 pp.

Journal of Symbolic Logic ◽

10.2307/2275556 ◽

1997 ◽

Vol 62 (2) ◽

pp. 675-677

Author(s):

C. Dimitracopoulos

Keyword(s):

English Translation ◽

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem ◽

Foundations Of Computing ◽

Martin Davis

Download Full-text

Martin Davis and Hilbert’s Tenth Problem

Outstanding Contributions to Logic - Martin Davis on Computability, Computational Logic, and Mathematical Foundations ◽

10.1007/978-3-319-41842-1_2 ◽

2016 ◽

pp. 35-54

Author(s):

Yuri Matiyasevich

Keyword(s):

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem ◽

Martin Davis

Download Full-text

Martin Davis. Extensions and corollaries of recent work on Hilbert's tenth problem. Illinois journal of mathematics, vol. 7 (1963), pp. 246–250.

Journal of Symbolic Logic ◽

10.2307/2272754 ◽

1972 ◽

Vol 37 (3) ◽

pp. 602-602

Author(s):

H. B. Enderton

Keyword(s):

Recent Work ◽

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem ◽

Martin Davis

Download Full-text

Ú. V. Matiásévič Dvé rédukcii 10-j problémy Gilbérta. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 144–158. - Yu. V. Matiyasevich. Two reductions of Hilbert's tenth problem. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 68–74.

Journal of Symbolic Logic ◽

10.2307/2272761 ◽

1972 ◽

Vol 37 (3) ◽

pp. 604-605

Author(s):

Ann S. Ferebee

Keyword(s):

New York ◽

Mathematical Logic ◽

English Translation ◽

Mathematical Institute ◽

Steklov Mathematical Institute ◽

Constructive Mathematics ◽

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text

Ú. V. Matiásévič. Sváz' sistém uravnénij v slovah i dlinah s 10-j problémoj Gllbérta. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 132–144. - Yu. V. Matiyasevich. The connection between Hilbert's tenth problem and systems of equations between words and lengths. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part. II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 61–67. See Errata, Studies in constructive mathematics and mathematical logic, Part III, ibid., vol. 16, Consultants Bureau, New York-London 1971, p. 96.

Journal of Symbolic Logic ◽

10.2307/2272760 ◽

1972 ◽

Vol 37 (3) ◽

pp. 604-604

Author(s):

Ann S. Ferebee

Keyword(s):

New York ◽

Mathematical Logic ◽

English Translation ◽

Mathematical Institute ◽

Steklov Mathematical Institute ◽

Constructive Mathematics ◽

Systems Of Equations ◽

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text

Martin Davis and Hilary Putnam. Reductions of Hilbert's tenth problem. The Journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959), pp. 183–187.

Journal of Symbolic Logic ◽

10.2307/2272751 ◽

1972 ◽

Vol 37 (3) ◽

pp. 601-601

Author(s):

Julia Robinson

Keyword(s):

Hilary Putnam ◽

Symbolic Logic ◽

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem ◽

Martin Davis

Download Full-text

Hilbert's Tenth Problem

ACM SIGACT News ◽

10.1145/3471469.3471476 ◽

2021 ◽

Vol 52 (2) ◽

pp. 36-44

Author(s):

William Gasarch

Keyword(s):

Short Version ◽

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem ◽

Complete History

This column is a short version of a long version of an article based on a blog. What? I give the complete history.

Download Full-text

Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions

Mathematical Logic Quarterly ◽

10.1002/malq.200510013 ◽

2006 ◽

Vol 52 (1) ◽

pp. 14-19

Author(s):

Mihai Prunescu

Keyword(s):

Exponential Functions ◽

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text

Hilbert's tenth problem

Journal of Soviet Mathematics ◽

10.1007/bf01215387 ◽

1975 ◽

Vol 3 (2) ◽

pp. 161-184 ◽

Cited By ~ 1

Author(s):

Yu. I. Manin

Keyword(s):

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text

Hilbert’s Tenth Problem for function fields of varieties over algebraically closed fields of positive characteristic

Monatshefte für Mathematik ◽

10.1007/s00605-011-0364-7 ◽

2011 ◽

Vol 168 (1) ◽

pp. 1-16

Author(s):

Kirsten Eisenträger

Keyword(s):

Positive Characteristic ◽

Function Fields ◽

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem ◽

Closed Fields ◽

Algebraically Closed Fields

Download Full-text

Hilbert’s Tenth Problem

The Heritage of Thales - Undergraduate Texts in Mathematics ◽

10.1007/978-1-4612-0803-7_53 ◽

1995 ◽

pp. 255-258

Author(s):

W. S. Anglin ◽

J. Lambek

Keyword(s):

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text