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

assiomàtico

metodo assiomatico 

metodo assiomatico → metodo deduttivo.

metodo assiomatico

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 è sempre più sostituito da critica dei fondamenti o da altre espressioni sim.); vanno distinte un'a. intuitiva (per es., quella euclidea), in cui gli assiomi sono considerati

assiomàtica

assiomatica 

assiomatica o teoria del metodo assiomatico o del metodo deduttivo, l’insieme delle questioni concernenti la metodologia delle teorie definite attraverso assiomi. Si è soliti distinguere [...] I fondamenti della geometria (1899) di D. Hilbert, si ebbe il primo compiuto esempio di applicazione della metodologia assiomatica formale. Secondo questo approccio, la funzione degli assiomi non è quella di stabilire asserzioni che fanno riferimento

assiomatica

categoricità In logica matematica, proprietà di un sistema assiomatico i cui modelli siano isomorfi. Si considerino, per es., gli assiomi di Peano per i numeri naturali: a) 0 (zero) è un numero naturale; [...] anche il successivo di questo ne gode, allora ogni numero naturale gode di quelle proprietà. Un modello del sistema assiomatico a)-e) è un’interpretazione dei termini non definiti «0», «numero naturale», «successivo di un numero naturale», che

categoricità

preferenze, assiomi sulle 

Edoardo Boncinelli

La teoria assiomatica delle preferenze
L’utilizzo dell’approccio assiomatico in economia è una manifestazione del progressivo impiego, nel 20° sec., del [...] teoria economica, nel tentativo di conferire a quest’ultima lo status di ‘scienza’. Coerentemente con l’approccio assiomatico, specifiche proprietà sono imposte alla relazione di preferenza del consumatore sui panieri di beni, e da queste proprietà

preferenze, assiomi sulle

coerenza 

coerenza in logica, termine (sinonimo di non contraddittorietà e di consistenza), che indica la proprietà di un sistema assiomatico in cui non è possibile derivare contraddizioni: un sistema [...] (formalizzato come teoria del primo ordine) sono teorie coerenti: ciò deriva dalla completezza semantica di questi due sistemi assiomatici; un esempio di teoria non coerente è la teoria degli insiemi nella formulazione di Cantor. Secondo la teoria

coerenza

formalismo 

formalismo concezione della matematica secondo la quale una teoria matematica è, essenzialmente, il complesso linguistico che la descrive, organizzato in un particolare sistema assiomatico [...] formale (→ sistema formale); è garantito così, con l’esclusione di ogni ricorso all’intuizione, il massimo rigore deduttivistico. Il paragone che spesso si avanza per spiegare il punto di vista formalista

formalismo

Maria Conforti

 
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
In senso lato, il programma di Hilbert consiste nel progetto di codificare tutta la [...] volta un teorema. La coerenza e la completezza vanno di pari passo perché una volta che si dimostra che un sistema assiomatico è coerente e completo, allora non corriamo il pericolo di dimostrare dei teoremi falsi e di non dimostrare tutti i teoremi

Storia della civiltà europea a cura di Umberto Eco (2014)

Il programma di Hilbert

Hilbert, assiomi di 

Hilbert, assiomi di assiomi della geometria introdotti da D. Hilbert nel 1899 nel testo Grundlagen der Geometrie (Fondamenti della geometria) per superare alcune contraddizioni e [...] primitivi quali punto, retta e piano. Mentre, per Euclide, per esempio, «punto è ciò che non ha parti», nell’assiomatica hilbertiana il punto non è in alcun modo descritto e può essere qualsiasi oggetto, purché esso, formalmente, soddisfi determinati

Hilbert, assiomi di

assiomatico 

assiomàtico agg. [dal gr. ἀξιωματικός] (pl. m. -ci). – Di assioma, che ha carattere di assioma, quindi, in genere, evidente, indiscutibile: verità a.; principî assiomatici. In logica matematica, trattazione a. (di una data questione), ...

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 ...