Monday, August 1, 2011

The finiteness of the number of steps is the key requirement of recursion.

Actually, finiteness must be crucial in the theory of computability.

No comments: