Lindenbaum
Lindenbaum Adolf (Varsavia 1904 - Ponary, Lituania, 1941) logico e matematico polacco. Allievo di W. Sierpiński, si occupò della teoriadegliinsiemi e della sua sistemazione logica. Professore [...] , con cui pubblicò, nel 1935, Über die Beschränktheit des Ausdrucksmittel deduktiver Theorien (Sui limiti dei procedimenti delle teorie deduttive). Con Tarski si è occupato della struttura algebrica dei sistemi formali (algebra di Lindenbaum). Il suo ...
Leggi Tutto
primitivo
primitivo aggettivo che si riferisce a un concetto o un ente di una teoria matematica la cui definizione non può essere precisata singolarmente, perché rischierebbe di essere tautologica o [...] attraverso le loro reciproche relazioni di appartenenza e incidenza; nella teoriadegliinsiemi non assiomatizzata (e pertanto detta anche teoria ingenua degliinsiemi) è considerato primitivo il concetto di insieme (si veda anche → definizione). ...
Leggi Tutto
ultrafiltro
ultrafiltro [Comp. di ultra- e filtro] [CHF] Membrana filtrante con cui si opera l'ultrafiltrazione di sostanze colloidali, costituita assai spesso da una pellicola di collodio o di altro [...] materiale finemente poroso deposta su porcellana porosa o su una placca finemente forata. ◆ [ALG] Nella teoriadegliinsiemi, ogni filtro F che sia massimale rispetto alla relazione di inclusione, cioè tale che non esista un nuovo filtro F' ...
Leggi Tutto
Burali-Forti, paradosso di
Burali-Forti, paradosso di antinomia della teoriadegliinsiemi nella sua forma ingenua. L’antinomia si basa sul fatto che, se è possibile costruire insiemi in tutta libertà, [...] Se, secondo la definizione di J. von Neumann, tale insieme gode esso stesso di tutte le proprietà dei numeri ordinali ed . Da un lato, infatti, contenendo tutti gli ordinali, tale insieme è il massimo ordinale, dall’altro si può considerare il suo ...
Leggi Tutto
topos
topos in geometria algebrica, generalizzazione del concetto di → fascio. I topoi sono stati introdotti a metà del xx secolo da A. Grothendieck per consentire la trattazione di oggetti algebrici [...] , chiusa rispetto alla costruzione di molti oggetti e morfismi, la categoria degliinsiemi è essa stessa un topos e esso fa da modello non standard per la teoriadegli → insiemi. Per tali motivi, i topoi sono utilizzati, oltre che in geometria ...
Leggi Tutto
asimmetrico
asimmètrico [agg. (pl.m. -ci) Der. di asimmetria "che presenta asimmetria"] [EMG] Conduttore a.: quello che conduce corrente elettrica soltanto, o più facilmente, in un verso che nel verso [...] fatto che la caratteristica tensione-corrente di tali conduttori non è simmetrica rispetto all'origine degli assi. ◆ [ALG] Relazione a.: nella teoriadegliinsiemi, relazione R su un insieme I tale che per x,y∈I, xRy implica che non è verificata la ...
Leggi Tutto
Bourbaki Nicolas
Bourbaki 〈burbakì〉 Nicolas [ALG] [ANM] Pseudonimo sotto il quale un gruppo di matematici francesi (tra cui H. Cartan, C. Chevalley, J. Dieudonné, A. Weil) a partire dal 1939 iniziò a [...] , cioè una sintesi dei suoi diversi rami analizzandone le strutture fondamentali profondamente connesse, partendo dalla teoriadegliinsiemi, dall'algebra astratta e dalla topologia generale; tale movimento di pensiero matematico è detto bourbakismo ...
Leggi Tutto
matematica discreta
matematica discreta settore di studi della matematica che tratta oggetti che possono assumere solo valori discreti (in pratica numeri interi). La maggior parte di questi oggetti, [...] discreta il → calcolo combinatorio, la → logica, la teoriadegli → insiemi, la → crittografia, la teoria dei → numeri, la teoria dei → grafi, l’→ informatica, lo studio degli → algoritmi, la teoria della → calcolabilità, lo studio delle catene di ...
Leggi Tutto
Jourdain
Jourdain Philip Edward Bertrand (Ashbourne, Derbyshire, 1879 - Crookham, Hampshire, 1919) logico e matematico inglese. Allievo di B. Russell, specializzatosi in teoriadegliinsiemi si dedicò [...] al tentativo di dimostrare l’assioma della scelta e alla storia della matematica, intrattenendo rapporti epistolari con G. Cantor e G. Frege, dei quali tradusse in inglese alcuni scritti. Tra le sue opere: ...
Leggi Tutto
relazionale
relazionale [Der. di relazione "che si riferisce a una relazione"] Calcolo r.: [ALG] quello relativo alle operazioni della teoriadegliinsiemi (unione, intersezione, complemento, inclusione) [...] e alle due operazioni specific. r., cioè la formazione della relazione inversa e la concatenazione; [ELT] [INF] nella tecnica dell'elaborazione elettronica di dati, modo di operare per entità matematiche ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...