Beth, Evert Willem
Enciclopedia on line
Logico-matematico olandese (Almelo 1908 - Amsterdam 1964). Dal 1946 prof. all'univ. di Amsterdam. Dopo studi di storia della logica e della matematica (De wijsbegeerte der wiskunde van Parmenides tot Bolzano, [...] , 1944) passò a ricerche nel campo della logica matematica ottenendo importanti risultati nella teoria della definizione (teorema di definibilità), nell'analisi semantica della logica classica e di quella intuizionista (specie col suo metodo delle ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
BIANCHI, Luigi
Dizionario Biografico degli Italiani (1968)
BIANCHI, Luigi
Enzo Pozzato
Figlio del giurista Saverio, nacque a Parma il 18 genn. 1856. Entrato alla Scuola normale superiore di Pisa il 14 nov. 1873, si laureò in matematica il 30 nov. 1877. Fu abilitato [...] ), 1, pp. 6-17; Sulle coppie di superfici applicabili con assegnata rappresentazione sferica,ibid., pp. 147-161; Il teorema di permutabilità per le trasformazioni di Darboux delle superfici isoterme,ibid., pp. 359-367; Sulle equazioni di Moutard con ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Girsanov Igor Vladimirovich
Dizionario delle Scienze Fisiche (1996)
Girsanov Igor Vladimirovich
Girsanov 〈g✄irsanòf〉 Igor Vladimirovich [STF] (n. nel Turkestan 1934 - Sayan 1967) Prof. di probabilità e statistica nell'univ. di Mosca (1965). ◆ [PRB] Formula di G.: v. [...] processi di punto: IV 602 a. ◆ [PRB] Formula di G.-Cameron-Martin: v. diffusione, teoria della: II 172 b. ◆ [ALG] [PRB] Teorema di G.-Cameron-Martin: v. geometria differenziale stocastica: III 38 a. ...
Leggi Tutto
Kleene, Stephen Cole
Enciclopedia on line
Matematico e logico matematico statunitense (Hartford, Connecticut, 1909 - Madison, Wisconsin, 1994). Dal 1935 al 1979 prof. all'univ. di Wisconsin, a Madison; dal 1969 fu membro della National academy [...] USA. Sviluppò la teoria delle funzioni lambda-definibili e introdusse le funzioni parziali ricorsive per le quali dimostrò il teorema di recursione. Stabilì, per i predicati dell'aritmetica, una gerarchia a seconda del minimo numero di quantificatori ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Binet, Jacques-Philippe-Marie
Enciclopedia on line
Matematico e astronomo (Rennes 1786 - Parigi 1856). Prof. di meccanica all'École polytechnique e d'astronomia al Collège de France, dal 1843 membro dell'Académie des sciences di Parigi. Le sue numerose [...] e importanti ricerche concernono l'analisi, la teoria dei numeri, la geometria differenziale, la meccanica razionale, l'astronomia. Particolarmente noti un teorema sui determinanti e una formula di cinematica che portano il suo nome. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Rosenthal, Arthur
Enciclopedia on line
Matematico (Fürth 1887 - Lafayette, Indiana, 1959). Prof. all'univ. di Heidelberg nel 1930; dal 1940 negli USA, dove dal 1947 ha insegnato alla Purdue Univ. (Indiana). Oltre che per studî nel campo delle [...] funzioni a più variabili, R. è noto per aver dimostrato (1913) la non validità nell'ambito della meccanica quantistica del teorema H di L. Boltzmann. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
rotore
Dizionario delle Scienze Fisiche (1996)
rotore
rotóre [Der. di rotazione] [ALG] [ANM] (a) R. di un campo tensoriale: v. tensore: VI 129 d. (b) R. di un vettore: operatore differenziale su un campo vettoriale, detto anche rotazione e rotazionale, [...] il r. è diverso da zero, intorno ai quali s'avvolgono linee del campo) e il cui flusso è collegato dal teorema di Stokes della circuitazione all'operatore integrale circuitazione (v. campi, teoria classica dei: I 470 f). La sua denomin. deriva dal ...
Leggi Tutto
Poncelet Jean-Victor
Dizionario delle Scienze Fisiche (1996)
Poncelet Jean-Victor
Poncelet 〈ponslé〉 Jean-Victor [STF] (Metz 1788 - Parigi 1867) Dapprima nel genio militare, poi prof. di meccanica applicata a Metz (1825) e poi a Parigi (1838). ◆ [ALG] Formula di [...] P.: serve per il calcolo di un integrale definito, deducendolo dall'area di una figura trapezoidale opportunamente costruita. ◆ [ALG] Teorema di P.: date due coniche in un piano, se esiste un poligono di n lati inscritto nella prima conica e ...
Leggi Tutto
numero
Enciclopedia on line
Ciascuno degli enti astratti che costituiscono una successione ordinata e che, fatti corrispondere ciascuno a ciascun oggetto preso in considerazione, servono a indicare la quantità degli oggetti costituenti [...] triangolare e di due volte l’(n–1)-esimo n. triangolare; se ne deduce che l’n-esimo n. pentagonale è n(3n–1)/2. Il teorema dei n. pentagonali, dovuto a Eulero esprime la funzione
Φ(x) = (1−x) (1−x2) (1−x3) … (1−xn) …
(introdotta anch’essa da Eulero e ...
Leggi Tutto
Engel, Friedrich
Enciclopedia on line
Matematico tedesco (Lugau, Chemnitz, 1861 - Giessen 1941), professore alla univ. di Greifswald, poi di Giessen. Collaborò con S. Lie alla rielaborazione e alla divulgazione della teoria dei gruppi continui, [...] (Theorie der Transformationsgruppen, 1888-93, con Lie). All'E. si deve poi, nel campo della geometria, un teorema fondamentale sulle trasformazioni di contatto, e nella storia della matematica lo studio della teoria delle parallele da Euclide a Gauss ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE