Turing, Alan Mathison
Enciclopedia on line
Matematico e logico matematico britannico (Londra 1912 - Wilmslow, Cheshire, 1954). Pioniere della scienza dell'informazione e dell'intelligenza artificiale, ha legato il suo nome, in particolare, a un metodo da lui indicato per dare un significato preciso al concetto intuitivo di funzione effettivamente computabile mediante una macchina astrattamente definita (macchina di T.).
Dal 1948 fu lettore ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Chaitin, Gregory
Enciclopedia on line
Matematico statunitense (New York 1947). Ha apportato importanti contributi alla teoria algoritmica dell'informazione (AIT), combinando il metodo di C. Shannon (') e la teoria della computabilità di A.M. [...] Turing ('). Autore di molti saggi, i suoi studi hanno portato a dimostrare l'esistenza della casualità anche in aritmetica. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Ritchie, Dennis M.
Enciclopedia on line
Programmatore informatico statunitense (New York 1941 - Berkeley Heights, New Jersey, 2011). È noto soprattutto per aver creato, in collaborazione con K. Thompson, il sistema operativo UNIX, per il quale [...] hanno ricevuto entrambi il Premio Turing nel 1983. Inoltre, insieme a B. Kernighan, è considerato l’inventore del linguaggio di programmazione C. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Böhm, Corrado
Enciclopedia on line
Böhm, Corrado. – Matematico e informatico italiano (Milano 1923 - Roma 2017). Laureatosi nel 1946 in ingegneria elettronica presso il Politecnico di Losanna, ha conseguito il dottorato in matematica al [...] Politecnico di Zurigo nel 1951. Dalle sue ricerche sui linguaggi per la programmazione sulla macchina di Turing è nato, in collaborazione con G. Jacopini, il teorema di Böhm-Jacopini (1966). Tra i suoi contributi più importanti vi è il cosiddetto ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Floridi, Luciano
Enciclopedia on line
Floridi, Luciano. – Filosofo italiano naturalizzato britannico (n. Roma 1964). Tra le voci più autorevoli della filosofia contemporanea, dal 2013 professore ordinario di Filosofia ed etica dell'informazione [...] della Oxford University, dove dal 2017 dirige il Digital Ethics Lab, e chairman del Data Ethics Group dell’Alan Turing Institute, ha proposto un’ampia revisione dei paradigmi della disciplina al fine di adeguarne teorie e metodi ai vistosi mutamenti ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Church, Alonzo
Enciclopedia on line
Matematico e logico-matematico statunitense (Washington 1903 - Hudson, Ohio, 1995), prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, dal 1967 di matematica e filosofia [...] funzione effettivamente calcolabile (cioè ogni predicato decidibile) è ricorsiva generale. Essa ha formulazioni equivalenti nella tesi di Turing, nel principio di Markov di normalizzazione degli algoritmi e nel teorema di completezza di Post. La tesi ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Tyldum, Morten
Enciclopedia on line
Tyldum, Morten. – Regista norvegese (n. 1967). Diplomatosi alla School of visual arts di New York, ha collaborato alla produzione della miniserie televisiva U (1991-94); regista di spot pubblicitari, di [...] , nel 2014 ha diretto la sua prima pellicola in lingua inglese, The imitation game, opera biografica sul matematico A. Turing insignita del premio del pubblico al Festival di Toronto e, nel 2015, dell'Oscar come miglior sceneggiatura non originale ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Cumberbatch, Benedict
Enciclopedia on line
Attore inglese (n. Londra 1976). Dopo essersi laureato in drammaturgia all'università di Manchester, ha continuato a studiare recitazione presso la London Academy of Music and Dramatic Art. Dal 2001 ha [...] da protagonista della serie televisiva Sherlock (2010-2017) e sul grande schermo per War Horse (2011) di S. Spielberg, come Alan Turing nel film The Imitation Game (2014, per il quale ha ricevuto la nomination al Premio Oscar) e per il ruolo del ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Carey, Henry Charles
Enciclopedia on line
Economista (Filadelfia 1793 - ivi 1879); sostenitore dell'unità delle scienze e fiducioso nell'armonica composizione dei contrastanti interessi, appartiene, insieme con F. Bastiat e J.-B. Say, al filone [...] rate of wages (1835), Principles of political economy (1837-40), The past, the present and the future (1848), The harmony of interests, agricultural, manufac turing and commercial (1851), Principles of social science (1858-59), Unity of law (1872). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Micali, Silvio
Enciclopedia on line
Matematico italiano (n. Palermo 1954). Brillante allievo di C. Böhm, si è laureato in Matematica a La Sapienza di Roma (1978), prima di trasferirsi negli Stati Uniti e conseguire un dottorato in Informatica [...] dati alla ricerca, nel 1993 ha vinto il Premio Gödel e nel 2007 è stato chiamato a far parte dell’Accademia Nazionale delle Scienze degli Stati Uniti. Nel 2012 ha ricevuto il Premio Turing e nel 2017 è stato nominato socio corrispondente dei Lincei. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE