Hilbert, David
Enciclopedia on line
{{{1}}}
Matematico tedesco (Königsberg 1862 - Gottinga 1943). È la figura più notevole della matematica della prima metà del Novecento e forse dell'intero secolo. A Königsberg frequentò l'università con [...] di una dimostrazione diretta della coerenza dell'aritmetica attraverso lo studio delle dimostrazioni viste come enti a sé. È questo il nucleo della metamatematica e del programma hilbertiano: la necessità di uno studio "dall'esterno" delle teorie ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Gel´fand, Izrail´ Moiseevič
Enciclopedia on line
Matematico ucraino (Krasnye Okny, Odessa, 1913 - New Brunswick, New Jersey, 2009), dal 1943 professore all'università di Mosca, poi (dal 1990) nella Rutgers University di New Brunswick. Il lavoro di G. [...] sono state utilizzate dai fisici nell'esposizione di una teoria della simmetria delle particelle elementari. Altre sue ricerche hanno riguardato la teoria generale delle distribuzioni e relative applicazioni alle equazioni differenziali, metodi ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Cohen, Paul
Enciclopedia on line
Matematico e logico matematico statunitense (Long Branch, New Jersey, 1934 - Stanford 2007), professore di matematica a Stanford dal 1964. Il suo più importante risultato (teorema di C., 1963) è la dimostrazione [...] degli assiomi della teoria degli insiemi dall'ipotesi cantoriana del continuo ("non esistono cardinalità intermedie tra quella del numerabile e quella del continuo"); questa dimostrazione è stata realizzata col "metodo del forcing" ideato ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
NUMERI, Teoria dei
Enciclopedia Italiana - IV Appendice (1979)
NUMERI, Teoria dei
Enrico Bombieri
Gli sviluppi recenti della t. dei n. (v. aritmetica: Aritmetica inferiore o teoria dei numeri, IV, p. 370) hanno condotto alla soluzione di problemi fondamentali e [...] in interi è necessariamente risolubile in interi p-adici, per ogni p. La teoria delle equazioni diofantee p-adiche ha fatto grandi progressi.
Per es., è stato dimostrato che un polinomio omogeneo di grado d, in almeno d2 + 1 variabili, ammette ...
Leggi Tutto
SISTEMI DINAMICI
Enciclopedia Italiana - VI Appendice (2000)
Sistemi dinamici
Franco Magri
Dmitrij Anosov
Il concetto di sistema è presente nel dibattito scientifico degli ultimi decenni nelle più diverse discipline: dall'idea di sistema fisico a quella di ecosistema, [...] di origine algebrica, ovvero dei cosiddetti flussi omogenei, è stata la dimostrazione, ottenuta da M. Ratner, sia della congettura di Raghunathan sia del suo analogo in teoria della misura, proposto da Sh. Dani (Ratner 1995; difatti in senso stretto ...
Leggi Tutto
EQUAZIONI DIFFERENZIALI
Enciclopedia Italiana - V Appendice (1992)
(v. equazioni, XIV, p. 132; App. III, I, p. 564; IV, I, p. 714)
Ogni anno migliaia di pubblicazioni compaiono nella letteratura scientifica e ci si dovrà quindi limitare a delineare alcune linee essenziali, [...] alcuni risultati di unicità in questa classe, limitandosi però al tipo di equazioni della teoria del controllo. R. Jensen (1988) ha dimostrato un risultato di unicità per le soluzioni di viscosità di equazioni molto più generali.
Una seconda ...
Leggi Tutto
PROBABILITÀ, Calcolo delle
Enciclopedia Italiana - III Appendice (1961)
PROBABILITÀ, Calcolo delle (XXVIII, p. 259; App. II, 11, p. 611)
Giuseppe POMPILJ
Tutta la moderna scienza del reale è imbevuta di "probabilità" e gli sviluppi di questi ultimi sessant'anni hanno ampiamente [...] Lucia, T. Salvemini).
II. - Teoria delle rilevazioni parziali. - La teoria delle rilevazioni parziali si collega (G. Barberi la [10] e per la prima delle [8] (già sopra dimostrata), si ha la seconda della [8]. Sotto convenienti ipotesi, in pratica ...
Leggi Tutto
FANO, Gino
Enciclopedia Italiana - II Appendice (1948)
Matematico, nato a Mantova il 5 gennaio 1871. Laureatosi a Torino nel 1892, dove ebbe a maestri C. Segre e G. Castelnuovo, seguì nel 1893-94 a Gottinga i corsi di F. Klein. Titolare di algebra complementare [...] ricerche culminarono nella dimostrazione (1942) della irrazionalità della forma cubica generale dello spazio a quattro di geometria, Torino 1934-35; Geometria non euclidea. Introduzione geometrica alla teoria della relatività, Bologna 1935). ...
Leggi Tutto
COMPLESSITA'
Enciclopedia Italiana - VI Appendice (2000)
Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] formalizzato non può trovare in se stesso la dimostrazione assoluta della propria validità. È quanto è stato mostrato dà autonomia a una macchina.
La cibernetica è in se stessa una teoria delle macchine autonome (v. cibernetica, App. III e IV). L' ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
Modellistica matematica
Enciclopedia Italiana - VI Appendice (2000)
Modellistica matematica
Giorgio Israel
Mimmo Iannelli
Caratteristiche e origini
di Giorgio Israel
Un modello matematico è uno schema espresso in linguaggio matematico e volto a rappresentare un fenomeno [...] Neumann. Tuttavia, mentre Wald si muoveva nel quadro concettuale della teoria walrasiana del mercato concorrenziale, von Neumann mirava alla dimostrazione di teoremi più generali nel quadro della teoria dei giochi, ovvero a provare l'esistenza di una ...
Leggi Tutto