La teorie da la computabilitât e je esamine lis limitazions dai models teoreics dal ordenatôr, cun ancje il model il plui cognossût - la machine di Turing.