A Formal System of Computation,

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)

Document Details

Document Type
Technical Report
Publication Date
Sep 29, 1964
Accession Number
AD0785051

Entities

People

  • Richard Mansfield

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Applied Computer Science
  • Artificial Intelligence
  • Computations
  • Convergence

Readers

  • Artificial Intelligence
  • Operations Research