PARTEA II-a. AUTOMATE INFINITE. CALCULABILITATE
Această parte introduce mașina Turing ca model pentru noțiunea de procedură efectivă, discută limitele calculabilității (în special problema opririi) și prezintă funcțiile recursive ca formalism echivalent pentru aceeași noțiune de calcul.
În mod excepțional, public aici textul original al acestei părți în două pagini HTML, câte una pentru fiecare capitol.
