User blog comment:VoidSansXD/My attempt at not creating a recursive function/@comment-35470197-20190209232957/@comment-35470197-20190210011410

The formal definition of a Turing machine is available at wikipedia. But I think that the definition itself is not easy to understand. Roughly speaking, you can interprete the term "Turing machine" into "computer". Since your function can be computed by a computer, it is recurive by definition.