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.
Traducere din limba italiana de:Ionela Polixenia Matei.
Aceasta a fost alegerea autorului cartii de fata, care utilizeaza concepte moderne de programare pentru a explica rezultatele relevante ale teoriei calculului.
Astfel, prezentarea aspectelor-cheie devine mai accesibila, dar nu mai putin generala si nici mai putin riguroasa.
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.
La aproape un secol dupa studiile lui Turing si ale lui Church, dar si dupa contributiile lui Kurt Godel si Stephen C.
Prezentul volum este o introducere in aceasta teorie, cunoscuta sub numele de "teoria computatiei".
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
