– Protagonisti a confronto. Complessità strutturale. Ricevere e distinguere le informazioni. Plasticità e memoria. Funzionamento. Conclusioni
Le conoscenze sempre più approfondite sul funzionamento del [...] discussa dai pionieri dei calcolatori e dell’intelligenza artificiale, come Alan Turing (1936, macchina di Turing), Alonzo Church (1936, che propose idee simili a quelle di Turing) e John von Neuman (1945, progettazione del primo computer simile a ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] Stearns e Philip M. Lewis, i quali hanno definito e studiato il concetto di classe di complessità per le macchine di Turing. A tali studi hanno fatto seguito quelli di Manuel Blum e Albert Meyer, aventi per oggetto le proprietà astratte (indipendenti ...
Leggi Tutto
Clarke, Edmund Melson
Clarke, Edmund Melson. – Informatico statunitense (n. Newport News 1945). Laureatosi in matematica nel 1967 all’University of Virginia, nel 1976 ha ottenuto il dottorato di informatica [...] university di Pittsburgh (PA). Nel 2007 ha ricevuto – insieme a Ernest Allen Emerson e Joseph Sifakis – il premio Turing dell’ACM (Association for computing machinery) per le ricerche nello sviluppo di metodi formali automatizzati atti a verificare ...
Leggi Tutto
Dahl, Ole-Johan
Dahl, Ole-Johan. – Informatico norvegese (Mandal 1931 - Asker 2002). Divenuto professore di informatica nel 1962 presso l’Università di Oslo, nella metà degli anni Sessanta ha collaborato [...] in seguito aggiornato divenendo un vero e proprio linguaggio di programmazione. Nel 2001 è stato insignito del premio Turing rilasciato dall'ACM (Association for computing machinery). Simula è un linguaggio di programmazione a oggetti conosciuto per ...
Leggi Tutto
intelligènza artificiale (IA) Disciplina che studia se e in che modo si possano riprodurre i processi mentali più complessi mediante l'uso di un computer. Tale ricerca si sviluppa secondo due percorsi [...] sempre più efficienti. Fino a oggi, però, nessun calcolatore è mai riuscito a superare il test di Turing (che prende il nome dal logico A.M. Turing che lo ideò) che afferma che una macchina 'pensa' quando un osservatore umano che interagisca con essa ...
Leggi Tutto
Neumann (von), automa di
Neumann (von), automa di nell’accezione generale, modello logico di una macchina che esegue calcoli e prende decisioni in base ai dati immagazzinati nella sua memoria e a un [...] transizioni, così come avviene per l’automa universale di → Turing, bensì operando sulla base di una lista ordinata di azioni automi cellulari si è successivamente sviluppata grazie ai lavori di A. Turing, J. von Neumann e S. Wolfram ed è ormai alla ...
Leggi Tutto
Kleene
Kleene Stephen Cole (Hartford, Connecticut, 1909 - Madison, Wisconsin, 1994) matematico e logico statunitense. Membro della National Academy of Sciences statunitense e professore dal 1935 al 1979 [...] in parallelo con gli sviluppi dei linguaggi rappresentativi di tale insieme portati avanti da vari logici, quali per esempio A.M. Turing ed E.L. Post nel quadro della cosiddetta tesi di → Church. A Kleene si deve anche la definizione, per i predicati ...
Leggi Tutto
Tutte
Tutte William Thomas (Newmarket, Suffolk, 1917 - Kitchener, Ontario, 2002) matematico canadese di origine inglese. Studioso di combinatoria e teoria delle matroidi, nonché esperto crittoanalista, [...] , nel 1941 si iscrisse alla Government Code and Cipher School, la scuola di stato per la crittografia. Con A.M. Turing e altri, fu tra i matematici e logici incaricati dal governo britannico di decrittare i messaggi cifrati delle potenze dell’asse ...
Leggi Tutto
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
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Il computer, un oggetto ormai di uso quotidiano, ha una storia che affonda le sue origini [...] dei risultati matematici. Questo obiettivo attraversa i secoli e resta una costante nelle ricerca di quanti (da Babbage a Turing, da Aiken a Eckert e Mauchly) hanno lavorato per potenziare la capacità di calcolo degli elaboratori e per miniaturizzare ...
Leggi Tutto
turingiano
agg. e s. m. [dal nome della regione della Turingia (v. turingio)]. – Piano geologico superiore del permiano, tipico dell’Europa centro-orientale e in partic. della Turingia (corrispondente alla facies detta in Germania Zechstein),...
turingio
turìngio agg. [der. del nome della regione] (pl. f. -ge o -gie). – Della Turingia (ted. Thüringen), regione storica e moderna della Germania centro-orientale: le antiche popolazioni t., di stirpe germanica (e, sost., i turingi); il...