Il prof. Martin Davis, considerato dalal comunità scientifica internazionale un pioniere della "rivoluzione informatica" ha tenuto questa mattina all'Università della Calabria una Distinguished Lecture, nell'ambito dei Colloqui Pitagorici organizzati dal Dipartimento. Lo studioso statunitense - che è professore emerito presso la New York University ed è famoso per il suo contributo al decimo problema di Hilbert - ha intrattenuto numerosi docenti e studenti con una relazione nel corso della quale ha illustrato l'uso di algoritmi ed equazioni per specificare gli insiemi di numeri naturali. Il professore Davis ha pure accennato ad uno dei temi che l'hanno reso celebre e cioè quello delle radici concettuali dell'informatica.
Caricamento commenti
Commenta la notizia