(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 [...] scienza dei c. sono: la rappresentazione formalizzata di problemi, dati e procedure; la teoriadellacomputabilità e l’analisi degli algoritmi; lo studio e l’applicazione di linguaggi evoluti orientati a specifiche classi di problemi; la definizione ...
Leggi Tutto
INFORMATICA
Paolo Ercoli
Alberto Marini
Con il termine informatica, neologismo di origine francese, s'indica attualmente una nuova ed emergente disciplina, la quale si occupa di particolari rappresentazioni [...] , di cui l'automa costituisce un modello assai semplice.
Tale modello però lo si può mettere a base dellateoriadellacomputabilità che si occupa di stabilire quali funzioni possono essere calcolate da un automa o in generale da un elaboratore ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero - Tecnica (2013)
Il diffondersi sempre più rapido delle tecnologie digitali in tutte le attività umane è il fenomeno che meglio caratterizza l’epoca che stiamo vivendo. Si può inquadrare ciò che sta avvenendo facendo riferimento [...] e logica, fondando la cosiddetta algebra booleana.
Basandosi su queste idee, il primo a formulare la moderna teoriadellacomputabilità fu Alan Turing (1912-1954) con la Macchina universale, descritta in On computable numbers, with an application ...
Leggi Tutto
La grande scienza. Intelligenza artificiale
Marco Somalvico
Francesco Amigoni
Viola Schiaffonati
Intelligenza artificiale
In questa trattazione viene presentata l'intelligenza artificiale (nel seguito [...] nel 1943 il primo modello di neuroni artificiali, attingendo alla conoscenza della fisiologia e delle funzioni di base dei neuroni, alla logica proposizionale e alla teoriadellacomputabilità di Alan Turing. L'idea alla base del progetto cibernetico ...
Leggi Tutto
Intelligenza artificiale
Francesco Amigoni
Viola Schiaffonati
Marco Somalvico
L’intelligenza artificiale è una disciplina recente che negli anni ha fornito un importante contributo al progresso dell’intera [...] nel 1943 il primo modello di neuroni artificiali, attingendo alla conoscenza della fisiologia e delle funzioni di base dei neuroni, alla logica proposizionale e alla teoriadellacomputabilità di Alan M. Turing. L’idea alla base del progetto ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] α non è accettata, ovvero la risposta è 0, se la macchina si arresta in uno stato di S−F. La teoriadellacomputabilità insegna che possono esistere stringhe per cui la macchina non si arresta mai. In linea teorica anche queste stringhe non sono ...
Leggi Tutto
Matematico statunitense (New York 1947). Ha apportato importanti contributi alla teoria algoritmica dell'informazione (AIT), combinando il metodo di C. Shannon (') e la teoriadellacomputabilità di A.M. [...] Turing ('). Autore di molti saggi, i suoi studi hanno portato a dimostrare l'esistenza della casualità anche in aritmetica. ...
Leggi Tutto
computabile
computàbile [agg. Der. dell'ingl. computable, che è dal lat. computabilis "che si può calcolare", "di cui si può o si deve tenere conto", già reso con l'it. calcolabile] [ALG] [FAF] [INF] [...] o, in altri termini, le grandezze che possono essere calcolate con un elaboratore adeguatamente programmato; la teoriadellacomputabilità, o della ricorsività, studia i limiti teorici di un tale procedimento di calcolo. ◆ [INF] Funzione c.: funzione ...
Leggi Tutto
Lob
Löb Martin Hugo (Berlino 1921 - Annen 2006) matematico tedesco. Figura centrale per i suoi lavori in logica matematica: di lui è noto il → paradosso che porta il suo nome. Cresciuto a Berlino, fuggì [...] la quale fu assistente dal 1951. Nei primi anni Settanta divenne professore all’università di Amsterdam, dove rimase fino al pensionamento. Le sue ricerche spaziano dalla teoriadella dimostrazione alla logica modale, alla teoriadellacomputabilità. ...
Leggi Tutto
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoriadella r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] di I). I concetti di decidibilità, costruibilità e computabilità sono così strettamente collegati che, non appena si riesca di Gödel costituiscano un passo fondamentale per utilizzare la teoriadella r. nei problemi di decisione. Infatti, avvenuta l ...
Leggi Tutto
computabile
computàbile agg. [dal lat. computabĭlis]. – Che si può computare; di cui si può o si deve tener conto: periodo di servizio militare c. ai fini della pensione. In logica matematica e in informatica teorica, detto di una funzione...