statistico
statìstico [agg. Der. di stato, in quanto inizialmente concerneva i conti dello stato] [PRB] Legge s.: generalizzazione desunta dall'analisi s. di dati, esprimente la relazione tra due o più [...] fenomeni, dei quali almeno uno sia un fenomeno collettivo: v. teoria: VI 131 d. ◆ [MCS] Meccanica s.: la parte della meccanica che si propone di dedurre le proprietà macroscopiche della materia dalla descrizione ...
Leggi Tutto
dipendente
dipendènte [agg. Der. del part. pres. dependens -entis del lat. dependere "derivare da, dipendere", comp. di de- e pendere] [LSF] Di ente che abbia una relazione di dipendenza da un altro: [...] forma d. algebricamente, linearmente, ecc. da un'altra. [ALG] [ANM] (a) Si dicono algebricamente d., rispetto a un campo numerico K, più elementi a₁, ..., an di un ampliamento di K che soddisfino un'equazione ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] 38??? c oppure b ???38??? c. a ???38??? b implica a ≠ b. Se a ???38??? b è impossibile, allora a = b. Nessuna delle relazioni a = b, a ≠ b, a ???38??? b è decidibile.
La distinzione fra ≠ e ???38??? deve essere fatta sia per i numeri reali definiti ...
Leggi Tutto
proporzionale
proporzionale [agg. e s.m. Der. del lat. proportionalis, da proportio -onis (→ proporzione)] [ALG] [ANM] Che fa parte di una proporzione o che è in una relazione di proporzionalità (←) [...] con un altro ente: grandezze direttamente p., inversamente p., ecc. ◆ [ALG] Medio p.: il numero x tale che con due numeri dati a e b formi la proporzione a:x=x:b, che si traduce nell'equazione di secondo ...
Leggi Tutto
indipendente
indipendènte [agg. Comp. di in- neg. e dipendente] [LSF] Che non è subordinato ad altri enti o grandezze e anche di enti che non sono in relazione tra loro. ◆ [ALG] Punti i.: più punti di [...] (i)r; i=1, 2 ..., k), si dicono linearmente i. se non esistono k costanti λ₁, λ₂, ..., λk non tutte nulle soddisfacenti le r+1 relazioni λ₁x(1)j + λ₂x(2)j + ... + λkx(k)j= 0, con j=0, 1, ..., r. Ciò equivale, geometricamente, al fatto che nessuno dei ...
Leggi Tutto
coniugato
coniugato [agg., anche sostantivato m. e f. Part. pass. di coniugare, dal lat. comp. di cum "insieme" e iugare "aggiogare"] [ALG] Di enti corrispondentisi in una relazione, di solito involutoria [...] (→ coniugio). ◆ [ALG] C. di una matrice: di una matrice A i cui elementi siano numeri complessi, la matrice A i cui elementi sono i complessi c. di quelli di A. ◆ [ALG] C. di uno spazio lineare normato ...
Leggi Tutto
Matematica (Parigi 1776 - ivi 1831). Dopo avere studiato, giovanissima, il testo del corso di analisi di G. L. Lagrange, gli inviò talune osservazioni scritte: da ciò derivò una fruttuosa relazione scientifica. [...] Fu in corrispondenza con K. F. Gauss e con altri matematici. Dedicò un notevole impegno al teorema di P. Fermat, che non riuscì a dimostrare (e che rimane tuttora indimostrato), ma il cui studio la portò ...
Leggi Tutto
unilaterale
unilaterale [agg. Comp. di uni- e laterale "con un solo lato"] [LSF] Sinon., poco comune, di unidirezionale. ◆ [ALG] Sinon. di unilatero. ◆ [MCC] Vincolo u.: vincolo espresso da una relazione [...] del tipo Φ(x, t)≥0 , dove x sono le coordinate del sistema ...
Leggi Tutto
medio
mèdio [agg. Der. del lat. medius "che sta nel mezzo"] [LSF] Relativ. a una grandezza capace di assumere valori differenti nel tempo o nello spazio o in relazione a variabili condizioni ambientali [...] o di altro tipo, un suo valore circa a mezza strada tra i valori estremi che ne esprima il carattere peculiare, imperturbato rispetto a circostanze accessorie; in termini precisi, potrebbe trattarsi di ...
Leggi Tutto
coseno
coséno [Der. del lat. co(mplementi) sinus "seno dell'angolo complementare"] [ALG] Funzione trigonometrica, di simb. cos, legata alla funzione seno di uno stesso angolo α dalla relazione sin2α+ [...] cos2α=1: → trigonometrico. ◆ [ALG] C. amplitudine: → amplitudine. ◆ [ALG] C. direttori: di una retta in un sistema di riferimento, i c. degli angoli che la retta forma con gli assi del riferimento; per ...
Leggi Tutto
relazione
relazióne s. f. [dal lat. relatio -onis, der. di referre «riferire», part. pass. relatus]. – 1. L’azione e il fatto di riferire, e il testo stesso, orale e scritto, con cui si riferisce, e la sua forma: fare, presentare una r.; r....
relazionare
v. tr. e intr. [der. di relazione] (io relazióno, ecc.). – 1. tr. Informare, ragguagliare con una relazione (usato spec. nel linguaggio burocr.): r. il questore sugli incidenti della nottata. 2. intr. (aus. avere) a. Entrare in...