Accession Number:

AD0785167

Title:

Some Completeness Results in the Mathematical Theory of Computation,

Descriptive Note:

Corporate Author:

STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1966-10-05

Pagination or Media Count:

24.0

Abstract:

A formal theory is described which incorporates the assignment function ai,k,xi and the contents function ci,xi. The axioms of the theory are shown to comprise a complete and consistent set. Author

Subject Categories:

  • Theoretical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE