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