The study of computability came to be known as recursion theory, because early formalizations by Gödel and Kleene relied on recursive definitions of functions.
Studiet er beregnelighed blev kendt som rekursionsteori, fordi tidlige formaliseringer af Gödel og Kleen hvilede på rekursive definitioner af funktioner.