I'm currently studying some of the history of computation / computability, in the early days known as recursion theory.
I see Goedel's definition of recursive functions seems significant in his paper, and Church uses his own definition of recursive functions (in particular, primitive recursive functions).
Wikipedia talks about primitive recursive functions and seems to follow Church's definition, but compares it to u-recursive functions as well.
Other definitions online don't seem to correspond with Church's or Goedel's definition.
Can anyone clarify for me exactly who defined "recursion" in what way. Why it was defined that way. How it evolved and why it evolved.
It would very much help me join the dots in this difficult quest towards understanding the foundations of computer science.