assiomatizzazione
assiomatizzazióne [Atto ed effetto dell'assiomatizzare "procedere per assiomi", da assioma] [FAF] A. di una teoria: formulazione di alcune proprietà della teoria dalle quali tutte le altre possono essere dedotte: v. assiomatizzazione ...
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 [...] (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 ...
Leggi Tutto
Peano Giuseppe
Peano Giuseppe [STF] (Cuneo 1858 - Torino 1932) Prof. di analisi infinitesimale nell'univ. di Torino (1890). ◆ [ALG] Aritmetica di P.: una costruzione assiomatica dell'aritmetica: v. Gödel, [...] teorema di: III 54 b. ◆ [ALG] Curva di P.: ideata da P. per dimostrare errate certe idee sulle curve, in partic. che esse siano identicamente enti continui a una dimensione; è costituita da una spezzata ...
Leggi Tutto
rimpiazzamento
rimpiazzaménto [Atto ed effetto del rimpiazzare, der. del fr. remplacer "mettere una cosa al posto di un'altra", comp. di re- sostitutivo e der. di place "posto"] [ALG] [FAF] Assioma, [...] nella logica matematica, assioma introdotto da A.A. Fraenkel, intorno al 1922, per eliminare alcuni inconvenienti della teoria assiomatica degli insiemi di Zermelo, che può essere così enunciato: se all'interno di una formula si rimpiazza una parte ...
Leggi Tutto
numero
nùmero [Der. del lat. numerus] [LSF] Oltre che nei vari signif. propri della matematica, alcuni dei quali sono ricordati oltre, il termine è usato in varie discipline fisiche anche come sinon. [...] indicano la proprietà di un insieme di oggetti quando non si consideri la natura degli oggetti medesimi (per una definizione assiomatica, v. oltre: N. naturali); tali enti sono ordinati, costituendo la serie dei n. naturali (1,2,3,...), in modo tale ...
Leggi Tutto
rivoluzione
rivoluzióne [Der. del lat. revolutio -onis "atto ed effetto del rivolgersi", dal part. pass. revolutus di revolvere, comp. di re- "di nuovo" e volvere "volgere"] [LSF] (a) Propr., giro completo [...] con una medesima stella, e periodo di r. anomalistico, il tempo per tornare in un medesimo punto dell'orbita. ◆ [FAF] R. assiomatica: v. epistemologia: II 435 a. ◆ [STF] [FAF] R. scientifica: v. epistemologia: II 434 b. ◆ [GFS] Moto di r. della Terra ...
Leggi Tutto
Philosophiae naturalis principia ma-thematica
Philosophiae naturalis principia mathematica 〈filosofie naturalis princìpia matemàtica〉 [Lat. "Principi matematici della filosofia naturale"] [STF] Titolo [...] , Newton sviluppa un gran numero di teoremi relativi all'idrodinamica. Mentre i primi due libri hanno una struttura assiomatica "razionale" e deduttiva, il terzo, a partire da tali premesse, sviluppa induttivamente la costituzione dell'Universo (De ...
Leggi Tutto
standard
stàndard [s.ingl. standard 〈stèndëd〉, dal fr. ant. estendart "stendardo"] [LSF] Campione o modello di riferimento per una categoria di grandezze o anche, astrattamente, di una categoria di fenomeni: [...] combustibile: v. celle a combustibile: I 547 e. ◆ [FAF] Modello s.: il modello più intuitivo e più regolare di una teoria assiomatica; per es., una teoria dei numeri interi ammette vari modelli, tra i quali il modello s. è quello dei numeri naturali ...
Leggi Tutto
complessita
complessità [Der. di complesso] [FAF] (a) L'essere complesso, il fatto di costituire un sistema di più parti o elementi interdipendenti in relazione funzionale fra di loro; (b) specific., [...] : v. entropia e informazione: II 427 c. ◆ [MCS] C. temporale e spaziale del moto: v. entropia e informazione: II 430 c. ◆ [INF] Classe di c.: v. complessità di calcolo: I 663 e. ◆ [INF] Teoria assiomatica della c.: v. complessità di calcolo: I 663 e. ...
Leggi Tutto
Kolmogorov Andrej Nicolaevich
Kolmogorov 〈këlmagòrëf〉 Andrej Nicolaevich [STF] (Tambov 1903 - Mosca 1987) Prof. di matematica nell'univ. di Mosca (1931). ◆ [PRB] Assiomi di K.: v. probabilità classica: [...] K.: v. turbolenza: VI 363 c. ◆ [PRB] Modello di K. nella teoria della probabilità: il modello più noto di teoria assiomatica della probabilità: v. probabilità classica: IV 581 d. ◆ [PRB] Postulato di additività numerabile di K., o di σ-additività: v ...
Leggi Tutto
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...
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),...