Il concetto di macchina dalla logica all’intelligenza artificiale: l’opera di A.M. Turing