Accession Number:

AD0785051

Title:

A Formal System of Computation,

Descriptive Note:

Corporate Author:

STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s):

• Mansfield,Richard

Report Date:

1964-09-29

Pagination or Media Count:

9.0

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