معناها ايه ان الدالة ممكن تتحسب؟
على الرغم من أن الوظيفة ممكن تحسبها بشكل غير رسمي إذا كان من الممكن حساب قيمها، إلا إن كل من آلان تورينج وألونزو تشيرش وكورت غوديل كان عندهم تعريفات رسمية للقدرة على الحساب، وهي آلات تورينج وحساب لامدا والوظائف التكرارية العامة. لما اتبين في أطروحة تشيرش-تورينج إن الصيغ التلاتة دي متكافئة، بقى أكتر وضوحًا إنه ممكن يستخدموها كتعريف رسمي للقدرة على الحساب.