Turing, macchina di

Enciclopedia della Matematica (2013)

Turing, macchina di Turing, macchina di automa universale, elaborato dal logico inglese A.M. Turing, che fornisce una traduzione formale del concetto intuitivo di → calcolabilità. Sebbene introdotta [...] (indecidibilità della fermata di una macchina di Turing). Come ogni automa, la macchina di Turing può essere utilizzata come riconoscitore di un linguaggio, stabilendo che una stringa scritta sul nastro di una macchina di Turing M appartiene al ... Leggi Tutto

TAGS: FUNZIONI CALCOLABILI – LINGUAGGIO REGOLARE – MACCHINA DI TURING – FUNZIONI RICORSIVE – LETTURA/SCRITTURA

Turing, problema della fermata di una macchina di

Enciclopedia della Matematica (2013)

Turing, problema della fermata di una macchina di Turing, problema della fermata di una macchina di → Turing, macchina di. ... Leggi Tutto

TAGS: MACCHINA DI → TURING

Turing, configurazione di una macchina di

Enciclopedia della Matematica (2013)

Turing, configurazione di una macchina di Turing, configurazione di una macchina di → Turing, macchina di. ... Leggi Tutto

Turing, macchina universale di

Enciclopedia della Matematica (2013)

Turing, macchina universale di Turing, macchina universale di → Turing, macchina di. ... Leggi Tutto

Turing, Alan Mathison

Enciclopedia on line

Matematico e logico matematico britannico (Londra 1912 - Manchester 1954). Pioniere della scienza dell'informazione e dell'intelligenza artificiale, ha legato il suo nome, in particolare, a un metodo da [...] a n argomenti numerici sarà detta T. computabile esattamente quando esiste una macchina di T. capace di fornire il valore della funzione in corrispondenza di una determinata n-pla di numeri. Il nome di T. è legato anche ad altri importanti risultati ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: SCIENZA DELL'INFORMAZIONE – INTELLIGENZA ARTIFICIALE – SECONDA GUERRA MONDIALE – LOGICA MATEMATICA – MATEMATICA

informatica

Enciclopedia on line

Scienza che studia l’elaborazione delle informazioni e le sue applicazioni; più precisamente l’i. si occupa della rappresentazione, dell’organizzazione e del trattamento automatico della informazione. [...] elaborazione e della formalizzazione del concetto di procedura di calcolo, che possiamo datare al 1936, allorché A.M. Turing presentò un modello di calcolo, oggi noto come macchina di Turing. Elaborazione delle informazioni È caratterizzata da tre ... Leggi Tutto

CATEGORIA: ELABORATORI – INTERNET

TAGS: MUSICAL INSTRUMENT DIGITAL INTERFACE – CODICE DI PROCEDURA PENALE ITALIANO – LINGUAGGI DI PROGRAMMAZIONE – STATISTICA MULTIVARIATA – SECONDA GUERRA MONDIALE

complessità

Enciclopedia on line

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 [...] 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 riduce a Q ... Leggi Tutto

CATEGORIA: ANTROPOLOGIA FISICA – TEMI GENERALI – FISICA MATEMATICA – LOGICA MATEMATICA

TAGS: SENSIBILITÀ ALLE CONDIZIONI INIZIALI – EQUILIBRIO TERMODINAMICO – STRATIFICAZIONE SOCIALE – TEORIA DELLE CATASTROFI – FUNZIONE ESPONENZIALE

calcolatore

Enciclopedia on line

(o computer, o elaboratore elettronico) Apparecchio o dispositivo utilizzato per l’elaborazione di dati e segnali. Cenni storici Le origini Il desiderio di realizzare uno strumento in grado di compiere [...] E.L. Post, i quali in modo indipendente introdussero nel 1936 due modelli concettuali di elaborazione: la macchina di Turing e il sistema di Post. I prototipi I c. progettati e prodotti tra il 1936 e il 1950 erano essenzialmente prototipi, costruiti ... Leggi Tutto

CATEGORIA: ELABORATORI

TAGS: TEORIA DELLA COMPUTABILITÀ – UNITÀ ARITMETICA E LOGICA – ELABORATORE ELETTRONICO – SECONDA GUERRA MONDIALE – SCIENZA DEI CALCOLATORI

CERVELLO E COMPUTER

Enciclopedia Italiana - IX Appendice (2015)

CERVELLO E COMPUTER. Pietro Calissano Sergio Nasi – Protagonisti a confronto. Complessità strutturale. Ricevere e distinguere le informazioni. Plasticità e memoria. Funzionamento. Conclusioni Le conoscenze [...] , come Alan Turing (1936, macchina di Turing), Alonzo Church (1936, che propose idee simili a quelle di Turing) e John consuma dieci volte più energia degli altri organi del corpo a parità di peso, ma è un consumo irrisorio (equivalente a 20-50 W), ... Leggi Tutto

TAGS: SISTEMA NERVOSO PERIFERICO – INTELLIGENZA ARTIFICIALE – TEORIA DELLA COMPLESSITÀ – RIFLESSO CONDIZIONATO – POTENZIALE D’AZIONE

MENTE

Enciclopedia Italiana - V Appendice (1993)

MENTE Antonio Rainone Massimo Stanzione Premessa.- Collocata com'è al punto d'incontro tra speculazione gnoseologica, metafisica, etica e teologica, nel corso del pensiero occidentale la m. e le funzioni [...] Un'affermazione naturalmente non condivisa da tutti quelli che, come Edelman, rifiutano l'analogia cervello-macchina di Turing, e anche dai connessionisti. Connessionismo e teoria della selezione dei gruppi neuronali. − Il paradigma connessionistico ... Leggi Tutto

TAGS: MASSACHUSETTS INSTITUTE OF TECHNOLOGY – PRINCIPIO D'INDETERMINAZIONE – ATTEGGIAMENTI PROPOSIZIONALI – FATTORE DI CRESCITA NERVOSO – SISTEMA NERVOSO PERIFERICO