In the paper he defines the notion of effective calculability and identifies it with the notion of a recursive function.
Sa papel niya tumutukoy sa mga kuru-kuro ng mga epektibong calculability at kinikilala ito ng mga kuru-kuro ng isang recursive function.