ipotesi di Riemann
Matteo Longo
Congettura sulla distribuzione degli zeri nella funzione zeta di Riemann. La funzione zeta di Riemann ζ(s) è la serie L di Dirichlet associata al carattere di Dirichlet [...] però al momento alcuna dimostrazione dell’ipotesi di Riemann, che resta uno dei più importanti problemi aperti della matematica. La funzione zeta di Riemann può essere espansa in un prodotto di Euler:
dove il prodotto si intende esteso a tutti ...
Leggi Tutto
infinito
infinito [agg. e s.m. Der. del lat. infinitus, comp. di in- neg. e del part. pass. finitus di finire "limitare", da finis "confine"] [LSF] Oltre che nei signif. matematici (per i quali v. oltre), [...] , dei punti di una retta, ecc.). ◆ [ANM] I. di una funzione: una funzione y=f(x) tende a +∞ per x che tende a un certo valore ] I. potenziale: l'i. nel suo signif. normale nell'analisi matematica, cioè come limite. ◆ [ANM] I. simultanei: v. oltre: ...
Leggi Tutto
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] processo di riscrittura. In questa veste esso ha oggi un grande interesse tanto nella logica matematica (teoria dei tipi, teoria delle funzioni e dei funzionali ricorsivi) che nell’informatica. Nella logica, sopratutto dopo la individuazione da parte ...
Leggi Tutto
Chebyshev Pafnutij L'vovic
Chebyshev (o Chebishev o Tchebyschef) 〈chibishòf〉 Pafnutij L'vovic [STF] (Okatovo 1821 - Pietroburgo 1894) Prof. di analisi matematica nell'univ. di Pietroburgo (1847). ◆ Disuguaglianza [...] 32). I loro zeri sono detti nodi di Ch. (v. sopra). ◆ [ANM] Sistema di Ch., o di Laplace-Ch.: insieme di n+1 funzioni ϕ₀(x), ϕ₁(x), ..., ϕn(x), della variabile x, linearmente indipendenti e continue nell'intervallo (a,b), tale che se una combinazione ...
Leggi Tutto
teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] ordine debole, la teoria elementare dei reali con la funzione sen, la teoria dei gruppi e così via. Ma la tecnica si può generalizzare e applicare a teorie molto varie e matematicamente interessanti. Su un piano diverso si pongono quei risultati ...
Leggi Tutto
Legendre Adrien-Marie
Legendre 〈lëgŠàndr〉 Adrien-Marie [STF] (Tolosa 1752 - Parigi 1833) Prof. di matematica nell'École militaire di Parigi (1775); passò a dirigere, nel Bureau des longitudes (1787), [...] G.L. Lagrange (1812); da ultimo insegnò matematica nell'École Polytechnique (1816). ◆ [ANM] differenziali ordinarie nel campo reale: II 458 e. ◆ [ANM] Forme canoniche di L.: le tre funzioni F(ϑ,k)=∫₀ϑdφ/(1-k2sin2φ)1/2, E(ϑ,k)=∫₀ϑ (1-k2sin2φ)dφ, D(ϑ, ...
Leggi Tutto
algebra di funzioni
Luca Tomassini
L’insieme F([a,b],ℂ) di tutte le funzioni f: [a,b]⊂ℝ→ℂ definite su un intervallo [a,b] della retta reale ℝ e a valori nei numeri complessi ℂ costituisce un’algebra, [...] di Gelfand ogni C*-algebra è canonicamente isomorfa a essa per un oppurtuno X compatto. Nella letteratura matematica, il termine algebra di funzioni è spesso riservato alle C*-algebre C0(X,ℂ). Notiamo che pur essendo possibile dotare le algebre Cπ ...
Leggi Tutto
pi grèco [LSF] Nome corrente della lettera gr. π, Π (→ pi). ◆ [ALG] [ANM] Nella forma min. π, numero che, introdotto inizialmente come rapporto tra la lunghezza di una qualunque circonferenza e il suo [...] numero possibile di cifre di π, che ha impegnato molti matematici in epoche diverse e si effettua con vari metodi; alcuni, violando la simmetria cilindrica, rispetto alla direzione del legame, della funzione d'onda risultante. ◆ [ELT] Modo π: uno dei ...
Leggi Tutto
trasformata di Laplace
Luca Tomassini
Nozione introdotta da Pierre-Simon de Laplace nel suo famoso Théorie analitique des probabilités (1812) e da lui utilizzata per risolvere equazioni differenziali [...] per giustificare il calcolo operazionale ma più in generale essa è divenuta uno strumento insostituibile nella matematica applicata. Sia f(t):ℝ+→ℂ una funzione a variazione limitata sull’intervallo [0,r] per ogni r positivo. Se
formula
converge per ...
Leggi Tutto
Dirac Paul Adrien Maurice
Dirac 〈dirèk〉 Paul Adrien Maurice [STF] (Bristol 1902 - m. in Florida 1984) Prof. di matematica nell'univ. di Cambridge (1932); ebbe il premio Nobel per la fisica nel 1933 per [...] la formulazione matematica della meccanica quantistica; socio straniero dei Lincei dal 1958. ◆ [MCQ] Azione di D.: v. reticolo, quantistica: II 298 d. ◆ [ANM] Delta di D.: lo stesso che funzione delta di D. (v. oltre). ◆ [EMG] Equazione di D.: v ...
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....
matematica
matemàtica (ant. e raro mattemàtica) s. f. [dal lat. mathematĭca (sottint. ars), gr. μαϑηματική (sottint. τέχνη); v. matematico]. – 1. a. Originariamente, la scienza razionale dei numeri (aritmetica, intesa come scienza della quantità...