Maxay ka dhigan tahay in function-ka la xisaabin karo?
Inkastoo si aan rasmi ahayn function waa computable haddii qiimaha loo xisaabin karo, Alan Turing, Alonzo Church, iyo Kurt Godel kasta lahaa qeexitaanno rasmi ah computablility, kuwaas oo Turing Machines, Lambda Calculus, iyo hawlaha guud ee soo noqnoqda. Markii lagu muujiyey aragtida Church-Turing in saddexda qaab-dhismeed ay isku mid yihiin, waxay noqotay mid cad in loo isticmaali karo qeexitaan rasmi ah oo xisaabinta.