The definition in terms of μ-recursive functions as well as a different definition of rekursiv functions by Gödel led to the traditional name recursive for sets and functions computable by a Turing machine.
Definirea în termeni de funcții μ-recursive, precum și o altă definiție a funcțiilor rekursive dată de Gödel a condus la numele tradițional de recursive pentru mulțimi și funcții calculabile de către o mașină Turing.