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