LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] una speciale notazione, nella fattispecie λxy·x-y, per le funzionidipiùvariabili: è sufficiente usare funzioni i cui valori sono altre funzioni. Così, invece di h, si può considerare la funzione h+ di x definita da: h+=λx·(λy·x-y). Per ogni ...
Leggi Tutto
Matematico italiano (n. Torino 1883 - m. in guerra presso Cormons 1917), prof. all'univ. di Genova. Autore di notevoli ricerche riguardanti la teoria dei gruppi, la geometria differenziale, il calcolo [...] delle variazioni, la teoria delle funzioni a piùvariabili complesse, la teoria delle equazioni differenziali alle derivate parziali. ...
Leggi Tutto
minimo
mìnimo [agg. e s.m. Der. del lat. minimus "il più piccolo", superlativo di parvus "piccolo"] [LSF] (a) agg. Oltre che come superlativo di piccolo, si usa spesso in contrapp. a massimo. (b) Sostantivato, [...] sia nulla e che la derivata seconda sia positiva. Le precedenti definizioni si estendono direttamente a funzionidipiùvariabili. ◆ [ALG] M. di un insieme numerico: l'estremo inferiore dell'insieme, quando esso sia finito e appartenga all'insieme ...
Leggi Tutto
dominio
domìnio [Der. del lat. dominium, da dominus "padrone"] [LSF] (a) L'esercitare una determinante influenza. (b) Una definita regione dello spazio in cui si manifesta un determinato fenomeno. (c) [...] (x₁,...,xn)dx₁,...,dxn. ◆ [RGR] [ANM] D. di olomorfia locale e globale: v. funzionidipiù` variabili complesse: II 773 b. ◆ [ANM] D. di una funzione: l'insieme dei punti su cui la funzione è definita. ◆ [LSF] D. di un fenomeno: l'insieme dei valori ...
Leggi Tutto
estensione
estensióne [Der. del lat. extensio -onis, dal part. pass. extensus di extendere (→ estensibile)] [LSF] (a) Con signif. concreto, dimensione geometrica in genere, e cioè, a seconda dei casi, [...] : v. relatività generale, soluzioni della: IV 796 c. ◆ [ALG] E. olomorfa: v. funzionidipiù` variabili complesse: II 774 d. ◆ [FME] [ACS] E. vocale: l'intervallo di frequenze acustiche interessato dalla voce umana, all'incirca 70÷1400 Hz: v ...
Leggi Tutto
abeliano
abeliano [agg. Der. del cognome di N.H. Abel] [ALG] Con il signif. di commutativo: algebra a., gruppo a. (v. gruppo: III 127 f). ◆ [ANM] Funzione a.: funzione che nasce dall'inversione di un [...] prima specie e che gode della proprietà di avere 2p periodi linearmente indipendenti; una tale funzione è detta funzione a. speciale per distinguerla dalle funzioni a. generali, che sono tutte le funzionidipiùvariabili meromorfe al finito e con 2p ...
Leggi Tutto
Bogoljubov Nikolaj Nikolaevich
Bogoljubov 〈bogaliùbof〉 Nikolaj Nikolaevich [STF] (Nizhnj Novgorod 1900 - Mosca 1992) Prof. di fisica teorica (1928) e direttore (1965) dell'Istituto di ricerche nucleari [...] ed è per esse analogo al metodo di Chapman-Enskog per lo studio dell'equazione di Boltzmann. ◆ [ANM] Principio di B. (detto pure principio the edge of the wedge): v. funzionidipiù` variabili complesse: II 775 a. ◆ [ANM] Teoria di Hartree-Fock-B.: v ...
Leggi Tutto
Bochner Salomon
Bochner 〈bóknër〉 Salomon [STF] (Podgorze 1899 - Princeton, New Jersey, 1982) Prof. di matematica nell'univ. di Monaco di Baviera, poi nel-l'univ. di Princeton (1933). ◆ [ANM] Formula [...] B. o di B.-Martinelli: v. trasformazione integrale: VI 300 c. ◆ [PRB] Funzione positiva definita nel senso di B.: v. distribuzioni di probabilità infinitamente divisibili: II 223 c. ◆ [ANM] Teorema di B.: v. funzionidipiù` variabili complesse: II ...
Leggi Tutto
Szego Gabor
Szegö (o Szego) 〈sègo〉 Gabor (Gabriel) [STF] (n. 1895 Kunhegyes, Ungheria) Prof. di matematica nell'univ. di Königsberg (1926), nell'univ. Washington di Saint Louis (1934) e nell'univ. di [...] Stanford (1938). ◆ [ANM] Formula di S.: per la rappresentazione integrale difunzionidipiùvariabili complesse: v. funzionidipiù` variabili complesse: II 774 c. ...
Leggi Tutto
Hartogs Friedrich
Hartogs 〈hàrtoks〉 Friedrich [STF] (Bruxelles 1874 - Monaco di Baviera 1933) Prof. di matematica nell'univ. di Monaco di Baviera (1927). ◆ [ANM] Teorema di prolungamento di H.: v. funzioni [...] dipiù` variabili complesse: II 773 a. ...
Leggi Tutto
funzione
funzióne s. f. [dal lat. functio -onis, der. di fungi «adempiere»]. – 1. Attività svolta abitualmente o temporaneamente in vista di un determinato fine, per lo più considerata nel complesso di un sistema sociale, burocratico, ecc....
variabile
variàbile agg. e s. f. [dal lat. tardo variabĭlis, der. di variare «variare»]. – 1. agg. Che varia, che può variare, che è soggetto a variare: grandezza, valore, norma v.; il prezzo è v. secondo le stagioni e la richiesta; quindi...