assiomaticaassiomà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 più sostituito da critica dei fondamenti o da altre espressioni sim.); vanno distinte una a. intuitiva (per es. quella euclidea), in cui gli assiomi sono considerati ...
Leggi Tutto
primitivo1
primitivo1 agg. [dal lat. primitivus «primo», der. dell’avv. primĭtus «in primo luogo», der. di primus «primo»]. – 1. Che è relativo a, o proprio di, un periodo di tempo anteriore a quello [...] avviene spesso, ad es., per il concetto di insieme), ovvero, nelle trattazioni assiomatiche, si enunciano postulati che riguardano tali concetti (come si fa in geometria assiomatica per i concetti primitivi di punto, retta e piano: dopo di che, a ...
Leggi Tutto
assiomatizzare
assiomatiżżare v. tr. [der. di assiomatico]. – Introdurre una trattazione assiomatica (in un dato campo delle matematiche e in altre scienze): a. la geometria, ecc. ...
Leggi Tutto
rimpiazzamento
rimpiazzaménto s. m. [der. di rimpiazzare]. – Forma ormai non com. per rimpiazzo, ma specifica nelle locuz. della logica matematica assioma di r., assioma introdotto da A. A. Fraenkel, [...] intorno al 1922, per eliminare alcuni inconvenienti della teoria assiomatica degli insiemi di Zermelo; e teorema (o principio) di r., che può essere così enunciato: se all’interno di una formula si rimpiazza una parte di essa con una formula ...
Leggi Tutto
standard
stàndard s. m. [dall’ingl. standard 〈stä′ndëd〉, che è dal fr. ant. estendart «stendardo»]. – 1. Livello, grado, tenore normale: lo s. di vita di un paese, di una famiglia; s. culturale, professionale [...] solare s., o modello s. del Sole, v. sole (n. 1 a). e. In logica matematica, modello s. di una teoria assiomatica, il modello più intuitivo e più regolare della teoria (in partic., una teoria per i numeri naturali ammette più modelli: quello formato ...
Leggi Tutto
. Aggettivo derivato da assioma (v.); nome assunto da alcuni anni a significare quel ramo delle scienze matematiche, in cui si discute dell'ordinamento dei principî (v. geometria; numero).
assiomatica
assiomàtica [Der. dell'agg. assiomatico] [FAF] (a) In genere, ogni dottrina degli assiomi. (b) In partic., quel ramo delle scienze matematiche in cui si discute dei principi della matematica (in questo senso, però, il termine è...