Galois Evariste
Galois 〈galuà〉 Évariste [STF] (Bourg-la Reine 1811 - Parigi 1832) Studioso di matematica. ◆ [ALG] Campo di G.: ogni campo con un numero finito di elementi, in partic. il campo numerico [...] di p elementi formato dalle p classi distinte dei resti nella divisione degli interi per un numero primo p. ◆ [ALG] Gruppo di G.: un gruppo di sostituzioni sulle radici di un'equazione algebrica (priva di radici multiple) su cui si riflettono le ...
Leggi Tutto
diofanteo
diofantèo (o diofantino) [agg. Dal nome del matematico greco Diofanto, vissuto in Alessandria verso il 250 d.C.] [ANM] Analisi d.: lo stesso che analisi indeterminata (→ indeterminato). ◆ [MCC] [...] Condizione d.: v. perturbazioni in meccanica classica: IV 500 e. ◆ [ANM] Equazione d.: è un'equazione del tipo p(x₁, ..., xn)=0, dove p è un polinomio a coefficienti interi, della quale si ricerchino le eventuali n-ple di interi che la soddisfino. ...
Leggi Tutto
oblungo
oblungo [agg. (pl.m. -ghi) Der. del lat. ob-longus, comp. di ob- e longus "lungo"] [LSF] Di ente con la lunghezza alquanto prevalente sulle altre dimensioni, cioè più lungo che largo e alto. [...] ◆ [ALG] Numero o.: particolare numero figurato rettangolare, derivante dalla moltiplicazione di due numeri interi consecutivi, quale, per es., 20=4╳5. ...
Leggi Tutto
Stirling James
Stirling 〈stéëlin〉 James [STF] (Garden 1692 - Edimburgo 1770) Prof. di matematica a Venezia (1715) e direttore di una compagnia di miniere in Inghilterra (1735). ◆ [ANM] Formula di S.: [...] serve per avere un valore approssimato della funzione gamma di Eulero, molto utile per valutare fattoriali di grandi numeri interi: v. funzione di variabile complessa: II 781 c. ...
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, [...] , la parte, la quantità più piccola possibile. ◆ [ALG] M. comune multiplo (m.c.m. o mcm): di più numeri interi, il più piccolo tra i numeri interi che sono divisibili per tutti i numeri dati; è dato dal prodotto di tutti i fattori primi, comuni e non ...
Leggi Tutto
godelizzazione
gödelizzazióne 〈g✄ödël-〉 [Dal cognome di K. Gödel] [ALG] [FAF] Tecnica in uso nella logica matematica, consistente nell'associare un numero intero (numero di Gödel) a ogni espressione [...] all'espressione A si può far corrispondere il numero di Gödel di A: g(A)=2n1 3n2 5n3 7n4 .... Viceversa, ogni numero intero che, scomposto in fattori primi, dia luogo unicamente a esponenti uguali a qualcuno dei numeri a, b, c, ..., è numero di Gödel ...
Leggi Tutto
soddisfacibile
soddisfacìbile [Der. di soddisfare, dal lat. satisfacere, comp. di satis "abbastanza" e facere "fare"] [ALG] [FAF] Formula s.: nella logica matematica, è tale una formula se esiste una [...] struttura in cui, mediante un'opportuna interpretazione delle variabili, la formula medesima risulti vera, com'è, per es., per la formula 2x=y se la s'interpreta nel campo dei numeri interi ponendo x=1 e y=2. ...
Leggi Tutto
divisibilita
divisibilità [Der. di divisibile] [ANM] Proprietà di un ente, e in partic. di un numero, di essere divisibile per un altro; la d. di un numero intero per un altro numero intero può essere [...] criteri di d., senza che occorra determinarne effettivamente il quoziente, quali, per es., sono nell'aritmetica i noti criteri di d. dei numeri interi (un numero è divisibile per 2 se termina per 0 o una cifra pari, per 3 se lo è la somma delle sue ...
Leggi Tutto
aritmetizzazione
aritmetizzazióne [Atto ed effetto dell'aritmetizzare "rendere aritmetico", der. di aritmetico] [ALG] [FAF] [INF] Nella logica matematica: (a) in senso generale e storico, programma sviluppato [...] e, in definitiva, sull'aritmetica; (b) in partic., procedimento con cui, seguendo determinate regole, si associano alcuni numeri interi ai segni e alle formule di un linguaggio, rendendo così possibile un calcolo matematico delle espressioni che sono ...
Leggi Tutto
integrita
integrità [Der. del lat. integritas -atis, da integer "intero"] [LSF] Lo stato di un ente che possiede tutte le sue parti e gode di tutte le sue proprietà. ◆ [ALG] Dominio, o campo, d'i.: un [...] anello commutativo, dotato di elemento unità, in cui valga la proprietà di annullamento del prodotto (se ab=0, è a=0 oppure b=0); gode di proprietà molto vicine a quelle dell'anello dei numeri interi. ...
Leggi Tutto
inter-
ìnter- [dal lat. inter «tra», inter-]. – Prefisso di parole composte, derivate dal latino (specialmente verbi) o formate modernamente (soprattutto sostantivi e aggettivi), nelle quali ha in genere i significati della prep. tra, indicando...
interarmi
(o interarme) agg. [comp. di inter- e arma]. – Che interessa o riguarda due o più armi dell’esercito: disposizioni, circolari interarmi. Cfr. interforze e pluriarma.