Turing 〈tiùrin〉 Alan Mathison [STF] (Londra 1912 - Wilmslow, Cheshire, 1954) Lettore di matematica nell'univ. di Manchester (1948). ◆ [INF] Ipotesi di T.: v. automi, teoria degli: I 330 b. ◆ [INF] Macchina [...] di T.: modello meccanico di algoritmi, proposto da T. nel 1936: v. automi, teoria degli: I 330 b e Gödel, teorema di: III 56 f. ◆ [INF] Test di T.: v. intelligenza artificiale: III 233 b ...
Leggi Tutto
Computer science
Scott Kirkpatrick
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e l’ingegneria, costituendo dal punto di vista accademico un settore [...] effettua una qualunque successione di operazioni fu messa a fuoco con la definizione di Alan M. Turing di macchina calcolatrice ideale. La macchina di Turing, puramente concettuale, consiste in un nastro di memoria di lunghezza praticamente infinita ...
Leggi Tutto
intelligenza artificiale
Nicola Nosengo
Imitare la mente umana
L'intelligenza artificiale è una disciplina situata all'incrocio tra informatica e psicologia, nata nella seconda metà del 20° secolo. [...] replicanti al cinema
Costruire macchine che siano indistinguibili dagli esseri umani fino a simularne le emozioni. Il sogno di AlanTuring è stato ripreso molte volte dal cinema. Un buon esempio di questo obiettivo si vede nel film A.I. Intelligenza ...
Leggi Tutto
INFORMAZIONE, SCIENZA DELLA
Roman Tirler
Pierluigi Ridolfi
Stefano Ceri e Alfonso Fuggetta
Tecnologie della comunicazione di Roman Tirler
Sommario: 1. Introduzione. 2. Tecniche di comunicazione dati: [...] contempo più arduo di tutta l'informatica, ben sintetizzato nella famosa formulazione del problema proposta dal matematico AlanTuring, uno dei padri dell'informatica: una macchina avrà pienamente raggiunto lo scopo di simulare il comportamento umano ...
Leggi Tutto
Elettronica
Vittorio Capecchi
Definizione di elettronica
L'elettronica è la tecnica che permette di manipolare gli elettroni (le particelle dell'atomo che hanno carica negativa) in modo da ottenere [...] Tilly, L.A. (a cura di), Computer chips and paper clips, Washington 1986.
Hodges, A., AlanTuring the enigma, New York 1983 (tr. it.: Storia di un enigma. Vita di AlanTuring 1912-1954, Torino 1991).
Humbert, M., Perrault, J.L., La globalisation de l ...
Leggi Tutto
La grande scienza. Intelligenza artificiale
Marco Somalvico
Francesco Amigoni
Viola Schiaffonati
Intelligenza artificiale
In questa trattazione viene presentata l'intelligenza artificiale (nel seguito [...] della fisiologia e delle funzioni di base dei neuroni, alla logica proposizionale e alla teoria della computabilità di AlanTuring. L'idea alla base del progetto cibernetico è quella di studiare i meccanismi dell'autoregolazione e del controllo ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] del Novecento, i cui precedenti si possono riconoscere nei lavori sui sistemi formali condotti da logici, in particolare AlanTuring, Axel Thue e Emil Post. Parallelamente, e in modo apparentemente indipendente, lo stesso concetto è stato sviluppato ...
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 [...] . Esso costituisce di fatto una prosecuzione e un arricchimento dell'opera dei logici (quali Kurt Gödel, Stephen Kleene, AlanTuring e Alonzo Church), che negli anni Trenta hanno affrontato e risolto i primi importanti interrogativi riguardanti la ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La cibernetica
Roberto Cordeschi
Teresa Numerico
Le origini
Il termine cibernetica fu coniato dal matematico Norbert Wiener (1894-1964), che nel 1948 pubblicò negli Stati Uniti un libro destinato ad [...] insieme ad altri pionieri della cibernetica e della scienza dei calcolatori, come Claude Shannon, John von Neumann, AlanTuring, figura tra i protagonisti di questo volume, che in Italia doveva influenzare generazioni di studenti e futuri ricercatori ...
Leggi Tutto
Computer. Calcolo parallelo
Nicola Cabibbo
La conoscenza delle leggi che governano un dato fenomeno permette in linea di principio di prevederne lo sviluppo nel tempo, ma con i normali strumenti offerti [...] .
Dal supercalcolo al calcolo parallelo
Il concetto di supercalcolatore nasce negli anni Settanta del Novecento. Charles Babbage, AlanTuring e John von Neumann, i padri fondatori della scienza dei calcolatori, avevano concepito il calcolatore come ...
Leggi Tutto