A Study on the Recursive Technique in Digital Computer Programming

전자계산기 프로그래밍에 있어서의 귀납적 수법에 관한 연구

A model computer is designed and using this model computer it is demonstrated that computable functions are equivalent to recursive functions. It is also shown that iteratively defined computable functions can be transformed to recursively defined computable functions and that recursive programming is possible in principle, when iterative programming is possible.