Conway
Enciclopedia della Matematica (2013)
Conway
Conway John Horton (Liverpool 1937) matematico inglese. Specialista in teoria dei gruppi, teoria dei giochi e teoria dei nodi, nonché brillante divulgatore, è noto in particolare per l’ideazione [...] di morte, dipende da quello delle celle adiacenti e che si è dimostrato avere le stesse potenzialità di una macchina di Turing universale. Al di là degli aspetti ludici e delle particolari configurazioni che si formano nell’interazione tra celle, il ...
Leggi Tutto
La grande scienza. Computer science
Storia della Scienza (2003)
La grande scienza. Computer science
Scott Kirkpatrick
Computer science
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e dell'ingegneria, costituendo dal [...] e cambiare lo stato interno. Benché nella pratica questo modo di operare fosse poco efficiente, esso realizzava gli obiettivi di Turing. Nel 1936 egli mostrò che la sua macchina era in grado di eseguire qualsiasi calcolo matematico, ma non era capace ...
Leggi Tutto
CATEGORIA:
PROGRAMMAZIONE E PROGRAMMI
Nygaard, Kristen
Lessico del XXI Secolo (2013)
Nygaard, Kristen
Nygaard, Kristen. – Informatico norvegese (Oslo 1926 - ivi 2002). Laureatosi in matematica all’università di Oslo nel 1956, alla metà degli anni Sessanta collaborò con Ole-Johan Dahl [...] programmazione. N. e Dahl sono stati i primi a introdurre concetti del paradigma orientato agli oggetti e per tale rilevante contributo nel 2001 sono stati insigniti ex aequo del premio Turing assegnato dall'ACM (Association for computing machinery). ...
Leggi Tutto
Logica e processi cognitivi
Enciclopedia Italiana - VII Appendice (2007)
Logica e processi cognitivi
Carlo Cellucci
Sarebbe difficile comprendere l'attuale stato dei rapporti tra l. e p. c. senza riferirsi a tre fattori che li hanno influenzati profondamente. Il primo fattore [...] , che simuli tale comportamento in modo che a ogni stato mentale corrisponda una configurazione della macchina. L'analisi di Turing ha avuto notevole influenza sul modo di concepire i rapporti tra l. e p. c. soprattutto attraverso il funzionalismo ...
Leggi Tutto
CATEGORIA:
LOGICA
Yao, Andrew
Lessico del XXI Secolo (2013)
Yao, Andrew
Yao, Andrew. – Informatico e teorico della computazione statunitense (n. Shanghai 1946), ideatore di algoritmi efficienti e studioso della teoria della complessità. Dopo la laurea a Taiwan, [...] di numeri pseudocasuali, di crittografia e di complessità della comunicazione. Nel 2000 gli è stato assegnato il premio Turing dell’ACM (Association for computing machinery) per il suo contributo fondamentale alla teoria della computazione. ...
Leggi Tutto
cinema e matematica
Enciclopedia della Matematica (2013)
cinema e matematica
cinema e matematica Il matrimonio tra cinema e scienza è di quelli di lunga durata. Risale addirittura alla preistoria della settima arte, alle sperimentazioni fotografiche di P.J. [...] sotterranei. Anche Enigma (2001) di Michael Apted è la storia di un talento matematico ispirato alla figura di A. Turing, uno dei più brillanti matematici e logici del xx secolo, uno dei padri della moderna informatica, suicida nel 1954 (ingerendo ...
Leggi Tutto
Liskov, Barbara
Lessico del XXI Secolo (2013)
Liskov, Barbara
Liskov, Barbara (propr. Barbara Jane Huberman). – Informatica statunitense (n. Los Angeles 1939), prof. di ingegneria presso il MIT (Massachusetts institute of technology), è stata la [...] posto di uno di una superclasse senza alterare il comportamento di un programma. Nel 2008 gli è stato assegnato il premio Turing dell'ACM (Association for computing machinery), per il ruolo svolto nel lavoro teorico e pratico per la realizzazione dei ...
Leggi Tutto
Naur, Peter
Lessico del XXI Secolo (2013)
Naur, Peter
Naur, Peter. – Astronomo e informatico danese (n. Frederiksberg 1928). Laureatosi in astronomia nel 1949 all'università di Copenaghen, vi ha conseguito il PhD nel 1957. Ha partecipato alla [...] di un linguaggio di programmazione che fornisce descrizioni utili che permettono di generare direttamente gli analizzatori sintattici. Per tali contributi, nel 2005 è stato insignito del premio Turing dell'ACM (Association for computing machinery). ...
Leggi Tutto
registro
Enciclopedia della Matematica (2013)
registro
registro porzione di → memoria dell’elaboratore dedicata all’esecuzione dei programmi e delle procedure; la sua presenza nell’architettura del computer è finalizzata a velocizzare l’accesso [...] specificamente agli → automi a programma o, in generale, a un automa avente una complessiva struttura quale quella della macchina di → Turing, ma dove parti del nastro sono utilizzate per memorizzare dati o istruzioni, a cui l’automa accede e in base ...
Leggi Tutto
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