calcolabilita
Enciclopedia della Matematica (2013)
calcolabilita
calcolabilità in logica, termine che indica la possibilità di descrivere in modo sequenziale, deterministico e finito, una procedura di calcolo che consenta di pervenire a un dato risultato. [...] anni Trenta del Novecento, ben prima quindi della realizzazione dei calcolatori elettronici. In particolare il logico inglese A.M. Turing descrisse un automa esecutore in grado di eseguire azioni elementari e di comporle in modo tale da determinare i ...
Leggi Tutto
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
INFORMAZIONE E COMPUTAZIONE QUANTISTICA: TEORIA
XXI Secolo (2010)
Informazione e computazione quantistica: teoria
Mario Rasetti
Al crocevia tra scienza e tecnologia
La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] una macchina da calcolo. Mentre, come si è già visto, il modello universale per un computer è la macchina di Turing, che è in grado di accettare tutti i linguaggi numerabili in forma ricorrente, per una teoria formale della computazione quantistica ...
Leggi Tutto
McCarthy
Enciclopedia della Matematica (2013)
McCarthy
McCarthy John (Boston 1927 - Stanford 2011) logico matematico e informatico statunitense. Docente al mit (1958-61) e alla Stanford University (dal 1962), nel 1971 si è aggiudicato il premio [...] Turing per i suoi contributi nel settore dell’intelligenza artificiale. A lui si deve la stessa denominazione di «intelligenza artificiale» con cui si indicano le ricerche relative alla possibilità per macchine o programmi di riprodurre attività ...
Leggi Tutto
Post, sistema di
Enciclopedia della Matematica (2013)
Post, sistema di
Post, sistema di in logica, uno dei modelli sviluppati per proporre una definizione matematica del concetto intuitivo di → funzione calcolabile; altri modelli, tutti tra loro equivalenti, [...] funzione calcolabile in un sistema di Post. Tale nozione è equivalente alla calcolabilità secondo il modello della macchina di Turing; ciò rientra nell’ambito della tesi di → Church secondo cui i modelli di calcolo formali rappresentano tutte e sole ...
Leggi Tutto
Shamir, Adi
Lessico del XXI Secolo (2013)
Shamir, Adi
Shamir, Adi. – Informatico israeliano (n. Tel Aviv 1952). Con Leonard Adleman e Ron R. Rivest ha ideato il sistema di codifica a RSA, per il quale hanno ricevuto il premio Turing dell’ACM [...] (Association for computing machinery) nel 2002; insieme hanno anche fondato la RSA data security. S. ha conseguito il dottorato in informatica in Israele al Weizmann institute nel 1977. Dal 1977 al 1980 ...
Leggi Tutto
Cerf, Vint (propr. Vinton Gray)
Lessico del XXI Secolo (2012)
Cerf, Vint (propr. Vinton Gray)
Cerf, Vint (propr. Vinton Gray). – Informatico statunitense (n. New Haven 1943), considerato uno dei padri di Internet. Nel 2004 ha ricevuto insieme a Robert Kahn il premio [...] Turing conferito dall’ACM (Association for computing machinery). Dopo gli studi di matematica presso la Stanford university, conseguì il PhD in informatica all'Università della California. Nel 1973 ideò con Robert Kahn presso l’agenzia governativa ...
Leggi Tutto
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
automa universale
Enciclopedia della Matematica (2013)
automa universale
automa universale espressione utilizzata per indicare un automa in grado di calcolare i valori di una qualsiasi funzione calcolabile. In teoria della calcolabilità è sinonimo di → algoritmo. [...] L’esempio fondamentale di automa universale è quello introdotto da A.M. Turing (→ Turing, macchina di). ...
Leggi Tutto
Emerson, Ernest Allen
Lessico del XXI Secolo (2012)
Emerson, Ernest Allen
Emerson, Ernest Allen. – Informatico statunitense (n. Dallas 1954). Professore di informatica all’università di Austin, in Texas, nel 2007 è stato insignito – insieme a Edmund Clarke [...] e Joseph Sifakis – del premio Turing conferito dall'ACM (Association for computing machinery), per avere sviluppato la tecnica del model checking, un metodo per valutare in maniera automatica il design di software e hardware, ampiamente utilizzata ...
Leggi Tutto