Gandy states that "the functions which can be calculated by (1), (2), and (4) are precisely those which are Turing computable." (p. 53).
Ганди наводи да "функције које се могу израчунати (1), (2), и (4) су управо оне који су Тјуринг израчунљиве". ( pp. 53).