insiemistica 

insiemistica termine con il quale talvolta è indicato, a livello elementare, lo studio degli insiemi e delle loro proprietà. È quindi sinonimo di teoria ingenua degli insiemi, cioè di uno [...] studio che muove dal termine primitivo di insieme, inteso come aggregato di oggetti, senza esplicita posizione di assiomi e limitazioni (→ insiemi, teoria degli)

insiemistica

insiemistica 

insiemìstica [Der. di insieme] [ALG] Il complesso delle nozioni attinenti agli insiemi.

complementare 

complementare nell’accezione insiemistica (insieme complementare): → complementazione. In geometria piana, il termine denota ciascuno di due angoli la somma delle cui ampiezze è quella [...] di un angolo retto (→ angoli associati per ampiezza); la definizione si estende ai diedri, nella geometria dello spazio

complementare

tipi, teoria dei 

tipi, teoria dei in logica, teoria elaborata da B. Russell per superare le antinomie, basate sulla autoreferenzialità, venute alla luce all’epoca della crisi dei → fondamenti della matematica. [...] i tipi sono identificati nel modo seguente: una certa classe di individui (cioè di entità cui non è attribuita nessuna struttura insiemistica) costituisce il tipo 0; inoltre, per ogni numero naturale n maggiore di 0, la totalità degli insiemi i cui

tipi, teoria dei

Logico e filosofo polacco (Serpuchov, Mosca, 1886 - Varsavia 1939), dal 1919 prof. di filosofia della matematica all'univ. di Varsavia. Allievo di K. Twardowski, fu (con A. Tarski e J. Łukasiewicz) tra [...] i maggiori esponenti della Scuola logica polacca. Cercò di ovviare alle difficoltà della fondazione insiemistica della matematica proponendo una originale soluzione per il paradosso di Russell, fondata sulla distinzione tra interpretazione

Leśniewski, Stanisław

La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi 

Gabriele Lolli

La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] nell'algebra di Boole completa. Anche tutte le affermazioni insiemistiche vengono ad assumere un valore in questa algebra; rivelato fonte di interessanti e importanti conseguenze nella topologia insiemistica, vale a dire la branca della topologia che

La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi

teorema ergodico 

Giacomo Aletti

In un sistema dinamico governato da una trasformazione ergodica, la media spaziale e la media temporale coincidono quasi certamente. Matematicamente, un sistema dinamico [...] se è di fatto identico al suo trasformato: P(AΔT(A))=0, dove Δ è il simbolo di differenza simmetrica insiemistica. Un sistema measure-preserving (X,✄,P,T) è detto ergodico se gli unici eventi T-invarianti sono banali, ossia hanno probabilità

Enciclopedia della Scienza e della Tecnica (2008)

teorema ergodico

scelta 

Atto con cui si esprime una preferenza fra due o più alternative possibili, concretizzando una decisione. È abbastanza comune l’opinione che la s. sia un libero atto di volontà, mediante il quale [...] conto dei termini in cui si pongono le alternative.

La scelta nella logica e nell’insiemistica
L’assioma di s., di fondamentale importanza in logica e insiemistica, enunciato per la prima volta nel 1904 da E. Zermelo, asserisce che, data una classe

scelta

STORIA DELLA MATEMATICA 

Luigi Borzacchini

STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] stessa ragione: i numeri reali sono una creazione dello spirito umano e non un travestimento di un’idea logica; l’insiemistica di Dedekind non ha nulla di filosofico, ma affonda le sue radici nel trattamento matematico dell’infinito: Frege analizza

STORIA DELLA MATEMATICA

Filologo romanzo, nato a Cremona il 3 giugno 1920. Ha insegnato nella università di Torino (dal 1962), e (dal 1974) in quella di Firenze. Socio dell'Accademia della Crusca (dal 1972), ne ha diretto dal [...] (19782); si veda anche La critica testuale (1972), in cui A. ha cercato di estendere le regole dell'insiemistica e taluni procedimenti delle matematiche moderne (con larga approssimazione) alle tecniche dell'edizione critica.
Sulla linea d'indagine

Enciclopedia Italiana - V Appendice (1991)

AVALLE, D'Arco Silvio

insiemistica 

insiemìstica s. f. [der. di insieme]. – In matematica, il complesso delle nozioni attinenti agli insiemi.

insiemìstica

insiemistico 

insiemìstico agg. [der. di insieme] (pl. m. -ci). – In matematica, di nozione che si ricollega alla teoria degli insiemi.