L'a. l. costituisce uno strumento matematico di importanza fondamentale in ogni disciplina scientifica. Essa costituisce sia un efficace linguaggio comune con cui formulare problemi di natura diversa, [...] generale di spazio vettoriale, alla base dell'a. l., è quello di un'entità astratta definita da un insieme di assiomi che ne regolano le operazioni di addizione e di moltiplicazione per un numero. La rappresentazione di un vettore in una particolare ...
Leggi Tutto
GRUPPO (XVII, p. 1012)
Ugo AMALDI
Nell'ultimo quindicennio le teorie classiche dei gruppi hanno ricevuto scarsi apporti di risultati generali. Fra questi, nel campo dei gruppi continui, spetta un rilievo [...] tipi possibili di insiemi di elementi astratti; e ciascuno di questi tipi è stato caratterizzato mediante un sistema di assiomi, che ne definiscono la struttura, in guisa che, nel caso dei gruppi, si ricade sostanzialmente su quella medesima nozione ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Gli archimedei e i problemi infinitesimali
Roshdi Rashed
Gli archimedei e i problemi infinitesimali
La storia della geometria infinitesimale, [...] non enunciati. In particolare la nozione di convessità: tutti i poligoni e i poliedri considerati sono convessi. Tra gli altri assiomi vi sono i seguenti: (A1) se un poligono convesso è inscritto in un cerchio, allora il suo perimetro è inferiore ...
Leggi Tutto
insieme
insième [Der. del lat. insemel, forma corrotta di insimul, comp. di in- e simul "insieme"] [ALG] Secondo la definizione di G. Cantor, ogni raccolta (aggregato, famiglia) di enti distinti, detti [...] si cercò di porre rimedio in vari modi; lo stesso Russell elaborò la teoria dei tipi, in cui impose limitazioni all’assioma di comprensione stabilendo una specie di gerarchia, detta appunto dei «tipi», secondo la quale un i. deve essere di tipo ...
Leggi Tutto
Diritto
D. nel diritto dell'Unione Europea È una delle fonti derivate del diritto dell’Unione Europea (UE), insieme alle direttive e ai regolamenti (art. 288 del Trattato sul funzionamento dell’UE). [...] della logica matematica il problema della d. può essere posto sotto due diversi aspetti: a) se sia decidibile l’insieme degli assiomi, e in questo caso la teoria è più comunemente detta teoria assiomatica; b) se sia decidibile l’insieme dei teoremi ...
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 [...] di completa indipendenza riguardo al 'concreto', rivendicando la possibilità di sviluppare nozioni puramente astratte rette da sistemi di assiomi quasi arbitrari e senza una necessaria corrispondenza con la realtà sperimentale; […] ci si è resi conto ...
Leggi Tutto
Fisico e matematico (Woolsthorpe, Lincolnshire, 1642 - Londra 1727). Di famiglia agiata ma priva di istruzione, N. fu avviato agli studî dal ramo familiare materno, gli Ayscough (o Askew). Frequentò così [...] di allontanamento dall'asse, rivelate dalla concavità dell'acqua, forze che sono invece nulle nel moto circolare relativo. Gli assiomi, o leggi del moto, sono la formulazione matematica dell'inerzia, già enunciata da Galileo e Descartes in termini ...
Leggi Tutto
Matematica
Nella logica, ciascuno dei modi con cui può configurarsi il nesso fra soggetto e predicato.
Nella sillogistica aristotelica, i giudizi erano distinti a seconda che il nesso che univa il soggetto [...] nel metalinguaggio a partire dalla m. di necessità e dalla negazione. Nei vari sistemi di logica modale enunciativa gli assiomi e le regole sul simbolo L corrispondono a ipotesi sul significato e sull’uso degli enunciati modali. La semantica dei ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] rese conto che la nozione di sequenza di scelta (che compare in un contesto piuttosto diverso nella discussione di Borel sull'assioma di scelta) poteva essere legittimata dal suo punto di vista offrendo tutti i vantaggi di una 'teoria aritmetica' del ...
Leggi Tutto
piano 2
piano2 [Der. del lat. planum "pianura", neutro sostantivato dell'agg. planus] [ALG] Ente geometrico costituente l'astrazione del concetto intuitivo di una superficie liscia, non incurvata, priva [...] . affine, nel quale siano assegnati certi sottoinsiemi r, s,... chiamati rette, in modo che siano soddisfatte queste tre condizioni (dette spesso assiomi di incidenza): (a) per due punti distinti A, B passa una e una sola retta; (b) dati un punto A e ...
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...