Computer scientists know very well that recursion is more powerful than iteration.  The achievement of Hewitt and Paterson was to successfully formalize and prove the theorem.  They successfully avoided the problem of using clumsy, artificial, inefficient arithmetical constructs to simulate control structure. 50.131.244.2