Bir funksiyanın hesablanmasının nə deməkdir?
Qeyri-rəsmi bir funksiya, dəyərlərinin hesablana biləcəyi təqdirdə hesablanır, Alan Turing, Alonzo Kilsəsi və Kurt Bayrel, hər biri hesablama qabiliyyəti, yəni turing maşınları, Lambda hesablama və ümumi rekursiv funksiyalara sahib idi.Bu üç formulanın ekvivalent olduğu kilsə-turing tezisində göstərildiyi zaman, hesablama üçün rəsmi tərif kimi istifadə edilə bildikləri daha aydın oldu.