epsilon
èpsilon [gr. epsilòn "semplice"] [LSF] Nome della lettera greca ε (e breve) maiusc. Ε. ◆ [ALG] Operatore ε: introdotto da D. Hilbert nella logica dei predicati del 1° ordine, in relazione a un [...] predicato monadico P sceglie o privilegia un particolare elemento tra tutti quelli che appartengono a P. ◆ [FSN] Mesone ε: v. nucleone: IV 207 b ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] che due è uguale a uno; ma lei e il papa siete due persone, quindi lei e il papa siete un tutt'uno".
Hilbert fece molti progressi con questo metodo; egli provò la consistenza di sistemi di assiomi sempre più grandi, tra cui la geometria euclidea ...
Leggi Tutto
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] problema della decisione per le teorie formali (formulato da E. Schröder nel 1895 e ripreso da L. Löwenheim nel 1915 e D. Hilbert nel 1918), cioè il problema se, per una data teoria formale T, esista un algoritmo per determinare se una formula A sia ...
Leggi Tutto
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] anche in fisica, e in particolare in meccanica quantistica, dove gli stati di un sistema sono descritti da vettori di uno s. di Hilbert.
S. metrico (o distanziale). S. nel quale è definita una distanza d tra due qualunque elementi x, y tale che d(x ...
Leggi Tutto
Matematica
Ana Millán Gasca
(XXII, p. 257; App. II, ii, p. 276; III, ii, p. 44; IV, ii, p. 414)
Nella voce matematica pubblicata nel vol. XXII della Enciclopedia Italiana, l'etimologia greca della parola [...] primo di questa serie ebbe luogo a Zurigo nel 1897, e nel 1900 si tenne a Parigi il memorabile congresso nel quale Hilbert presentò una lista dei problemi aperti come proposta di lavoro per il nuovo secolo; nel 1990 è stata scelta per la prima volta ...
Leggi Tutto
proiettore
proiettóre [Der. del part. pass. proiectus del lat. proicere "gettare innanzi"] [LSF] Che proietta, che lancia, anche in signif. figurati. ◆ [ALG] Dato un insieme X, è un endomorfismo P sull'insieme [...] . I p. hanno notevole interesse nella rappresentazione di operatori lineari, per es. in spazi di Banach e di Hilbert, dove intervengono nella costruzione di un elemento dello spazio attraverso il suo sviluppo ortogonale. ◆ [FSN] Particolare operatore ...
Leggi Tutto
unitario
unitàrio [agg. Der. di unità] [LSF] Che è u-guale all'unità, si fonda sull'unità o s'ispira a criteri di unità. ◆ [CHF] Nella tecnologia chimica, di trasformazioni per le quali possono essere [...] A∗ è la matrice coniugata trasposta di A e I è la matrice identità. ◆ [ANM] Operatore u.: operatore lineare A definito su uno spazio di Hilbert H tale che per ogni coppia a, b in H si ha (Aa, Ab)=(a, b). ◆ [ALG] Rappresentazione u.: di un gruppo di ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] erano motivati dalla necessità di dare un fondamento alla nozione di dimostrazione matematica, sulla via inaugurata da David Hilbert. Dopo la Seconda guerra mondiale, in conseguenza dello sviluppo di calcolatori e sistemi di telecomunicazione e del ...
Leggi Tutto
In fisica, proprietà di certe grandezze osservabili di poter assumere soltanto un certo insieme discreto di valori e anche il procedimento in base al quale si determinano questi valori. In elettronica [...] delle quali si possono esprimere tutte le altre variabili del sistema, considerate come operatori su uno spazio di Hilbert, abbiano i commutatori proporzionali alle rispettive parentesi di Poisson:
[1] formula
dove δij è il simbolo di Kronecker ...
Leggi Tutto
hilbertiano
〈i-〉 agg. – Relativo al matematico ted. D. Hilbert (1862-1943). In partic., spazio h., spazio vettoriale completo (in cui cioè qualsiasi successione convergente di punti converga a un punto dello spazio stesso) nel quale sia definito...
risolubilita
risolubilità s. f. [der. di risolubile]. – Il fatto di essere risolubile, la condizione di ciò che può essere risolto: r. di un dubbio, di un problema, di un enigma; r. di un contratto, in diritto privato; r. di un problema geometrico...