In an effort to answer the first question, computability theory examines which computational problems are solvable on various theoretical models of computation.
Në një përpjekje për t'iu përgjigjur pyetjes së parë, teoria e llogaritjes shqyrton cilat probleme kompjuterike janë të zgjidhshme në modele të ndryshme teorike të llogaritjes .