Modern proof theory, and likewise the modern theory of machine computation, hinge on the concept of the recursive function.
Patunay makabagong teorya, at gayon din ang mga makabagong teorya ng makina pagtutuos, bisagra sa mga konsepto ng recursive function.