Matematica
Termine, derivato dall’appellativo al-Khuwārizmī («originario della Corasmia») del matematico Muḥammad ibn Mūsa del 9° sec., che designa qualunque schema o procedimento sistematico di calcolo [...] state dimostrate equivalenti. È possibile costruire delle macchinediTuring che calcolano una qualsiasi funzione ricorsiva, dei sistemi di Post che eseguono il calcolo di una qualsiasi macchinadiTuring ecc. Questo è una conferma empirica della ...
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 [...] fu messa a fuoco con la definizione di Alan M. Turingdimacchina calcolatrice ideale. La macchinadiTuring, puramente concettuale, consiste in un nastro di memoria di lunghezza praticamente infinita, suddiviso in celle lette da una testina ...
Leggi Tutto
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 [...] fu messa a fuoco con la definizione di Alan M. Turingdimacchina calcolatrice ideale. La macchinadiTuring, puramente concettuale, consiste in un nastro di memoria di lunghezza praticamente infinita, suddiviso in celle lette da una testina ...
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 macchinediTuring. A tali studi hanno fatto seguito quelli di Manuel Blum e Albert Meyer, aventi per oggetto le proprietà astratte (indipendenti ...
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
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
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: [...] , ben sintetizzato nella famosa formulazione del problema proposta dal matematico Alan Turing, uno dei padri dell'informatica: una macchina avrà pienamente raggiunto lo scopo di simulare il comportamento umano solo se sarà impossibile, per un ...
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 [...] parallelo
Il concetto di supercalcolatore nasce negli anni Settanta del Novecento. Charles Babbage, Alan Turing e John von Neumann, i padri fondatori della scienza dei calcolatori, avevano concepito il calcolatore come macchina universale, ma questa ...
Leggi Tutto
Programmazione, algoritmi di
Alessandro Panconesi
Il termine algoritmo denota un procedimento sistematico ed esplicitato nei suoi passi elementari per l’esecuzione di un calcolo, inteso nella sua accezione [...] conoscenza complessiva data dal contesto culturale di riferimento, vale a dire da una macchina.
Bibliografia
Harel, Feldman 2004: Alan Turing: the enigma, New York, Simon and Schuster, 1983 (trad. it.: Storia di un enigma: vita di Alan Turing, Torino ...
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...