Emeroteca Italgas
MORELLI , Massimo
Quel misterioso linguaggio dei computerI vincitori del Premio Italgas per la Ricerca e l'Innovazione 1994. Un contributo fondamentale alla teoria dell'elaborazione dell'informazione e in particolare della programmazione dei calcolatori: è il frutto degli studi di Robin Milner, docente presso il Laboratorio di Informatica dell'Università di Edimburgo ; speciale
anno: 1994, XXVI, n. 3, pp. 20 - 25
data di pubblicazione: 07.1994 - 09.1994
descrizione
Il testo presenta le riflessioni di Arthur John Robin Gorell Milner, vincitore del Premio Italgas 1994 per l'Informatica, sull'importanza scientifica dell'informatica. Milner sostiene che l'informatica non sia solo una disciplina tecnologica, ma una vera scienza sperimentale che sviluppa principi teorici fondamentali e utilizza metodi rigorosi, anche se diversi da quelli delle scienze fisiche. Illustra il concetto di "computer-assisted reasoning" e il ruolo degli esperimenti informatici come la verifica di software tramite sistemi come LCF e Metalanguage (ML). Milner si occupa anche della teoria della concorrenza, lo studio dell'interazione tra programmi in parallelo, con applicazioni che spaziano dalla posta elettronica alla sicurezza di centrali nucleari. Infine, riflette su temi attuali come l'intelligenza artificiale, l'importanza di adattare il linguaggio umano alle macchine, la crescente diffusione di Internet e le sfide future dell'informatica, come la programmazione orientata agli oggetti e lo studio dei nomi nei sistemi di comunicazione.Authority/Legami
MORELLI , Massimo (autore)
Vuoi iniziare a cercare all’interno del nostro archivio?
Vai alla ricerca
Vai alla ricerca