In 1936, dupa ce au urmat cai separate si independente, Alan Turing si Alonzo Church au propus o teorie pentru ceea ce poate fi calculat si ce nu.
Prezentul volum este o introducere in aceasta teorie, cunoscuta sub numele de teoria computatiei .
La aproape un secol dupa studiile lui Turing si ale lui Church, dar si dupa contributiile lui Kurt Godel si Stephen C.
Kleene, printre altii, unele constructii matematice folosite in teoria mentionata anterior, in conformitate cu cerintele formale ale vremii, pot fi inlocuite cu altele, mult mai simple.
Astfel, prezentarea aspectelor-cheie devine mai accesibila, dar nu mai putin generala si nici mai putin riguroasa.
Aceasta a fost alegerea autorului cartii de fata, care utilizeaza concepte moderne de programare pentru a explica rezultatele relevante ale teoriei calculului.
