Linguistica
Si definisce vocale a., in contrapposizione a vocale chiusa, quella nella cui pronunzia è maggiore la distanza tra la superficie superiore della lingua e il palato, calcolata nel luogo diaframmatico; [...] , una struttura topologica in un insieme sì da renderlo uno spazio topologico, è proprio quello di assegnare a priori i suoi insiemi a., soddisfacenti naturalmente a opportuni assiomi (➔ spazio).
In araldica a. è attributo di una figura. ...
Leggi Tutto
modello
modello termine utilizzato in matematica con due significati opposti: da una parte, diversamente connotato (per esempio, modello algebrico, modello geometrico ecc.), indica uno schema teorico, [...] sono isomorfi al modello standard, la teoria è detta teoria categorica. È tale per esempio l’aritmetica formalizzata con gli assiomi di Peano. La teoria dei gruppi è invece una teoria non categorica perché ci sono più modelli di gruppo tra loro ...
Leggi Tutto
formalizzazione
formalizzazione in generale, il termine designa il processo per il quale proprietà, relazioni e legami tra gli elementi di un problema, di un gioco, di una teoria ecc. sono espressi in [...] generale del termine è il medesimo, ma indica più propriamente il processo di costruzione di → sistemi formali i cui assiomi e regole di inferenza costituiscano una esplicita e rigorosa formulazione di tutte le ipotesi e procedure di prova usualmente ...
Leggi Tutto
dominio euclideo
dominio euclideo particolare anello A che rappresenta il contesto più generale in cui poter effettuare la divisione con resto. È un dominio di integrità (cioè un anello unitario, commutativo, [...] una funzione v: A{0} → N, definita sull’anello privato dello zero e a valori in N, che soddisfi i due seguenti assiomi, i quali generalizzano alcune proprietà del modulo di un numero intero e del grado di un polinomio:
• per ogni coppia di elementi ...
Leggi Tutto
Levi
Levi Beppo (Torino 1875 - Rosario, Santa Fe, 1961) matematico italiano. Laureatosi a Torino nel 1896 con C. Segre, lavorò poi con V. Volterra e approfondì i lavori di E. Noether estendendo alle [...] (1904), stabilì, a partire dalla nozione di punto e di congruenza tra coppie di punti, una serie di assiomi che gli permisero una rappresentazione per coordinate di tutta la geometria proiettiva “nelle sue parti essenziali”, indipendentemente da ogni ...
Leggi Tutto
contraddizione
contraddizione rapporto di antitesi tra due asserzioni di cui una nega ciò che l’altra afferma. In logica, e in particolare nel linguaggio degli enunciati, la contraddizione è una proposizione [...] teorie che non siano contraddittori, una teoria contraddittoria non è accettabile. Una teoria non contraddittoria si dice coerente o consistente. Lo stesso si dice di una lista di assiomi dai quali è deducibile una teoria non contraddittoria. ...
Leggi Tutto
FRAENKEL, Abraham Adolf Halevi
Matematico israeliano di origine tedesca, nato a Monaco il 17 febbraio 1891 e morto a Gerusalemme il 15 ottobre 1965. Professore e direttore dell'Istituto matematico a [...] E. Zermelo non era sufficientemente potente per servire da base a tutte le teorie matematiche. Introdusse perciò l'assioma di rimpiazzamento costituendo così il nuovo sistema assiomatico detto di Zermelo-Fraenkel, che tuttora è il sistema più diffuso ...
Leggi Tutto
composizione, legge di
composizione, legge di generalizzazione del concetto di operazione. Una legge di composizione su un insieme A è una applicazione ∗: B × A → A, dove B è un insieme detto dominio [...] in uno spazio vettoriale V definito su un campo K. Un altro esempio di legge di composizione esterna si ha quando il dominio degli operatori B coincide con un gruppo G e si postulano ulteriori assiomi: si parla in tal caso di azione di G su A. ...
Leggi Tutto
Nella definizione della m. a. data nell'articolo citato è detto che "Sotto la denominazione di m. a. vanno a rigore comprese le applicazioni della matematica alle assicurazioni"; tuttavia la trattazione [...] di mortalità" e la "indipendenza" fra le probabilità di morte di più individui erano state presentate come "assiomi" (G. Bohlmann) e addirittura particolari formule analitiche furono concepite come espressione di "leggi naturali" della mortalità (B ...
Leggi Tutto
GRANDEZZA
Federigo ENRIQUES
Giovanni SILVA
. Significa, in qualche modo, etimologicamente, ciò che è suscettibile di più e di meno. Dice Aristotele negli Anal. Post., I, 5 (4), che la permutabilità [...] vogliano, per cui:1. siano definite l'eguaglianza e un'operazione commutativa, la somma, in modo da soddisfare agli assiomi dell'eguaglianza e della diseguaglianza, che dichiarano in maniera completa e logicamente precisa: 2. valga il postulato della ...
Leggi Tutto
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
assiomatica
assiomàtica s. f. [dall’agg. assiomatico]. – 1. In genere, ogni dottrina degli assiomi. In partic., quel ramo delle scienze matematiche in cui si discute dei principî della matematica (in questo senso, però, il termine è sempre...