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
Arzelà Cesare
Dizionario delle Scienze Fisiche (1996)
Arzela Cesare
Arzelà Cesare [STF] (Santo Stefano di Magra 1847 - ivi 1912) Prof. di algebra nell'univ. di Palermo (1878) e poi di calcolo infinitesimale in quella di Bologna (1880). ◆ [ANM] Teorema di [...] Ascoli-A.: v. funzionale, analisi: II 770 b ...
Leggi Tutto
CATEGORIA:
STORIA DELLA FISICA
Levi Beppo
Dizionario delle Scienze Fisiche (1996)
Levi Beppo
Lèvi Beppo [STF] (Torino 1875 - Rosario, Argentina, 1961) Prof. di analisi matematica nell'univ. di Cagliari (1906), Parma (1910) e Bologna (1928), poi, dal 1938, emigrato in Argentina. ◆ [...] [ALG] Teorema di L.: v. misura e integrazione: IV 3 d. ...
Leggi Tutto
L'Ottocento: matematica. Equazioni differenziali alle derivate parziali
Storia della Scienza (2003)
L'Ottocento: matematica. Equazioni differenziali alle derivate parziali
Thomas Archibald
Equazioni differenziali alle derivate parziali
Nel corso del XIX sec. la teoria delle funzioni di più variabili [...] di Ostrogradskij presentata all'Académie, usò il risultato in un articolo del 1828, senza però attribuirlo ad alcuno.
Il teorema di Stokes
Il teorema di Stokes, come quelli di Gauss e Green, mette in relazione l'integrale di una funzione su un dato ...
Leggi Tutto
Vandiver
Enciclopedia della Matematica (2013)
Vandiver
Vandiver Harry Schultz (Philadelphia, Pennsylvania, 1882 - Austin, Texas, 1973) matematico statunitense. Insegnò alla Cornell University e all’università del Texas (1924-66). Il suo nome è legato [...] application of high-speed computing to Fermat’s last theorem (Un’applicazione dell’alta velocità di calcolo all’ultimo teorema di Fermat). In questo lavoro le nuove tecniche di calcolo, dovute all’avvento dei calcolatori elettronici, erano applicate ...
Leggi Tutto
taglio, eliminazione del
Enciclopedia della Matematica (2013)
taglio, eliminazione del
taglio, eliminazione del in logica, e in particolare nel calcolo dei → sequenti, possibilità di non utilizzare la regola del taglio (→ taglio, regola del) in una dimostrazione. [...] Il teorema di eliminazione del taglio infatti stabilisce che è possibile associare a ogni deduzione di un sequente Γ ⊦ Δ una deduzione dello stesso sequente in cui non si faccia uso di tale regola, rendendo così le deduzioni del calcolo dei sequenti ...
Leggi Tutto
Levinson Lorne Joel
Dizionario delle Scienze Fisiche (1996)
Levinson Lorne Joel
Levinson 〈livinsn〉 Lorne Joel [STF] (n. Winnipeg, Canada) Fisico allo SLAC della Stanford Univ. (1978). [ELT] Ricursione di L.: v. segnali, elaborazione numerica dei: V 136 f. ◆ [MCQ] [...] Teorema di L.: v. diffusione da potenziale: II 150 a. ...
Leggi Tutto
angolo esterno, teoremi dell'
Enciclopedia della Matematica (2013)
angolo esterno, teoremi dell'
angolo esterno, teoremi dell’ teoremi che stabiliscono importanti relazioni tra gli angoli interni di un triangolo qualunque e un suo angolo esterno (angolo adiacente a [...] stabilisce che l’angolo esterno è uguale alla somma dei due angoli interni a esso non adiacenti. Questo secondo teorema è particolarmente importante perché permette di dimostrare che la somma degli angoli interni di un triangolo è un angolo piatto ...
Leggi Tutto
ortogonalita
Dizionario delle Scienze Fisiche (1996)
ortogonalita
ortogonalità [Der. di ortogonale] [ALG] Condizioni, o relazioni, di o.: le condizioni analitiche affinché due enti siano ortogonali, come per es. per due rette, due matrici, due vettori [...] (→ ortogonale). ◆ [MCQ] Teorema di o. di autofunzioni: v. meccanica quantistica: III 709 e. ...
Leggi Tutto
Geometria differenziale
Enciclopedia del Novecento (1978)
Geometria differenziale
SShoshichi Kobayashi
di Shoshichi Kobayashi
Geometria differenziale
sommario: 1. Cenno storico. 2. Varietà. 3. Geometria riemanniana. 4. Varietà complesse e varietà kähleriane. [...] è il fibrato di rette banale. Allora χp(M;E)=Σ(−1)i dim Hi(M;Ωp(E)) è una specie di numero di Eulero e il teorema di Riemann-Roch-Hirzebruch esprime χp(M;E) mediante le classi di Chern di E e di M quando M è una varietà algebrica. Questo risultato è ...
Leggi Tutto
CATEGORIA:
GEOMETRIA