assiomatico
assiomàtico [agg. (pl.m. -ci) Der. del gr. axiomatikós] [ALG] Metodo a.: v. assiomatizzazione: I 181 a. ◆ [ALG] [FAF] Trattazione a. (di una data questione): nella logica matematica, la trattazione [...] in cui si astrae da ogni definizione costruttiva degli enti che intervengono nella questione e si considerano solo talune loro proprietà espresse formalmente in un sistema di assiomi, dai quali, per via puramente logica, si deducono nuove proprietà. ...
Leggi Tutto
Helmholtz, Hermann L.F. von
Giuditta Parolini
Un medico appassionato di fisica e matematica
Hermann von Helmholtz, prussiano, è stato uno degli ultimi grandi esempi di scienziato 'enciclopedico' dell'Ottocento: [...] e matematica, studiando in particolare il principio di conservazione dell'energia, il moto dei fluidi, l'elettromagnetismo, gli assiomi della geometria, la percezione dei suoni e dei colori, e cercando di spiegare il funzionamento del corpo umano per ...
Leggi Tutto
misure di fuzziness
Settimio Termini
Sia ℒ(X) l’insieme di tutti gli insiemi fuzzy f:X→I dove X è un insieme arbitrario e I l’intervallo [0,1] della retta reale. Introduciamo adesso nell’intervallo [...] massimo se e solo se f=f ′; (c) h è isotona rispetto all’ordine ≤′, cioè se f≤′g allora h(f)≤h(g). A questi assiomi base se ne possono aggiungere altri come, per es.: (d) h(f)=h(f′), per ogni f∈ℒ(X), cioè una misura di fuzziness assume lo stesso ...
Leggi Tutto
Insieme di procedimenti matematici atti a dare la soluzione di un dato problema.
Informatica
Sistemi di c. Complesso di unità periferiche con le quali e per mezzo delle quali un calcolatore, specialmente [...] requisiti di effettività:
a) data un’espressione qualsiasi, si deve sempre poter determinare se essa è o no uno degli assiomi,
b) data un’inferenza qualsiasi di un’espressione da un certo numero di altre espressioni, si deve sempre poter determinare ...
Leggi Tutto
LIMITE (XXI, p. 162)
Tullio Viola
La moderna esigenza di una visione sempre più astratta e sintetica dei concetti fondamentali della matematica ha portato a generalizzare in più direzioni il concetto [...] una coppia d'intorni Ix di x, Ix′ di x′, tali che Ix ⋂ Ix′ = ∅, cioè Ix e Ix′ privi di punti comuni:
È il cosiddetto "assioma di separazione" o di F. Haussdorff.
Se E è un qualunque insieme di punti di uno spazio topologico S, si dice che un punto x ...
Leggi Tutto
proprio
pròprio [Der. del lat. proprius, probab. dalla locuz. pro privo "a titolo privato"] [LSF] Conserva il signif. di proprietà e quindi con signif. affine a quello di peculiare, specifico e simili. [...] generico, in senso lato e sim. per sottolineare la specificità di qualcosa. ◆ [ALG] [FAF] Assiomi p., o non logici: nella logica matematica, gli assiomi specifici di una teoria formalizzata. ◆ [ALG] [FAF] Classe p.: ogni insieme che non possa essere ...
Leggi Tutto
categoria
categoria [Der. del lat. categoria, dal gr. kategoría "attributo"] [ALG] Nell'algebra astratta, struttura algebrica costruita nel modo seguente. Sia data una famiglia M di enti matematici (detta [...] oggetti) e per ogni paio di oggetti x,y∈M un insieme di relazioni Hom(x,y) i cui elementi f:x→y, detti morfismi, soddisfino i seguenti assiomi: (a) dati f,g∈Hom(x,y) si può definire il morfismo composto g✄f; (b) dati f,g,h∈Hom(x,y) si ha (h°g)°f ...
Leggi Tutto
TOPOLOGIA (v. analysis situs, I, p. 87; topologia astratta, App. II, 11, p. 1004; topologia, App. III, 11, p. 960)
Santuzza Baldassarri Ghezzo
La t. oggi è una delle discipline fondamentali della matematica; [...] , l'esistenza di una famiglia numerabile {Un} d'intorni di x tali che ogni intorno di x contenga qualche Un (primo assioma di numerabilità); 2) l'esistenza d'una "base" numerabile {Un}, cioè ogni insieme aperto dello spazio sia una unione di elementi ...
Leggi Tutto
Logico e matematico tedesco (Kiel 1915 - Gottinga 1994), prof. di filosofia all'univ. di Kiel (dal 1956; dal 1980 prof. emerito). Creò la logica operativa, che rappresenta una posizione intermedia fra [...] logico, cioè sul suo "operare con simboli", e in questo modo è costruttiva e assiomatica. Nei calcoli logici considera "ammissibili" nuovi assiomi o regole se ogni loro applicazione può essere sostituita mediante altri passaggi in cui sono usati solo ...
Leggi Tutto
Gli sviluppi dell'algebra generale, o astratta, che ormai può denominarsi a. senz'altro (il termine "a. moderna" tende a cadere in disuso), sono stati così vasti e varî negli ultimi anni da far parlare [...] di a. (di anelli) con potenze associative oggi assai studiata è quella delle a. di Jordan (J-a.). Indicando il prodotto con "×", ecco gli assiomi di una J-a.: a × b = b × a; (a2 × b) × a = (a2) × (b × a). Una J-a. si dice speciale quando è isomorfa a ...
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...