Computability of Recursive Functions | Synapse