ˈesto lo ˈiθo alˈonθo tʃˈuɾtʃ en mˈil nˌoβeθjˈɛntos tɾˌeɪntaisˈeɪs kon el konθˈepːto ðˈe "kˌalkulˌaβiliðˈað ˌefektˈiβa" basˈaða en su kˈalkulo lˈambða i poɾ ˈalan tˈuɾiŋ basˈandose en la mˈakina ðe tˈuɾiŋ.
Esto lo hizo Alonzo Church en 1936 con el concepto de "calculabilidad efectiva" basada en su cálculo lambda y por Alan Turing basándose en la máquina de Turing.