Some results in church's restricted recursive arithmetic

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.