Godel Kurt
Gödel 〈gö´dël〉 Kurt [STF] (Brno 1906, nat. SUA - Princeton, New Jersey, 1978) Docente di matematica nell'univ. di Vienna (1933), nel 1938 passò negli SUA e dal 1946 fu membro permanente dello [...] Jersey. ◆ [FAF] Numero di G.: → gödelizzazione. ◆ [FAF] Teorema d'incompletezza sintattica di G.: il più celebre dei risultati di G., enunciato nel 1931 e noto come teorema di G. per antonomasia: v. gödel, teorema di: III 53 c. ◆ [RGR] Soluzione di G ...
Leggi Tutto
Connes Alain
Connes 〈kòn〉 Alain [STF] (n. 1947) Prof. di matematica nel Collège de France, a Parigi. ◆ [ALG] Geometria non commutativa di C.: v. algebre di operatori: I 96 d. ◆ [ALG] Invariante di C.: [...] v. algebre di operatori: I 100 a. ◆ [ALG] Teorema di C.-Haagerup: v. algebre di operatori: I 96 a. ◆ [ALG] Teorema di C.-Radon-Nikodyn: v. algebre di operatori: I 100 a. ...
Leggi Tutto
Stevin
Stevin 〈stéevin〉 (latinizz. Stevinus e italianizz. Stevino) Simon (detto anche Simone di Bruges) [STF] (Bruges 1548 - Leida o L'Aia 1620) Insegnò matematica nell'univ. di Leida (forse 1600). ◆ [...] [MCF] Legge, o principio o teorema, di S.: se un fluido è soggetto soltanto a forze di massa conservative e se U è il potenziale di tali forze e ρ è la densità del fluido in un certo suo punto, fra questo punto e uno infinitamente vicino, fra i quali ...
Leggi Tutto
Stone Marshall Harvey
Stone 〈stóun〉 Marshall Harvey [STF] (New York 1903 - Amherst, Massachusetts, 1978) Prof. di matematica nella Harvard Univ. (1933) e poi nell'univ. di Chicago (1968) e del Massachusetts [...] (1973) ad Amherst. ◆ [ANM] Problema non commutativo di S.-Weierstrass: v. algebre di operatori: I 95 c. ◆ [PRB] Teorema di S.: (a) per un'algebra booleana: v. probabilità classica: IV 579 d; (b) per stati regolari: v. rappresentazioni delle relazioni ...
Leggi Tutto
Meusnier de la Place Jean-Baptiste Marie Charles
Meusnier de la Place 〈mönié dë la plas〉 Jean-Baptiste Marie Charles [STF] (Tours 1754 - Magonza 1793) Ufficiale del genio militare, dagli svariati interessi [...] scientifici e tecnici. ◆ [ALG] Teorema di M.: riguarda la curvatura di superfici: v. curve e superfici: II 80 c. ...
Leggi Tutto
Konig Samuel
König 〈köʹönig✄〉 Samuel [STF] (Büdingen, Assia, 1712 - Zuilestein, Olanda, 1757) Prof. di filosofia e di matematica nell'univ. di Franeker (1748), poi prof. di filosofia e diritto naturale [...] all'Aia (1749). ◆ [MCC] Teorema di K.: afferma che l'energia cinetica di un sistema materiale calcolata in un certo sistema di riferimento è, a ogni istante, pari alla somma di quella cosiddetta del centro di massa C, come se in questo fosse ...
Leggi Tutto
Tellegen Bernardus Dominicus Hubertus
Tellegen 〈tèlëg✄ë〉 Bernardus Dominicus Hubertus [STF] (n. Winschoten 1900) Ingegnere, poi ingegnere capo, nei laboratori di Eindhoven della Società Philips (1924). [...] ◆ [GFS] Effetto T: lo stesso che effetto Lussemburgo (→ Lussemburgo). ◆ [ELT] Teorema di T.: in una rete elettrica, due circuiti aventi lo stesso schema ma differenti relazioni costitutive dei blocchi componenti presentano ortogonalità tra il vettore ...
Leggi Tutto
Haar Alfred
Haar 〈hàar〉 Alfred [STF] (Budapest 1885 - Szeged 1933) Prof. di matematica nell'univ. di Szeged (1912). ◆ [ALG] Metodo di Hilbert-H.: v. variazioni, calcolo delle: VI 466 f sgg. ◆ [ALG] Misura [...] di H.: v. algebre di operatori: I 94 b. ◆ [ANM] Teorema generale di esistenza del minimo di H. e teorema di semicontinuità di H.: v. variazioni, calcolo delle: VI 467 a. ...
Leggi Tutto
autoriferimento
autoriferiménto [Comp. di auto- e riferimento] [ALG] [FAF] Nella logica matematica, fenomeno per cui, quando si aritmetizza il linguaggio di una teoria numerica, i termini della teoria [...] denotano anche termini della teoria stessa: v. Gödel, teorema di: III 55 e. ◆ [ELT] Nella teoria dei sistemi, la proprietà che avrebbero alcuni sistemi di riferirsi a sé stessi, cioè di determinare i propri stati internamente, mediante un processo di ...
Leggi Tutto
Bell John Stewart
Bell 〈bèl〉 John Stewart [STF] (n. 1928 - m. 1990) Fisico teorico al CERN di Ginevra. ◆ [MCQ] Anomalia di Adler e di B. e Jackiw: v. corrente nella teoria dei campi: I 794 d. ◆ [ANM] [...] Teorema, o disuguaglianza, di B.: v. misura in meccanica quantistica, teoria della: IV 13 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...