This post motivates the definition of general recursive functions by demonstrating one method of deriving this definition.