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

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

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

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

Hilbert's tenth problem is of unification type zero

Journal of Automated Reasoning ◽

10.1007/bf00245459 ◽

1992 ◽

Vol 9 (2) ◽

pp. 169-178 ◽

Cited By ~ 4

Author(s):

Mark Franzen

Keyword(s):

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem ◽

Unification Type

Download Full-text

Computation Paradigms in Light of Hilbert's Tenth Problem

New Computational Paradigms ◽

10.1007/978-0-387-68546-5_4 ◽

2008 ◽

pp. 59-85 ◽

Cited By ~ 7

Author(s):

Yuri Matiyasevich

Keyword(s):

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem ◽

Computation Paradigms

Download Full-text