Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem: June 1961

by Martin D. Davis

Excerpt from Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem

The theorem that every recursively enumerable set is exponential Diophantine is improved; a sharp form is given of Kleene's normal form theorem, a problem of Quine is proved recursively unsolvable.

35 pages, Paperback

First published August 4, 2015

About the author

Martin David Davis (born 1928) is Professor Emeritus at New York University's Computer Science Department.