Accession Number : AD0785051

Title :   A Formal System of Computation,

Corporate Author : STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s) : Mansfield,Richard

Report Date : 29 SEP 1964

Pagination or Media Count : 9

Abstract : The author discusses a tentative axiomatization for a formal system of computation and within this system the author proves certain propositions about the convergence of recursive definitions proposed by J. McCarthy. (Modified author abstract)

Descriptors :   *Computer programming, *Computations, Recursive functions, Mathematical logic, Theorems

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE