La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] .
Fra le varie definizioni equivalenti di funzione ricorsiva abbiamo citato la nozione di calcolabilità mediante macchine astratte. Tale approccio è dovuto a Turing e Post, e le cosiddette 'macchinediTuring' si possono oggi facilmente descrivere ...
Leggi Tutto
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
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, macchinadi). ...
Leggi Tutto
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
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 macchinedi Carnot, ...
Leggi Tutto
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 macchinadi Alan M. Turing (1912-1954).
Occorre distinguere tra i modelli in ...
Leggi Tutto
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 [...] decomponendo frasi, assegnando ruoli, fino a intavolare un vero e proprio dialogo uomo-macchina, analogo a quello del test diTuring.
Occorre precisare, mettendo in rilievo non solo un’ambiguità di traduzione ma la metodologia e le strategie a monte ...
Leggi Tutto
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 macchinadi Doc! Marty avrebbe voglia di andare ad abbracciarla con affetto, ma c'è un problema: cosa ...
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 [...] 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
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 diTuring, che in seguito avrebbe mostrato di essere equivalente nella logica al calcolatore a programma memorizzato ...
Leggi Tutto
macchina
màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...