Sa teoria de carculabilidade esàminat sas limitatziones de bàrios modellos teorèticos de s’elaboradore, chi includint su modellu prus connotu - sa màchina de Turing.