Vezi mai multeÎn 1936, după ce au urmat căi separate și independente, Alan Turing și Alonzo Church au propus o teorie pentru ceea ce poate fi calculat și ce nu. Prezentul volum este o introducere în această teorie, cunoscută sub numele de „teoria computației”.
La aproape un secol după studiile lui Turing și ale lui Church, dar și după contribuțiile lui Kurt Gödel și Stephen C. Kleene, printre alții, unele construcții matematice folosite în teoria menționată anterior, în conformitate cu cerințele formale ale vremii, pot fi înlocuite cu altele, mult mai simple. Astfel, prezentarea aspectelor-cheie devine mai accesibilă, dar nu mai puțin generală și nici mai puțin riguroasă. Aceasta a fost alegerea autorului cărții de față, care utilizează concepte moderne de programare pentru a explica rezultatele relevante ale teoriei calculului.