lambda-calcolo

Enciclopedia della Matematica (2013)

lambda-calcolo lambda-calcolo o λ-calcolo o L-calcolo, modello di calcolo introdotto negli anni Trenta del secolo scorso da A. Church allo scopo di rappresentare formalmente il procedimento di computazione [...] le → funzioni ricorsive, le quali sono calcolabili anche con il modello della macchina universale di → Turing e ciò costituisce un argomento a sostegno della tesi di → Church. Come premessa al λ-calcolo vanno considerate due osservazioni che sono ... Leggi Tutto

TAGS: FUNZIONE RAPPRESENTABILE – FUNZIONE CALCOLABILE – FUNZIONE ARITMETICA – FUNZIONE MATEMATICA – FUNZIONI RICORSIVE

automa

Enciclopedia della Matematica (2013)

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

TAGS: MATRICE DI TRANSIZIONE – LINGUAGGIO REGOLARE – LINGUAGGI FORMALI – DECIDIBILITÀ – SOTTOINSIEME

ricorsivita

Enciclopedia della Matematica (2013)

ricorsivita ricorsività in logica, caratteristica di un procedimento che riduce la complessità di un problema riportandolo a problemi via via più semplici cui il procedimento stesso viene applicato. [...] , fra cui l’insieme delle → funzioni ricorsive, il → lambda-calcolo e la macchina universale di → Turing, i sistemi di → Post. Tali modelli si sono rilevati equivalenti nel senso che l’insieme delle funzioni ricorsive coincide con l’insieme delle ... Leggi Tutto

TAGS: RICORSIVAMENTE ENUMERABILE – TEORIA DELLA → COMPLESSITÀ – TEORIA DEGLI INSIEMI – FUNZIONE CALCOLABILE – INFORMATICA TEORICA

SINERGETICA

Enciclopedia Italiana - V Appendice (1994)

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. [...] con particolare riguardo a sistemi biologici. Nel 1952 A. Turing formulava la teoria generale della morfogenesi nei sistemi chimici. un processo di ordine che implica una riduzione di entropia. Sistemi di tal genere non sono macchine di Carnot, ... Leggi Tutto

Tecnologie digitali

Il Contributo italiano alla storia del Pensiero - Tecnica (2013)

Tecnologie digitali Franco Filippazz Giulio Occhini Fulvia Sala Il diffondersi sempre più rapido delle tecnologie digitali in tutte le attività umane è il fenomeno che meglio caratterizza l’epoca [...] Corrado Boehm (n. 1923), professore emerito dell’Università La Sapienza di Roma, il quale, partendo da ricerche teoriche sulla Macchina universale di Turing e sul modello di von Neumann, è arrivato a formulare nel 1966, in collaborazione con ... Leggi Tutto

ORDINARE IL MONDO

XXI Secolo (2010)

Ordinare il mondo Paolo Zellini La matematica intesa come una razionalizzazione dell’esperienza, secondo la concezione del filosofo e matematico italiano Federigo Enriques (1871-1946), ha sempre cercato [...] sono diverse definizioni possibili, equivalenti tra loro, del concetto di algoritmo: le funzioni ricorsive, il λ-calcolo, il formalismo di Andrej A. Markov (1903-1979) e la macchina di Alan M. Turing (1912-1954). Occorre distinguere tra i modelli in ... Leggi Tutto

CONVERGENZE TECNOLOGICHE NEL WEB

XXI Secolo (2010)

Convergenze tecnologiche nel web Paolo Marocco La rete come grande piattaforma Nel film di fantascienza Bis ans Ende der Welt (Fino alla fine del mondo), diretto da Wim Wenders nel 1991, anno che curiosamente [...] de­componendo frasi, assegnando ruoli, fino a intavolare un vero e proprio dialogo uomo-macchina, analogo a quello del test di Turing. Occorre precisare, mettendo in rilievo non solo un’ambiguità di traduzione ma la metodologia e le strategie a monte ... Leggi Tutto

Le invenzioni

Enciclopedia dei ragazzi (2004)

Le invenzioni Piero Ventura Inventare per risolvere problemi Inventare significa risolvere un problema teorico o pratico attraverso la costruzione di strumenti e di oggetti o lo sviluppo di nuovi metodi [...] intorno e vede una bella ragazza. Guardandola bene gli sembra quasi di conoscerla: è la sua mamma da giovane! Incredibile quello che può fare la macchina di Doc! Marty avrebbe voglia di andare ad abbracciarla con affetto, ma c'è un problema: cosa ... Leggi Tutto

CATEGORIA: STRUMENTI E TECNOLOGIA APPLICATA – TEMI GENERALI

La seconda rivoluzione scientifica: fisica e chimica (1945-1960). L'elettronica e il calcolo

Storia della Scienza (2004)

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 [...] in una macchina commerciale denominata Ferranti Mark I. Installata alla Manchester University, 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 ... Leggi Tutto

CATEGORIA: ELABORATORI – PROGRAMMAZIONE E PROGRAMMI – TEMI GENERALI – ELETTRONICA

La seconda rivoluzione scientifica: fisica e chimica (1920-1945). L'elettronica e il calcolo

Storia della Scienza (2004)

La seconda rivoluzione scientifica: fisica e chimica (1920-1945). L'elettronica e il calcolo Jon Agar L'elettronica e il calcolo L'elettronica Nel secondo decennio del XX sec., il termine 'elettronico' [...] verso la metà degli anni Trenta del XX sec., Turing aveva descritto una macchina immaginaria, oggi nota come la macchina universale di Turing, che in seguito avrebbe mostrato di essere equivalente nella logica al calcolatore a programma memorizzato ... Leggi Tutto

CATEGORIA: TEMI GENERALI – ELETTRONICA