GIAMBELLI, Giovanni Zeno
Luca Dell'Aglio
Nacque a Verona il 29 giugno 1876 da Carlo e Luigia Lovagetti. Laureatosi all'Università di Torino, come allievo di C. Segre, dal 1904 fu assistente di geometria [...] 'Ist. lombardo di scienze e lettere, s. 2, XLV [1913], pp. 797-810, 982-996).
Le ricerche del G. sul XV problema di Hilbert - e, più in generale, la sua impostazione delle ricerche geometriche - sono alla base di un'aspra polemica che egli ebbe con F ...
Leggi Tutto
sistema formale
sistema formale apparato simbolico mediante il quale è possibile rappresentare formalmente i procedimenti logico-deduttivi delle dimostrazioni matematiche. Esempi di sistemi formali sono [...] (→ Zermelo-Fraenkel, teoria di). La nozione di sistema formale, come attualmente si intende, è frutto degli studi di D. Hilbert e della sua scuola.
Un sistema formale si compone di un apparato linguistico e di un apparato deduttivo. L’apparato ...
Leggi Tutto
OPERATORI
Fernando BERTOLINI
. 1. Generalità. - Il termine o. indica d'ordinario il simbolo d'una operazione, o più in generale d'una applicazione univoca (v. applicazione, in questa App.); per una [...] lineari in cui sia definita una nozione di convergenza e di limite, le più notevoli sono gli spazî di Banach, di Hilbert, di Kantorovič(Riesz), per i quali rinviamo alla bibliografia, limitandoci qui ad accennare che: I) in uno spazio di Kantorovič è ...
Leggi Tutto
Matematica
Ana Millán Gasca
(XXII, p. 257; App. II, ii, p. 276; III, ii, p. 44; IV, ii, p. 414)
Nella voce matematica pubblicata nel vol. XXII della Enciclopedia Italiana, l'etimologia greca della parola [...] primo di questa serie ebbe luogo a Zurigo nel 1897, e nel 1900 si tenne a Parigi il memorabile congresso nel quale Hilbert presentò una lista dei problemi aperti come proposta di lavoro per il nuovo secolo; nel 1990 è stata scelta per la prima volta ...
Leggi Tutto
Neumann John von
Neumann John von (Budapest 1903 - Washington 1957) matematico statunitense di origine ungherese. Ha dato importanti contributi in fisica quantistica, nell’analisi funzionale, nella teoria [...] due anni a Göttingen, per studiare i fondamenti della matematica e della fisica quantistica sotto la guida di D. Hilbert. Nel 1933 fu invitato a Princeton, dove divenne professore di matematica all’Institute for Advanced Studies, di recente ...
Leggi Tutto
JULIA, Gaston Maurice
Matematico francese, nato a SidiBel-Abbès (Algeria) il 3 dicembre 1893. È stato professore di analisi superiore alla Sorbona dal 1925 al 1964 e di geometria al Politecnico di Parigi [...] di Julia". Ha introdotto nuovi punti di vista e nuovi metodi di carattere geometrico per lo studio degli spazi di Hilbert. A lui si deve un nuovo metodo per risolvere equazioni funzionali basato sull'utilizzazione delle superfici di Riemann.
È autore ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria algebrica
Jeremy Gray
Geometria algebrica
Agli inizi del XX sec. la scuola di punta in geometria algebrica era quella italiana, guidata [...] dimensione. Come si è visto, l'approccio puramente geometrico era allora confinato a curve e superfici. I metodi di Hilbert si univano quindi fruttuosamente a quelli di Kronecker, che molto si era adoperato per sviluppare una teoria algebrica delle ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] assi portanti della teoria della computazione, cioè la computabilità e la complessità di calcolo.
Il secondo problema di Hilbert sulla dimostrazione di compatibilità degli assiomi dell'aritmetica, posto all'inizio del XX sec. e rimasto insoluto anche ...
Leggi Tutto
Grelling
Grelling Kurt (Berlino 1886 - Auschwitz 1942) matematico, logico e filosofo tedesco. Fu tra i promotori del gruppo di filosofi neopositivisti noto come Circolo di Berlino. Il suo nome è legato [...] nel 1910 con una tesi sullo sviluppo dell’aritmetica nella teoria assiomatica degli insiemi, con la supervisione di D. Hilbert. Grelling tradusse in tedesco molte opere filosofiche dal francese, l’italiano e l’inglese, tra le quali quattro lavori ...
Leggi Tutto
indecidibilita
indecidibilità in logica, termine utilizzato per indicare la non → decidibilità di una data proprietà. In particolare, un insieme è indecidibile se non esiste un algoritmo in grado di [...] -Fraenkel. È importante distinguere il concetto di teoria indecidibile dalla nozione di formula indecidibile (→ decidibilità). Un esempio di enunciato indecidibile è quello espresso nel decimo problema di Hilbert, relativo alle equazioni diofantee ...
Leggi Tutto
hilbertiano
〈i-〉 agg. – Relativo al matematico ted. D. Hilbert (1862-1943). In partic., spazio h., spazio vettoriale completo (in cui cioè qualsiasi successione convergente di punti converga a un punto dello spazio stesso) nel quale sia definito...
risolubilita
risolubilità s. f. [der. di risolubile]. – Il fatto di essere risolubile, la condizione di ciò che può essere risolto: r. di un dubbio, di un problema, di un enigma; r. di un contratto, in diritto privato; r. di un problema geometrico...