Post, sistema di
Post, sistema di in logica, uno dei modelli sviluppati per proporre una definizione matematica del concetto intuitivo di → funzione calcolabile; altri modelli, tutti tra loro equivalenti, [...] matematica è simulato dalla manipolazione di una stringa di simboli attraverso un insieme di regole stabilite in modo assiomatico. Formalmente un sistema di Post è costituito da:
• un insieme S di simboli, detto alfabeto;
• un insieme X di variabili ...
Leggi Tutto
misura
misura numero usato per esprimere il valore del rapporto di una grandezza rispetto a una grandezza, a essa omogenea, assunta come campione (unità di misura); in altri termini, la misura di una [...] unità di misura è il sistema MKS che prevede come unità di misura per la lunghezza, la massa e il tempo rispettivamente il metro, il chilogrammo e il secondo.
La nozione è anche generalizzata e trattata in modo assiomatico in teoria della → misura ...
Leggi Tutto
costruttivismo
Indirizzo epistemologico (sostenuto nella sua forma più radicale dai matematici intuizionisti L. E. J. Brouwer, A. Heyting) che accetta in matematica soltanto definizioni e dimostrazioni [...] o di cui si vuole provare l’esistenza. Al metodo costruttivistico si oppone, in qualche modo, quello assiomatico, che, stabilito un sistema di assiomi con la sola condizione della non contraddittorietà, non si preoccupa di procedere alla ostensione ...
Leggi Tutto
assiomaticaassiomà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 [...] particolari enti concreti, e un'a. astratta, o formale, in cui gli assiomi non sono che quegli elementi di un sistema formalizzato da cui si deducono teoremi secondo date regole di inferenza. (c) Con altro signif., tendenza al formalismo puro, nell ...
Leggi Tutto
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...