Accession Number:

AD0785051

Title:

A Formal System of Computation,

Descriptive Note:

Corporate Author:

STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s):

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

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE