La teuria del calcul verifica i limiti di tanti mudei teorici del urdinaduur, e anca il mudel püsee famus: el machinari de Turing.