Computer Science Definability of Recursive Functions This post discusses recursive functions and their definability in arithmetic.
Mathematics General Recursive Functions This post motivates the definition of general recursive functions by demonstrating one method of deriving this definition.
