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