Pitagora
Dizionario delle Scienze Fisiche (1996)
Pitagora
Pitàgora [STF] Matematico e filosofo del 6° sec. a.C., nato a Samo e trasferitosi poi nella Magna Grecia, a Crotone. ◆ [ALG] Teorema di P.: uno dei primi teoremi della geometria classica, secondo [...] sull'ipotenusa di un triangolo rettangolo è equivalente alla somma dei quadrati costruiti sui cateti; ha numerose generalizzazioni (teorema di P. generalizzato, n-dimensionale, ecc.) ed è alla base del concetto di distanza negli spazi euclidei o ...
Leggi Tutto
Lowenheim Leopold
Dizionario delle Scienze Fisiche (1996)
Lowenheim Leopold
Löwenheim 〈lö´vënhàim〉 Leopold [STF] (Krefeld 1878 - Berlino 1940) Prof. di matematica nel liceo di Berlino-Lichtenberg. ◆ [ALG] [FAF] Teorema di L.: un'espressione in cui non occorrono [...] variabili predicative poliadiche, ma solo k monadiche, ammette un modello se e solo se ne ammette uno di cardinalità 2k. ◆ [ALG] [FAF] Teoremi di L.-Skolem: v. logica: III 485 e. ...
Leggi Tutto
Hölder, Ludwig Otto
Enciclopedia on line
Matematico tedesco (Stoccarda 1859 - Lipsia 1937), prof. alle univ. di Gottinga, Tubinga, Königsberg e Lipsia. Insigne cultore della teoria dei gruppi finiti, completò un teorema di C. Jordan, dimostrando [...] l'invarianza di fronte alla relazione di isomorfismo dei gruppi fattori di una serie di composizione (teorema di Jordan-H., 1889). Nella teoria delle funzioni dimostrò che la funzione Γ non soddisfa ad alcuna equazione differenziale algebrica. Sono ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Lipschitz, Rudolph Otto Sigismund
Enciclopedia on line
Matematico (Königsberg 1832 - Bonn 1903), prof. (dal 1864) all'univ. di Bonn; socio straniero dei Lincei (1887). Gli si devono un fondamentale teorema di esistenza e unicità degli integrali di un sistema [...] differenziale sotto una condizione meno restrittiva di quella posta da A.-L. Cauchy (condizione di L.), una trattazione del problema delle geodetiche in una varietà riemanniana e varie ricerche di geometria ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Mil'man David Pinkhasovic
Dizionario delle Scienze Fisiche (1996)
Mil'man David Pinkhasovic
Mil'man (o Milman) 〈mìlman〉 David Pinkhasovič [STF] (n. 1913) Prof. di matematica nell'univ. di Mosca. ◆ [ANM] Teorema di Krein-M.: → Krein, Mark Grigorjevič. ...
Leggi Tutto
Gorini Vittorio
Dizionario delle Scienze Fisiche (1996)
Gorini Vittorio
Gorini Vittorio [STF] (n. Roma 1940) Prof. di metodi matematici per la fisica nell'univ. di Milano (1987). ◆ [ANM] [MCQ] Teorema di G.-Kossakowski-Sudarshan-Lindblad: v. semigruppi dinamici [...] quantistici: V 165 d ...
Leggi Tutto
Pringsheim, Alfred
Enciclopedia on line
Matematico (Ohlau, Slesia, 1850 - Zurigo 1941), prof. nell'univ. di Monaco; ha lasciato importanti ricerche di analisi, in particolare sulla teoria delle funzioni di una variabile complessa; tra i varî [...] suoi risultati, ricordiamo il teorema di Vivanti-P., che afferma l'esistenza di punti singolari sulla circonferenza di convergenza di un elemento analitico. Tra le opere: Vorlesungen über Zahlen- und Funktionenlehre (2 voll., 1916-32). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Paley Hiram
Dizionario delle Scienze Fisiche (1996)
Paley Hiram
Paley 〈pèili〉 Hiram [STF] (n. Rochester, New York, 1933) Prof. di matematica nell'univ. dell'Illinois, a Urbana (1966). ◆ [ANM] Teorema di P.-Wiener: riguarda la trasformata di Fourier di [...] distribuzioni a supporto compatto: v. analisi armonica: I 128 e ...
Leggi Tutto
Sylow
Dizionario delle Scienze Fisiche (1996)
Sylow
Sylow 〈sü´lou〉 Peter Ludwig Mejdell [STF] (Cristiania, odierna Oslo, 1832 - ivi 1918) Prof. di matematica nell'univ. di Cristiania (1897). ◆ [ALG] Primo teorema di S.: se un gruppo ha ordine divisibile [...] per pr, con p numero primo, esso contiene sottogruppi di ordine pr. ◆ [ALG] Secondo teorema di S.: se pm è la massima potenza di un numero primo p che sia divisore dell'ordine di un gruppo G, i sottogruppi di G di ordine pm sono trasformabili l'uno ...
Leggi Tutto
Computazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
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 [...] ); L(A3)=L(A1)∩L(A2); L(A3)=∉L(A1).
Due automi che accettano lo stesso linguaggio si dicono equivalenti. Una conseguenza del precedente teorema è che si può costruire un automa A4 che riconosce il linguaggio L(A4)=(L(A1)∩⌝L(A2))∪(⌝L(A1)∩L(A2)), e si ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA