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
MACCHINE
Vittorio Marchis e Marcella Corsi
Storia della tecnologia
di Vittorio Marchis
Definizioni e classificazione
Si definisce macchina un complesso di elementi fissi e mobili, vincolati cinematicamente, [...] macchine e alla tecnica non può essere unica, ma dipende fortemente dal contesto sociale a cui si riferiscono.
Nel 1936 AlanTuring aveva formulato la teoria degli automi sviluppando, a puro livello teorico, un modello di macchina 'digitale' e aveva ...
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 seconda rivoluzione scientifica: fisica e chimica. La Seconda guerra mondiale
Daniel J. Kevles
La Seconda guerra mondiale
La Seconda guerra mondiale vide un impiego senza precedenti della tecnologia. [...] Enigma. All'inizio usarono alcuni ingegnosi sistemi inventati dagli analisti polacchi ma, ben presto, il matematico Alan M. Turing ideò una potentissima macchina per la decodificazione dalla quale, all'inizio del 1944, gli inglesi svilupparono ...
Leggi Tutto