Peano Giuseppe
Peano Giuseppe [STF] (Cuneo 1858 - Torino 1932) Prof. di analisi infinitesimale nell'univ. di Torino (1890). ◆ [ALG] Aritmetica di P.: una costruzione assiomatica dell'aritmetica: v. Gödel, [...] teorema di: III 54 b. ◆ [ALG] Curva di P.: ideata da P. per dimostrare errate certe idee sulle curve, in partic. che esse siano identicamente enti continui a una dimensione; è costituita da una spezzata di segmenti identici che, al limite, ricopre ...
Leggi Tutto
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
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
Lindenbaum Adolf
Lindenbaum 〈lìndënbaum〉 Adolf [STF] (Varsavia 1904 - m. in un campo di concentramento nazista, forse nel 1942). ◆ [ALG] Algebre di L.: algebre associabili a vari tipi di sistemi formali. [...] ◆ [ALG] Teorema, o lemma, di L.: afferma che ogni teoria non contraddittoria ammette un'estensione nello stesso linguaggio non contraddittoria e completa. ...
Leggi Tutto
Brouwer Luitzen Egbertus Jan
Brouwer 〈bràuër〉 Luitzen Egbertus Jan [STF] (Overschie, Olanda, 1881 - m. 1966) Prof. di matematica nell'univ. di Amsterdam (1951). ◆ [ALG] Grado topologico di B.: v. analisi [...] di un insieme I (sottinsieme di uno spazio euclideo) in sé stesso, esiste un punto P∈I "fisso" per f, cioè tale che f(P)=P. Il teorema di B. è suscettibile di numerose generalizzazioni: v. analisi non lineare: I 143 c e funzionale, analisi: II 771 f. ...
Leggi Tutto
transfer
trànsfer [Lettura it. di un s.ingl. "trasferimento", dal v. to transfer 〈trènsfëë〉 "trasferire", che è dal lat. transferre, comp. di trans "oltre" e ferre "portare"] [ALG] [FAF] Principio del [...] t.: importante teorema della logica matematica: v. analisi non standard: I 147 d. ...
Leggi Tutto
Tarski Alfred
Tarski 〈tàrski〉 Alfred [STF] (Varsavia 1901, nat. SUA - Oakland 1983) Prof. di teoria degli insiemi nell'univ. di Varsavia (1925), poi di matematica nella Harvard Univ. (1939) e infine [...] nell'univ. della California di Berkeley (1945). ◆ [ALG] Teorema di T.: v. Gödel, teorema di: III 56 b. ...
Leggi Tutto
flesso
flèsso [Der. del part. pass. flexus del lat. flectere "piegare" e quindi "piegamento"] [ALG] F. di una curva: punto ove la curva attraversa la sua tangente: v. curve e superfici: II 75 d. ◆ [MCF] [...] Teorema del punto di f.: v. instabilità fluidodinamica: III 224 a. ...
Leggi Tutto
Darboux Jean-Gaston
Darboux 〈darbù〉 Jean-Gaston [STF] (Nîmes 1842 - Parigi 1917) Prof. di fisica matematica alla Sorbona di Parigi (1873) e poi di geometria superiore (dal 1880); socio straniero dei [...] Lincei dal 1890. ◆ Teorema di D.: (a) [ANM] afferma che l'integrale definito di una funzione integrabile f(x) si può ottenere come limite, per δ→0, di somme del tipo f(x₁)Δx₁+f(x₂)Δx₂+...+f(xn)Δxn; ove x₁,x₂,... sono punti comunque scelti, rispettiv ...
Leggi Tutto
Ramsey Frank Plumton
Ramsey 〈rèmsi〉 Frank Plumton [STF] (Cambridge 1903 - ivi 1930) Lettore di matematica nell'univ. di Cambridge. ◆ [MTR] Cavità R.: v. frequenza, campioni di: II 767 e. ◆ [MTR] [ELT] [...] Tecnica di R.: v. frequenza, campioni di: II 767 b. ◆ [ALG] Teorema di R.: v. Gödel, teorema di: III 58 d. ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
inverso1
invèrso1 agg. e s. m. [dal lat. inversus, part. pass. di invertĕre «invertire»]. – 1. agg. Contrario, opposto, rovescio rispetto a un altro, rispetto al precedente, rispetto a ciò che è abituale: facciamo ora il caso i.; rifare il...