postulato
postulato [Der. del lat. postulatum "ciò che è richiesto", dal part. pass. postulatus di postulare "chiedere"] [ALG] [FAF] Proposizione che si assume come vera quale ipotesi di una dimostrazione [...] o di un sistema ipotetico-deduttivo senza che sia dimostrata né che sia evidente di per sé; si distingue dall'assioma, in quanto questo non è dimostrato perché evidente di per sé. Esistono vari p., alcuni dei quali di fondamentale importanza, come, ...
Leggi Tutto
categoricita
categoricità [Der. di categoria] [ALG] Unicità della scelta degli assiomi di una teoria a meno di isomorfismi: v. Gödel, teorema di: III 54 d. ...
Leggi Tutto
Eilenberg Samuel
Eilenberg 〈àilenbërg〉 Samuel [STF] (n. Varsavia 1913) Prof. di matematica, dal 1946, in varie univ. americane ed europee. ◆ [ALG] Assiomi di E.-Mac Lane: v. topologia algebrica: VI 263 [...] c ...
Leggi Tutto
retta
rètta [f. sostantivato dell'agg. retto] [ALG] Ente geometrico fondamentale, in genere assunto come primitivo nelle trattazioni assiomatiche, per il quale valgono alcune proprietà caratterizzanti [...] (assiomi): per due punti distinti A e B (nel piano come nello spazio) passa una e una sola r. (che viene solitamente indicata con la notazione AB); il tratto di r. (segmento) compreso tra A e B rappresenta il cammino più breve che collega A e B; dati ...
Leggi Tutto
monadico
monàdico [agg. (pl.m. -ci) Der. di monade] [ALG] [FAF] Algebra m.: il sistema (B,c) costituito da un'algebra di Boole B e da un'operazione c unaria su B che verifica certi assiomi, compresi [...] quelli di chiusura; è tale, per es., uno spazio topologico nel quale ogni insieme risulti contemporaneamente aperto e chiuso. ◆ [ALG] [FAF] Attributo, o predicato, m.: nella logica matematica, predicato ...
Leggi Tutto
Dedekind Julius Wilhelm Richard
Dedekind 〈déedëkint〉 Julius Wilhelm Richard [STF] (Brunswick 1831- ivi 1916) Matematico, insegnò nel politecnico di Zurigo (1862), poi in quello di Brunswick (dal 1862); [...] socio straniero dei Lincei dal 1911. ◆ [ALG] Assiomi di Peano-D.: quelli su cui può fondarsi l'aritmetica: v. Gödel, teorema di: III 54 a. ◆ [ALG] Sezione di D.: qualunque suddivisione dell'insieme Q dei numeri razionali in due sottoinsiemi A e B ...
Leggi Tutto
semantico
semantico [agg. (pl.m. -ci) Der. del fr. sémantique (→ semantica)] [ALG] [FAF] Completezza s.: nella logica matematica, proprietà di una teoria in cui ogni formula vera in una certa interpretazione [...] (cioè in una certa classe di strutture) può essere dedotta dagli assiomi della teoria medesima. ◆ [ALG] [FAF] Paradosso s.: nella logica matematica, paradosso che coinvolge il signif.; nasce o per confusione tra linguaggio e metalinguaggio oppure per ...
Leggi Tutto
Uno dei rami fondamentali delle scienze matematiche: in senso lato l’a. studia le operazioni, definite in un insieme, che godono di proprietà analoghe a quelle delle ordinarie operazioni dell’aritmetica. [...] le prime ricerche e i primi risultati su questo problema risalgono a Gauss, 1831; W. Hamilton, 1853; H. Hankel, 1867). Dagli assiomi (I-V) discende l’esistenza di uno zero in A (elemento neutro rispetto alla somma che si ottiene ponendo tutte le ai ...
Leggi Tutto
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
calcolo
càlcolo [Der. del lat. calculus, propr. "pietruzza", qui nel signif. di "gettone per fare conti"] [ALG] [ANM] (a) Insieme di procedimenti atti a dare la soluzione di un dato problema matematico [...] eseguire una data operazione. (b) In termini più elevati, metodo per identificare insiemi a partire da elementi iniziali (assiomi del c.) e regole di derivazione che descrivono come costruire nuovi elementi dell'insieme a partire da quelli iniziali e ...
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...