Rappresentazione
Fiorella Giusberti
Renzo Canestrari
Per rappresentazione si intende l'attività e l'operazione di rappresentare con figure, segni e simboli sensibili o con processi vari, anche non [...] potesse lavorare; a tali istanze si accompagnò una crescente attenzione nei confronti di ricercatori come i matematici A.M. Turing in Gran Bretagna e J.L. von Neumann negli Stati Uniti, i quali stavano studiando la possibilità di costruire macchine ...
Leggi Tutto
PSICOLOGIA (XXVIII, p. 457; App. II, 11, p. 628)
Renzo Canestrari-Giuseppe Mucciarelli
Gli anni Quaranta segnano una vigorosa ripresa degli studi psicologici, un'accresciuta tendenza a sottoporre tutti [...] ; K. H. Pribram, 1969); all'approccio cibernetico; all'applicazione di modelli matematici; alle analogie tra calcolatore e cervello (A. M. Turing, 1936, 1950; J. L. von Neumann, 1951, 1958; C. E. Shannon, 1953). La riformulazione dei temi provoca un ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Cinquanta del Novecento furono proposti due approcci allo studio matematico [...] macchina che non richiede memoria di lavoro), i linguaggi di tipo 0 sono precisamente quelli riconosciuti da una macchina di Turing.
La questione della precisa relazione tra la gerarchia di Chomsky e i linguaggi naturali – che si possono considerare ...
Leggi Tutto
Huyghe, Pierre
Giovanna Mencarelli
Artista francese, nato a Parigi l'11 settembre 1962. Ancora ragazzo, prima di avvicinarsi all'arte, H. ha frequentato ambienti culturali alternativi, vicini ai movimenti [...] internazionali di arte contemporanea. Nel 2001 ha vinto il Premio speciale 'La Biennale di Venezia' per l'opera Le château de Turing e nel 2002 il premio Hugo Boss per l'opera Les grandes ensenbles.
bibliografia
Cataloghi di mostre: Pierre Huyghe, a ...
Leggi Tutto
funzione ricorsiva
funzione ricorsiva in logica, funzione aritmetica, cioè di dominio e codominio N, definita a partire da alcune funzioni base e attraverso alcune regole costruttive che ne garantiscono [...] di sistemi di equazioni (K. Gӧdel, S.C. Kleene), di lambda-definibilità (A. Church), di automi ideali (A.M. Turing) ecc. L’equivalenza dei diversi approcci venne interpretata come una prova del fatto che essi fornivano davvero una caratterizzazione ...
Leggi Tutto
funzione calcolabile
funzione calcolabile funzione per la quale esiste una procedura di calcolo (→ algoritmo) che permette di determinarne, in un numero finito di passi, il valore in corrispondenza di [...] di calcolo di una funzione. Fra i modelli di calcolo introdotti ci sono le → funzioni ricorsive, la macchina di → Turing e il λ-calcolo (→ lambda-calcolo). Secondo la cosiddetta tesi di → Church, l’insieme delle funzioni ricorsive rappresenta in ...
Leggi Tutto
Informatica: salto nel vuoto?
Corrado Böhm
Il titolo del saggio è solo in apparenza fantasioso e, pertanto, occorre in qualche modo chiarirlo. Il salto nel vuoto si riferisce al senso di spaesamento [...] alla creatività di nuovi risultati formali in logica matematica e quindi applicabili in informatica.
Il logico Alan M. Turing (1912-1954), inventore dell’omonima macchina, sfruttandone l’universalità ha cercato di aiutare la fantasia dei logici; ma ...
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 [...] , 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 il manuale di programmazione; tra le varie applicazioni va ricordata la realizzazione per ...
Leggi Tutto
definibilita
definibilità termine che designa uno dei principali oggetti di studio della logica matematica, insieme con la dimostrabilità e la calcolabilità; consiste in una riflessione sul concetto [...] di una definizione rigorosa del concetto di → funzione calcolabile; la risposta a questa esigenza è fornita dallʼintroduzione di alcuni modelli di calcolo come la macchina di → Turing, le → funzioni ricorsive e il λ-calcolo (→ lambda-calcolo). ...
Leggi Tutto
automa
automa dispositivo in grado di effettuare una particolare azione in risposta a stimoli esterni. I computer sono esempi di automi complessi che, a partire da dati e programmi, eseguono i comandi. [...] deterministici sono maggiormente descrittivi, ma molti problemi che li riguardano non sono decidibili. Si costruisce così una gerarchia di complessità dei vari automi, analoga alla gerarchia di ampiezza dei linguaggi formali (→ Turing, macchina di). ...
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...