next up previous
Next: Formal Properties of Conditional Up: A BASIS FOR A Previous: Recursive Definitions of Sets

Properties of Computable Functions

The first part of this paper was solely concerned with presenting descriptive formalisms. In this part we shall establish a few of the properties of the entities we previously introduced. The most important section is section 8 which deals with recursion induction.

John McCarthy
Wed May 1 20:03:21 PDT 1996