Ricerca

Algoritmi ed equazioni
Martin Davis all'Unical

Il matematico considerato dalla comunità scientifica internazionale un pioniere della rivoluzione informatica ha tenuto una distinguished lecture.

foto Gazzetta del Sud

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.

Lascia il tuo commento

Condividi le tue opinioni su Gazzetta del Sud online

Caratteri rimanenti: 400

Le altre notizie

i più letti di oggi