Introduzione allo studio dell'informatica teorica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 16:
Sebbene l'interesse per alcuni degli argomenti cardine dell'informatica teorica risalga a qualche millennio fa, lo studio sistematico ed organico della disciplina avviene da meno di un secolo.
Contrariamente ad altre materie, dove la storia delle origini si perde molto indietro nel tempo o è particolarmente sfumata, nel caso dell'informatica teorica esiste un evento scatenante: nel 1928 David Hilbert
Nel giro di otto anni venne pubblicata una serie di lavori che consentirono di rispondere negativamente allo stimolo proposto da Hilbert: i teoremi di incompletezza di Gödel, pubblicati nel 1931, pur non essendo direttamente collegati alla soluzione del problema di decisione gettano qualche dubbio sul fatto che lo si possa risolvere positivamente. In seguito, nel 1936 Alonzo Church ed Alan Turing pubblicarono indipendentemente due differenti risultati che avversarono definitivamente il problema di decisione.
| |||