sbenthall comments on ...Recursion, Magic

[sbenthall]

I find this difficult to follow. Is there a concrete mathematical definition of ‘recursion’ in this sense available anywhere?