Wirth
Wirth Niklaus (Winterthur, Zurigo, 1934) informatico svizzero. Laureatosi nel 1959 in ingegneria elettronica presso il Politecnico confederale di Zurigo, ha insegnato informatica prima alla Stanford [...] permettesse una tecnica di programmazione strutturata. Per l’invenzione del Pascal e il suo contributo allo sviluppo di linguaggi di programmazione strutturati ha ricevuto nel 1984, dalla Association for Computing Machinery (acm), il Premio Turing. ...
Leggi Tutto
Attore inglese (n. Londra 1976). Dopo essersi laureato in drammaturgia all'università di Manchester, ha continuato a studiare recitazione presso la London Academy of Music and Dramatic Art. Dal 2001 ha [...] da protagonista della serie televisiva Sherlock (2010-2017) e sul grande schermo per War Horse (2011) di S. Spielberg, come Alan Turing nel film The Imitation Game (2014, per il quale ha ricevuto la nomination al Premio Oscar) e per il ruolo del ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] mediante un numero finito di operazioni. Tale convinzione venne confutata da un risultato di A. Turing (1937). Per ottenere tale risultato Turing ideò un modello puramente matematico dei procedimenti di computo sotto forma di una macchina ideale ...
Leggi Tutto
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] tutti i formalismi erano equivalenti tra di loro nel senso che, per esempio, ogni funzione calcolabile tramite una macchina di Turing lo era anche mediante le funzioni ricorsive e viceversa. In secondo luogo non si riusciva a trovare nessuna funzione ...
Leggi Tutto
Sistemi reagenti complessi
Sergio Carrà
La chimica ha raggiunto un soddisfacente grado di sviluppo, in virtù del quale costituisce un efficace e indispensabile strumento per la comprensione dei fenomeni [...] genetici modulari, in virtù dei quali le figure osservate risultano composte da una molteplicità di elementi.
Il lavoro di Turing e dei suoi epigoni ha però riacquistato un interessante rilancio in seguito a un recente lavoro sperimentale di Stefanie ...
Leggi Tutto
Economista (Filadelfia 1793 - ivi 1879); sostenitore dell'unità delle scienze e fiducioso nell'armonica composizione dei contrastanti interessi, appartiene, insieme con F. Bastiat e J.-B. Say, al filone [...] rate of wages (1835), Principles of political economy (1837-40), The past, the present and the future (1848), The harmony of interests, agricultural, manufac turing and commercial (1851), Principles of social science (1858-59), Unity of law (1872). ...
Leggi Tutto
Sistemi chimico-fisici: autoorganizzazione
John Ross
In un sistema isolato, con energia costante, in assenza di scambi di materia e di energia con l'ambiente circostante, possono aver luogo fenomeni [...] system, "Journal of chemical physics", 92, 1990, pp. 3579-3589.
Lengyel, Epstein 1993: Lengyel, Imre - Epstein, Irving R., Turing structures in simple chemical reactions, "Accounts of chemical research", 36, 1993, pp. 235-240.
Li, Ross 1991: Li, Rong ...
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
Discreto e continuo
Paolo Zellini
Matematica e intuizione
La matematica ha sempre cercato di stabilire un nesso tra il continuo e il discreto, il primo esemplificato, tipicamente, nelle figure dello [...] valori x′ per cui |p(x′)|≤ε. In termini mutuati da Turing, si direbbe dunque che Ω è un insieme di arresto.
Per in ogni caso, a un preciso modello di calcolo, macchina di Turing, macchina ad accesso random o speciali linguaggi di programmazione). Un ...
Leggi Tutto
GRAMMATICA GENERATIVA
Giulio Lepschy
. La g. g. (di cui la g. trasformazionale è il tipo più importante) costituisce la maggiore novità nella linguistica teorica contemporanea. È stata ideata e costruita [...] finiti") e gli studi compiuti nel nostro secolo sulla teoria matematica della computabilità e della ricorsività (A. M. Turing, E. Post, ecc.) che consentono di dare una formulazione precisa a tale intuizione. Il termine "generativo" si riferisce ...
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...