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