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

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.