macchinamàcchina [Der. del lat. machina, dal gr. machaná o mechané] [LSF] Dispositivo costituito da un complesso di parti collegate in modo da ottenere un certo scopo, che spesso è la produzione di [...] discreti del comportamento di m. o dispositivi automatici reali o realizzabili; in partic., m. diTuring (v. Gödel, teorema di: III 56 f , quali i trasformatori e i raddrizzatori: v. macchine elettriche (anche per i vari tipi particolari non nominati ...
Leggi Tutto
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
Storia dei concetti e delle tecniche nella ricerca sulle reti neurali
Jack D. Cowan
(Department of Mathematics, University of Chicago Chicago, Illinois, USA)
In questo saggio descriveremo diverse ricerche [...] von der Malsburg, i risultati ottenuti sono simili a quelli di AM. Turing (1952). Il punto chiave è che mediante una scelta Con questa regola le macchinedi Boltzmann sono capaci di risolvere una serie di problemi di ottimizzazione vincolata, molti ...
Leggi Tutto
La vita artificiale
Thomas S. Ray
(ATR Human lnformation Processing, Research Laboratories Kyoto, Giappone)
La vita artificiale (VA) estende il campo di indagine della biologia, permettendo di studiare [...] , dovuti a un'esperienza limitata alla vita organica. Il test diTuring esemplifica questo problema. Si tratta di un metodo proposto da A. Turing per capire se una macchina è diventata intelligente. Tale test si basa sulla comunicazione, tramite ...
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 [...] i codici segreti delle forze armate tedesche, si occupa nel dopoguerra di intelligenza artificiale proponendo una definizione di 'intelligenza' basata sul test diTuring (la macchina è 'intelligente' se il suo comportamento può essere confuso con ...
Leggi Tutto
Reti neurali
100.000.000.000 neuroni, 700.000.000.000.000 sinapsi per costruire un pensiero
Modelli interpretativi dei circuiti neuronali
diPaolo Del Giudice
13 luglio
Al Dartmouth College, nel New Hampshire, [...] del cervello: è successo con la cibernetica e la teoria dell’informazione, la teoria formale del calcolo (macchinediTuring e logica degli automi), l’informatica, l’intelligenza artificiale, la linguistica computazionale, la ricerca operativa, la ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica (1945-1960). L'elettronica e il calcolo
Jon Agar
L'elettronica e il calcolo
Negli anni 1945-1946 fu resa pubblica la definizione di 'calcolatore [...] in una macchina commerciale denominata Ferranti Mark I. Installata alla Manchester University, essa fu utilizzata per ricerche matematiche e scientifiche da un gruppo di lavoro di cui faceva parte Alan M. Turing (1912-1954), il quale ne redasse ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica (1920-1945). L'elettronica e il calcolo
Jon Agar
L'elettronica e il calcolo
L'elettronica
Nel secondo decennio del XX sec., il termine 'elettronico' [...] verso la metà degli anni Trenta del XX sec., Turing aveva descritto una macchina immaginaria, oggi nota come la macchina universale diTuring, che in seguito avrebbe mostrato di essere equivalente nella logica al calcolatore a programma memorizzato ...
Leggi Tutto
problema dell’arresto
Fabrizio Luccio
Primo esempio di problema indecidibile, cioè che non ammette alcun algoritmo di risoluzione. Il problema dell’arresto nacque nel 1936, sulla base di studi sugli [...] fine del XIX sec. La sua enunciazione è dovuta ad Alan Turing ed è basata sulla formalizzazione dei modelli primitivi di calcolo sviluppati all’inizio di quel secolo, tra cui la macchina dello stesso autore. In modo informale il problema può essere ...
Leggi Tutto
Informatica umanistica
Giovanni Adamo
Tullio Gregory
Parte introduttiva
di Giovanni Adamo
L'espressione informatica umanistica è stata coniata all'inizio degli anni Novanta sul modello di locuzioni [...] Institute for Advanced Study dell'università di Princeton: il nuovo calcolatore fu inaugurato nel giugno 1952. Anche a seguito delle ricerche sulla ricorsività e sulla macchina ideale condotte da A.M. Turing, von Neumann aveva maturato la convinzione ...
Leggi Tutto
macchina
màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...