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