sottogruppo
Enciclopedia on line
In matematica, insieme H di elementi di un gruppo G, tale che, mediante l’operazione di composizione definita in G, costituisce a sua volta un gruppo. In altre parole, H è s. di G se il ‘prodotto’ di due [...] , il gruppo dei numeri interi è s. del gruppo dei numeri razionali. Il s. invariante (o normale) di un gruppo G è un suo s. H tale che, comunque si prenda un elemento a in G, per ogni elemento h preso in H, accada che l’elemento aha–1 appartenga a H ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
postulato
Enciclopedia on line
Linguistica
Forme o parole postulate Quelle forme o parole antiche, di solito contrassegnate con asterisco, che non sono documentate in alcun testo, ma di cui viene ragionevolmente supposta l’esistenza [...] nome di principi.
Euclide distinse tra assiomi (verità evidenti o nozioni comuni) e p. (enunciati che esprimono ciò che sec., specialmente per opera di G. Frege, G. Peano, B. Russell e D. Hilbert. Oggi per assioma o p. si intende un enunciato ...
Leggi Tutto
minimalizzazione
Enciclopedia on line
Particolare tipo di procedimento, usato in logica matematica e soprattutto nella teoria della ricorsività, nel quale si fa uso dell’operatore di m., o operatore-μ, che consente di definire in modo opportuno [...] una funzione a partire da una funzione data o da un predicato dato. Procedimento e operatore di m. possono , ..., xn) a partire da una funzione nota g(x1, ..., xn, y), per m. di y, si usa la formula:
f(x1, ..., xn) = μy[g(x1, ..., xn, y) = 0]
che ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
continuo
Enciclopedia on line
Linguistica
In fonologia, articolazioni c. sono quelle in cui nella tenuta non vi è occlusione che arresti la corrente espiratoria (la quale, dunque, fluisce ininterrotta durante tutta l’articolazione [...] numeri reali (come, per es., i punti di una retta). G. Cantor ha dimostrato che la potenza del c. è superiore a quella del numerabile. Il fatto se esista o no una potenza intermedia tra le due è invece indipendente dagli altri ...
Leggi Tutto
gradino
Enciclopedia on line
Elemento costitutivo della scala e per estensione, in una scala di valori o in una serie, ciascuno dei gradi che la compongono.
geologia G. strutturale Dislivello morfologico creato da una dislocazione [...] Piccolo dislivello presente alla base della battigia, dove si accumula la sabbia trasportata dalla corrente di risacca.
G. di confluenza Morfologia tipica delle valli alpine, legata all’azione di esarazione dei ghiacciai.
matematica Funzione a ...
Leggi Tutto
estrapolazione
Enciclopedia on line
In matematica, procedimento che permette di prolungare i valori di una funzione al di là dei limiti nei quali la funzione stessa è conosciuta, facendo uso di opportune funzioni o curve dette appunto estrapolatrici.
Precisamente, [...] della funzione nei punti interni a (x1, xn). Alla soluzione del problema si può pervenire facendo opportunamente uso dei metodi e delle formule usati nell’interpolazione (in particolare, per es., le formule di I. Newton e di G.L. Lagrange). ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
Mumford, David
Enciclopedia on line
Matematico inglese naturalizzato statunitense (n. Worth, Sussex, 1937). Ha studiato con J. Tate, A. Grothendieck e O. Zariski; prof. (dal 1966) alla Harvard University. Autore di importanti studi sulla [...] depth (in collab. con M. Nitzberg e T. Shiota, 1993); Two- and three- dimensional patterns of the face (in collab. con P. Giblin, G. Gordon, P. W. Hallinan e A. L. Yuille, 1999); Indra's pearls: the vision of Felix Klein (in collab. con C. Series e ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
venticinque
Enciclopedia on line
venticinque Numero cardinale. arte I XXV della Campagna romana Nome assunto da un gruppo di artisti che si costituì formalmente a Roma il 24 maggio 1904 con lo scopo di dedicarsi allo studio della campagna [...] il paesaggio dal vero. Tra i fondatori: G. e E. Ferrari, O. Carlandi, E. Coleman, già appartenenti al gruppo In Arte Libertas (➔ Costa, Giovanni) al quale si ispiravano; a loro si aggiunsero C. Pascarella, G.A. Sartorio, A. Noci, L. Cecconi, V ...
Leggi Tutto
CATEGORIA:
ACCADEMIE SCUOLE E MOVIMENTI
–
ARITMETICA
–
STORIA DELLA MATEMATICA
–
STORIA MEDIEVALE
–
STORIA MODERNA
càlcolo combinatòrio
Enciclopedia on line
càlcolo combinatòrio (o analisi combinatoria) Parte dell'aritmetica che ha come scopo principale quello di contare i raggruppamenti di varia specie che si possono formare con oggetti o simboli. I suoi [...] questioni fondamentali del calcolo delle probabilità. Fra i primi matematici che se ne interessarono ricordiamo B. Pascal, G. W. Leibniz, G. Bernoulli (1655-1705), A. De Moivre (1667-1754). I raggruppamenti di oggetti che l'analisi c. considera ...
Leggi Tutto
CATEGORIA:
ARITMETICA
ars combinatoria
Enciclopedia on line
Locuzione con cui G. Leibniz definì quella che già R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli [...] modi possibili e di ottenere così una specie di mappa o di catasto universale dei concetti. Tale idea presupponeva quindi da altro la possibilità di simboleggiare i concetti in segni geometrici o algebrici. A quest’ultimo aspetto si rifarà più tardi ...
Leggi Tutto