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