Ina maana gani kwa kazi kuwa computable?
Ingawa informally kazi ni computable kama maadili yake yanaweza kuhesabiwa, Alan Turing, Alonzo Kanisa, na Kurt Godel kila alikuwa na ufafanuzi rasmi wa computablility, yaani Turing Mashine, Lambda Calculus, na kazi ya jumla recursive. Ilipothibitishwa katika nadharia ya Church-Turing kwamba maneno haya matatu ni sawa, ikawa wazi zaidi kwamba yanaweza kutumika kama ufafanuzi rasmi wa kuhesabiwa.