Potenza e limiti del calcolo automatico: le radici teoriche dell’informatica