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