DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
AD0260753
Title:
EXTENSIONS AND COROLLARIES OF RECENT WORK ON HILBERT'S TENTH PROBLEM
Corporate Author:
NEW YORK UNIV N Y COURANT INST OF MATHEMATICAL SCIENCES
Report Date:
1961-06-01
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
Pages:
0001
Contract Number:
AF49 638 777
File Size:
0.00MB
