Cibernetica
Ernest H. Hutten
di Ernest H. Hutten
Cibernetica
sommario: 1. Introduzione storica. 2. L'epistemologia delle macchine. 3. La struttura informativa delle macchine. 4. Sistema, processo, informazione [...] - e Peano, Russell e Whitehead, e Hilbert sono stati i pionieri di questo sviluppo - si giunge ai cosiddetti ‛ cioè il programma, o l'algoritmo. Ciò che conta è l'idea di algoritmo, diprogramma, di sotto-programma, diprogrammadiprogrammi che può ...
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' [...] diHilbert 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 ...
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 [...] è dovuta alla tendenza risalente alla scuola formalistica di D. Hilbertdi costruire su di essi ogni teoria matematica. Ora, a un tale livelli o di A. van Wijngaarden" che consentono di definire linguaggi diprogrammazionedi grande generalità quali ...
Leggi Tutto
Computer science
Scott Kirkpatrick
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e l’ingegneria, costituendo dal punto di vista accademico un settore [...] il problema della fermata (halting-problem): dato un programma, questo si fermerà per ogni suo input? Ciò rispondeva all’ultima della famosa serie di domande poste da David Hilbert nel 1928 a proposito della completezza, coerenza e decidibilità ...
Leggi Tutto
La grande scienza. Computer science
Scott Kirkpatrick
Computer science
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e dell'ingegneria, costituendo dal [...] il problema della fermata halting-problem: dato un programma, questo si fermerà per ogni suo input? Ciò rispondeva all'ultima della famosa serie di domande poste da David Hilbert nel 1928 a proposito della completezza, coerenza e decidibilità ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] dalla necessità di dare un fondamento alla nozione di dimostrazione matematica sulla via inaugurata dai lavori di David Hilbert. Dopo ) Compilatori. La possibilità di compilare in modo efficiente un linguaggio diprogrammazionedi alto livello si può ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] logica, l'uso della l. come linguaggio diprogrammazione e la sintesi logica dei programmi.
La macchina a registri illimitati. − Nell'ambito del suo programma fondazionale, D. Hilbert aveva ripetutamente ribadito la convinzione che ogni problema ...
Leggi Tutto
spazio
spàzio s. m. [dal lat. spatium, forse der. di patēre «essere aperto»]. – 1. Con valore assol., il luogo indefinito e illimitato in cui si pensano contenute tutte le cose materiali, le quali, in quanto hanno un’estensione, ne occupano...