Accession Number:

AD0260753

Title:

EXTENSIONS AND COROLLARIES OF RECENT WORK ON HILBERT'S TENTH PROBLEM

Descriptive Note:

Corporate Author:

NEW YORK UNIV N Y COURANT INST OF MATHEMATICAL SCIENCES

Personal Author(s):

Report Date:

1961-06-01

Pagination or Media Count:

1.0

Abstract:

The theorem that every recursively enumerable set is expon ntial Diophantine is improve a sharp form is given of Kleenes Introduction to Metamathematics, D. Van Nostrand Company, Inc., 1952 normal form theorem, a problem of Quine Synthese, VII 441-46, 1948-9 is proved recursively unsolvable. Author

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE