Some results in church's restricted recursive arithmetic
- 1 December 1957
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 22 (4) , 337-342
- https://doi.org/10.2307/2963908
Abstract
Alonzo Church has proposed a system of “restricted recursive arithmetic” for the analysis of computer circuits which include time delays and feedback. Restricted recursive arithmetic, which will be referred to as rra, was introduced by Church in this Journal, vol. 20 (1955), pp. 286–287, in a review of an article by Edmund C. Berkeley. It is the purpose of this paper to present some results which have been found for the system rra.Keywords
This publication has 1 reference indexed in Scilit:
- Theory of Logical NetsProceedings of the IRE, 1953