Enigma: una spy story matematica
Enigma: una spy story matematica
Enigma è il nome di una macchina elettromeccanica ideata per scopi commerciali dall’ingegnere tedesco Arthur Scherbius nel 1918 e messa [...] in modo significativo la durata della guerra. A dare il maggiore contributo alla costruzione delle bombe inglesi fu un matematico, AlanTuring, che giunse a Bletchley Park il 4 settembre 1939 e fu subito messo a capo della baracca 8, dove lavorava ...
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 [...] : the enigma, New York, Simon and Schuster, 1983 (trad. it.: Storia di un enigma: vita di AlanTuring, Torino, Bollati Boringhieri, 1991).
Luccio, Pagli 1999: Luccio, Fabrizio - Pagli, Linda, Algoritmi, divinità e gente comune, Pisa, ETS, 1999.
Nagel ...
Leggi Tutto
Macchina di Turing
Mauro Cappelli
Modello di agente di calcolo adatto a simulare la logica di qualsiasi algoritmo computazionale. La macchina formale fu proposta nel 1936 dal logico e matematico britannico [...] AlanTuring, come sistema astratto che, opportunamente programmato, era capace di eseguire ogni tipo di operazione (l’idea di Turing era di rendere automatica una macchina da scrivere). Oggi ne esistono molte varianti, la più semplice delle quali è ...
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 [...] insiemi infiniti della fine del XIX sec. La sua enunciazione è dovuta ad AlanTuring 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 ...
Leggi Tutto
calcolabilità
Fabrizio Luccio
La teoria che studia la possibilità di calcolare una funzione dagli interi sugli interi mediante un modello astratto di computazione come per es. la macchina di Turing. [...] alcun algoritmo di calcolo, ovvero problemi non risolubili mediante algoritmi. Il primo di questi problemi, scoperto da AlanTuring nel 1936, può essere formulato in termini intuitivi affermando che non esiste algoritmo che, presi come dati d ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] ; essa risale ai lavori di logici dei primi decenni del Novecento, quali Emil L. Post, Alonzo Church e Alan M. Turing, motivati dalla necessità di dare un fondamento alla nozione di dimostrazione matematica sulla via inaugurata dai lavori di David ...
Leggi Tutto
La grande scienza. Dinamica dei reagenti complessi sistemi
Sergio Carrà
Dinamica dei sistemi reagenti complessi
La chimica contemporanea costituisce un efficace e spesso indispensabile strumento per [...] -cell simulation: a grand challenge of the 21st Century, "Trends in biotechnology", 19, 2001, pp. 205-210.
Turing 1952: Turing, Alan M., The chemical basis of morphogenesis, "Philosophical Transactions of the Royal Society" (Series B), 237, 1952, pp ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] richiesta per risolvere il problema con una macchina di Turing, in funzione della lunghezza dell'input. Essi dimostrano anno, la medaglia Fields.
I teoremi di Baker. L'inglese Alan Baker dimostra una notevole estensione del teorema con cui nel 1934 ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] dal generale al particolare; il tipo 0 corrisponde alle macchine di Turing; il tipo 1 fornisce i linguaggi dipendenti dal contesto; il tipo di analisi elementare mediante assorbimento atomico. Alan Walsh, della Commonwealth Scientific and Industrial ...
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 [...] 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