Contact Us

The History of Artificial Intelligence

A Formal System of Computation. AIM-025.

purl.stanford.edu/ym583dn6844
Title:
A Formal System of Computation. AIM-025.
Author:
Mansfield, Richard
Author (no Collectors):
Mansfield, Richard
Description:
We discuss a tentative axiomatization for a formal system of computation and within this system we prove certain propositions about the convergence of recursive definitions proposed by J. McCarthy.
Topic:
Artificial intelligence
Subject:
Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
Language:
English
Physical Description:
1 text file
Publication Info:
cau and Stanford (Calif.)
Date:
September 1964
Place created:
Stanford (Calif.)
Imprint:
Stanford (Calif.), September 1964
Genre:
memorandums
Identifier:
AIM-025
Repository:
Stanford University. Libraries. Department of Special Collections and University Archives
Collection:
Stanford Artificial Intelligence Laboratory records, 1963-2009
Manuscript number:
SC1041