ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] Hilbert nel 1918), cioè il problema se, per una data teoria formale T, esista un algoritmo per determinare se una formula A sia o non sia un teorema di della r. un’area di studio rilevante anche per l’informatica: un programma per un elaboratore non è ...
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
Combinatoria
Peter J. Cameron
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri non rappresenta una branca separata dalle altre ma le pervade tutte, poiché [...] hanno dimostrato la non esistenza di un piano proiettivo di ordine 10 con un programma che ha girato per molti of present day mathematics, in: Mathematical developments arising from Hilbert problems, "Proceedings of symposia in pure mathematics", 28, ...
Leggi Tutto
Matematico ungherese naturalizzato statunitense (Budapest 1903 - Washington 1957). I suoi contributi hanno caratterizzato numerosi aspetti del pensiero matematico e scientifico del 20° sec. e spesso le [...] ha contribuito allo sviluppo dei moderni computer e ha partecipato attivamente al progetto di costruzione della bomba atomica e al successivo sviluppo del programma militare statunitense durante la prima fase della guerra fredda.
Vita
Nacque da una ...
Leggi Tutto
Diritto
F. giuridico Concezione del diritto secondo la quale l’essenza del fenomeno giuridico consiste nella qualificazione da parte del diritto di atti, fatti e comportamenti che non sarebbero giuridici [...] oltre l’evidenza intuitiva, cerca di darne una ricostruzione logica servendosi però solo di quei metodi dimostrativi che, per la loro semplicità ed evidenza, diano il massimo di garanzia. Il programma, intrapreso da Hilbert, fu poi sviluppato da P ...
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
Neumann, John Von
Luca Dell’Aglio
Un matematico appassionato di giochi
John von Neumann è stato una delle principali figure nel pensiero matematico del Novecento. Le sue ricerche hanno avuto un’importanza [...] , prese parte alla scuola matematica fondata a Gottinga da David Hilbert e ne divenne uno dei principali esponenti. Si trasferì in progetto di costruzione della bomba atomica (armi atomiche e nucleari) e al successivo sviluppo del programma militare ...
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...