Kusho ukuthini ukuthi umsebenzi ungabalwa?
Yize umsebenzi ungahleliwe uma amanani awo engabalwa, u-Alan Turing, u-Alonzo Church, noKurt Godel ngamunye babe nezincazelo ezisemthethweni zokubalwa, okuyiMishini kaTuring, i-Lambda Calculus, nemisebenzi ejwayelekile ephindaphindayo. Lapho kuboniswa embhalweni weChurch-Turing ukuthi lezi zindlela ezintathu ziyalingana, kwacaca ukuthi zingasetshenziswa njengencazelo esemthethweni yokubala.