sistema
sistèma [Der. del lat. systema, dal gr. sy´stema "insieme di cose", che è da synístemi "riunire"] [LSF] (a) Oggetto che, pur essendo costituito da più elementi interconnessi e interagenti tra [...] : III 14 c. ◆ [MCC] S. del secondo ordine: v. sistemi dinamici: V 291 f. ◆ [ALG] [FAF] S. di assiomi: insieme degli assiomi di una teoria. ◆ [ELT] [INF] S. di calcolatori: insieme di calcolatori interconnessi tra loro ognuno dei quali può colloquiare ...
Leggi Tutto
definizione
definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] può parlare del linguaggio usato nel sistema formale cui ci si riferisce; viene usata per individuare gli assiomi e le regole di inferenza del sistema, oppure per abbreviare determinate espressioni ricorrendo a espressioni più semplici appartenenti ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] ] Teorema l.: nella logica matematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante una sequenza finita di applicazioni delle regole di inferenza) da alcuni degli assiomi o teoremi precedenti. ...
Leggi Tutto
Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] importanti. Kurt Gödel nel 1931 dimostrò che vi sono enunciati veri sui numeri naturali che non si possono dedurre dagli assiomi di un sistema standard come quello di Peano. Tale risultato ebbe un grande significato per i fondamenti della matematica ...
Leggi Tutto
L'a. l. costituisce uno strumento matematico di importanza fondamentale in ogni disciplina scientifica. Essa costituisce sia un efficace linguaggio comune con cui formulare problemi di natura diversa, [...] generale di spazio vettoriale, alla base dell'a. l., è quello di un'entità astratta definita da un insieme di assiomi che ne regolano le operazioni di addizione e di moltiplicazione per un numero. La rappresentazione di un vettore in una particolare ...
Leggi Tutto
insieme
insième [Der. del lat. insemel, forma corrotta di insimul, comp. di in- e simul "insieme"] [ALG] Secondo la definizione di G. Cantor, ogni raccolta (aggregato, famiglia) di enti distinti, detti [...] si cercò di porre rimedio in vari modi; lo stesso Russell elaborò la teoria dei tipi, in cui impose limitazioni all’assioma di comprensione stabilendo una specie di gerarchia, detta appunto dei «tipi», secondo la quale un i. deve essere di tipo ...
Leggi Tutto
piano 2
piano2 [Der. del lat. planum "pianura", neutro sostantivato dell'agg. planus] [ALG] Ente geometrico costituente l'astrazione del concetto intuitivo di una superficie liscia, non incurvata, priva [...] . affine, nel quale siano assegnati certi sottoinsiemi r, s,... chiamati rette, in modo che siano soddisfatte queste tre condizioni (dette spesso assiomi di incidenza): (a) per due punti distinti A, B passa una e una sola retta; (b) dati un punto A e ...
Leggi Tutto
struttura
struttura [Der. del lat. structura, dal part. pass. structus di struere "costruire"] [LSF] La costituzione e la disposizione degli elementi che, in rapporto correlativo o funzionale fra loro, [...] infinito-dimensionali: VI 494 f. ◆ [ALG] S. topologica: lo stesso che topologia: v. spazio topologico: V 468 a. ◆ [PRB] Assiomi di s.: v. probabilità classica: IV 579 c. ◆ [MTR] [FAT] Costante di s. fine: una delle costanti fondamentali della fisica ...
Leggi Tutto
Ciascuno dei segni con cui si rappresentano graficamente i suoni delle vocali e delle consonanti di un alfabeto.
Comunicazione scritta che una persona indirizza a un’altra, oppure a un ufficio, a un ente [...] l. indicano i vari elementi del sistema. Le relative regole del calcolo letterale dipendono dalle proprietà formali (o assiomi) delle operazioni definite nel sistema (➔ algebra).
La lettera come comunicazione
Nell’antico Egitto le l. erano scritte ...
Leggi Tutto
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] importanti. Kurt Gödel (1931) dimostrò che vi sono enunciati veri sui numeri naturali che non si possono dedurre dagli assiomi di un sistema standard come quello di Peano. Tale risultato ebbe un grande significato per i fondamenti della matematica ...
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...