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
Stabilità
Corrado Mascia
Uno degli aspetti fondamentali del mondo naturale è la sua potenzialità di trasformazione; è proprio l'evolvere degli oggetti che permette all'uomo di percepire lo scorrere [...] a un'altra (stabile). Nell'ambito dell'instabilità rientrano due meccanismi particolarmente interessanti: il caos e l'instabilità di Turing.
Le basi per una definizione rigorosa del caos sono state poste dal matematico francese H. Poincaré. Uno degli ...
Leggi Tutto
SINERGETICA
Fortunato Tito Arecchi
Definizione e storia del termine. - Il termine s. è stato introdotto da H. Haken per denotare la scienza dei sistemi composti di molti sottosistemi in mutua interazione. [...] idee venivano estese da L. von Bertalanffy a sistemi aperti, con particolare riguardo a sistemi biologici. Nel 1952 A. Turing formulava la teoria generale della morfogenesi nei sistemi chimici. A metà degli anni Sessanta l'uso della statistica dei ...
Leggi Tutto
universale
universale [agg. e s.m. Der. del lat. universalis, da universus "tutto intero"] [FTC] Qualifica di dispositivi o apparecchi che: (a) possono essere usati in condizioni diverse di alimentazione [...] ] Fibrato u.: v. fibrati: II 571 d. ◆ [ASF] Funzione u. (di luminosità): v. galassie: II 810 e. ◆ [INF] Macchina di Turing u.: v. automi, teoria degli: I 330 e. ◆ [OTT] Obiettivo u.: nella tecnica fotografica, obiettivo dotato di un attacco che gli ...
Leggi Tutto
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] di computabilità di una funzione. In questo senso il l. calcolo è un modello di computazione equivalente alla macchina di Turing. Molti linguaggi di programmazione funzionali, tra cui per es. il LISP, sono basati sul l. calcolo.
medicina Punto l ...
Leggi Tutto
macchina
mà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 [...] ), sistemi formali che costituiscono modelli discreti del comportamento di m. o dispositivi automatici reali o realizzabili; in partic., m. di Turing (v. Gödel, teorema di: III 56 f); (b) teoria delle m., lo studio delle analogie funzionali tra le m ...
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 [...] . Chomsky forma una gerarchia di quattro tipi di grammatiche, dal generale al particolare; il tipo 0 corrisponde alle macchine di Turing; il tipo 1 fornisce i linguaggi dipendenti dal contesto; il tipo 2 dà i linguaggi liberi dal contesto e il tipo ...
Leggi Tutto
complessità Caratteristica di un sistema (perciò detto complesso), concepito come un aggregato organico e strutturato di parti tra loro interagenti, in base alla quale il comportamento globale del sistema [...] polinomiale rispetto alle dimensioni L del problema. Un problema è detto NP (che appartiene alla classe NP) se una macchina di Turing non deterministica è in grado di risolverlo in tempo polinomiale. Dati ora due problemi R e Q si dice che «R si ...
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. [...] . 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 Colossus I ...
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 [...] di un problema algoritmico misurando la quantità di tempo (o spazio) richiesta per risolvere il problema con una macchina di Turing, in funzione della lunghezza dell'input. Essi dimostrano anche l'esistenza di molte coppie di funzioni f(n)⟨g(n ...
Leggi Tutto
turingiano
agg. e s. m. [dal nome della regione della Turingia (v. turingio)]. – Piano geologico superiore del permiano, tipico dell’Europa centro-orientale e in partic. della Turingia (corrispondente alla facies detta in Germania Zechstein),...
turingio
turìngio agg. [der. del nome della regione] (pl. f. -ge o -gie). – Della Turingia (ted. Thüringen), regione storica e moderna della Germania centro-orientale: le antiche popolazioni t., di stirpe germanica (e, sost., i turingi); il...