Potenza e limiti del calcolo automatico:problemi intrattabil