A Formal System of Computation. AIM-025
Abstract/Contents
- Abstract
- 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.
Description
| Type of resource | text |
|---|---|
| Form | memorandums |
| Extent | 1 text file |
| Place | Stanford (Calif.) |
| Date created | September 1964 |
| Language | English |
| Digital origin | reformatted digital |
Creators/Contributors
| Author | Mansfield, Richard |
|---|
Subjects
| Subject | Stanford Artificial Intelligence Laboratory |
|---|---|
| Subject | Memo (Stanford Artificial Intelligence Laboratory) |
| Subject | Artificial intelligence |
| Genre | Memorandums |
Bibliographic information
| Finding Aid | |
|---|---|
| Memo | AIM-025 |
| Location | https://purl.stanford.edu/ym583dn6844 |
| Location | SC1041 |
| Repository | Stanford University. Libraries. Department of Special Collections and University Archives |
Access conditions
- Use and reproduction
- The materials are open for research use and may be used freely for non-commercial purposes with an attribution. For commercial permission requests, please contact the Stanford University Archives (universityarchives@stanford.edu).
- Copyright
- Copyright © The Board of Trustees of the Leland Stanford Junior University. All rights reserved.
Collection
Stanford Artificial Intelligence Laboratory records, 1963-2009
View other items in this collection in SearchWorksAlso listed in
Loading usage metrics...