insiemistica

Enciclopedia della Matematica (2013)

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) ... Leggi Tutto

insiemistica

Dizionario delle Scienze Fisiche (1996)

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

CATEGORIA: ALGEBRA

complementare

Enciclopedia della Matematica (2013)

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 ... Leggi Tutto

TAGS: INSIEME COMPLEMENTARE – INSIEMISTICA

tipi, teoria dei

Enciclopedia della Matematica (2013)

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 ... Leggi Tutto

TAGS: PARADOSSO DI RUSSELL – AUTOREFERENZIALITÀ – TEORIA DEI TIPI – NUMERO NATURALE – MATEMATICA

Leśniewski, Stanisław

Enciclopedia on line

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 ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: FILOSOFIA DELLA MATEMATICA – CALCOLO PROPOSIZIONALE – PARADOSSO DI RUSSELL – SISTEMA ASSIOMATICO – INSIEMISTICA

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

Storia della Scienza (2004)

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 ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA

teorema ergodico

Enciclopedia della Scienza e della Tecnica (2008)

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à ... Leggi Tutto

CATEGORIA: ANALISI MATEMATICA

TAGS: SPAZIO DI PROBABILITÀ – SISTEMA DINAMICO – INSIEMISTICA

scelta

Dizionario di Economia e Finanza (2012)

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 ... Leggi Tutto

STORIA DELLA MATEMATICA

Enciclopedia della Matematica (2013)

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 ... Leggi Tutto

TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – METODO DEI MOLTIPLICATORI DI LAGRANGE – ACCADEMIA DELLE SCIENZE DI BERLINO – TEOREMA FONDAMENTALE DELL’ALGEBRA – MEDITATIONES DE PRIMA PHILOSOPHIA

AVALLE, D'Arco Silvio

Enciclopedia Italiana - V Appendice (1991)

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 ... Leggi Tutto

TAGS: ACCADEMIA DELLE SCIENZE DI TORINO – ACCADEMIA DELLA CRUSCA – ANALISI FUNZIONALE – FILOLOGIA ROMANZA – ENDECASILLABO