Proprietà e limiti computazionali dell'IA attraverso la lente della macchina di Turing. Alan Turing nel 1936 stabilisce un modello che ancora oggi definisce le capacità e i confini delle tecnologie informatiche e dell'IA. Diverse proposte di calcolo risultano equivalenti alla macchina di Turing, e i limiti imposti dalle leggi della logica matematica persistono, nonostante avanzamenti…