La seconda rivoluzione scientifica: matematica e logica. La teoriadegliinsiemi
Gabriele Lolli
La teoriadegliinsiemi
La teoriadegliinsiemi è universalmente considerata, nella sua concezione e impostazione [...] con l'assioma di riducibilità. L'opera di Russell, benché non influenzi direttamente i matematici, ha l'effetto di avvicinare la teoriadegliinsiemi al lavoro dei logici i quali usano la nozione di classe come nozione logica, e di accostare, fino a ...
Leggi Tutto
cardinalità Nella teoriadegliinsiemi, c. (o potenza) di un insieme è il numero degli oggetti di un insieme finito (numero cardinale). Si può estendere il concetto di c. anche a insiemi infiniti: due [...] insiemi hanno la stessa c. quando è possibile stabilire tra gli oggetti che li compongono una corrispondenza biunivoca senza eccezione. ...
Leggi Tutto
matematica Nella teoriadegliinsiemi, dato un insieme A, si dice che una famiglia {Ta} di suoi sottoinsiemi costituisce un r. di A, se l’unione degliinsiemi Ta dà l’insieme A, cioè se ogni elemento di [...] siano a due a due privi di elementi comuni, il r. si chiama anche partizione dell’insieme A. Quando dalla teoriadegliinsiemi si passa alla topologia generale, la nozione di r. acquista un particolare interesse anche per la sua utilità in questioni ...
Leggi Tutto
singoletto
singolétto [Der. di singolo] [ALG] Nella teoriadegliinsiemi, insieme che contiene un solo termine. ◆ [FAT] Nella spettroscopia, riga spettroscopica isolata, cioè tale da non potere essere [...] risolta in righe, anche se osservata con uno spettroscopio di risoluzione grandissima; si contrapp. a doppietto e, generalizzando, a multipletto. ◆ [MCQ] Per estensione del signif. spettroscopico, con ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] susseguitisi a partire dai primi del Novecento tra sostenitori di una visione francamente infinitaria, che concepiva la teoriadegliinsiemi come la fondazione di una nuova matematica di carattere astratto, e quelli di una concezione che privilegiava ...
Leggi Tutto
Rapporto che collega, in maniera essenziale o accidentale, due o più cose, fatti, concetti.
Esposizione, orale o scritta, con cui si danno informazioni intorno allo stato di una questione, ai risultati [...] da B. Russell e A.N. Whitehead.
Matematica
Nella teoriadegliinsiemi il concetto di r. tra due o più insiemi E, F, G, … equivale alla nozione di sottoinsieme dell’insieme prodotto E×F×G× … Se gli insiemi sono in numero di n la r. si dice r ...
Leggi Tutto
Diritto
C. e qualifiche professionali Sistema di classificazione volto a identificare e raggruppare i vari profili professionali, in modo da delineare il regime giuridico ed economico cui è sottoposto [...] N = nome, V = verbo, Art = articolo.
Matematica
Nozione che unifica e generalizza situazioni che si presentano in algebra, topologia, teoriadegliinsiemi ecc. Una c. è data quando siano fissate due classi di enti matematici, la classe O e la classe ...
Leggi Tutto
Matematico (Varsavia 1882 - ivi 1969), prof. nell'univ. di Leopoli, poi di Varsavia; fondò la rivista Fundamenta mathematicae. Può essere considerato il principale esponente della scuola matematica polacca, [...] sec. 20º contribuì notevolmente al progresso della teoriadegliinsiemi, della teoria delle funzioni di variabile reale e della anche i suoi contributi alla critica dei fondamenti e alla teoria dei numeri. Socio straniero dei Lincei (1947). Tra ...
Leggi Tutto
Matematico polacco (n. Varsavia 1896 - m. 1980), allievo di W. Sierpiński; prof. dell'univ. di Varsavia (dal 1934); vicepresidente dell'Accademia polacca delle scienze e socio straniero dei Lincei (dal [...] uno dei fondamenti sui quali è sorta la moderna analisi. In particolare, K. ha ottenuto importanti risultati nella teoriadegliinsiemi analitici fondata da N. N. Luzin. Tra le sue opere: Topologie (1933), Introduction to set theory and topology ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] di l. entro cui tutta la matematica avrebbe potuto essere ricostruita: una l. molto potente, sostanzialmente equivalente alla teoriadegliinsiemi che era stata per la prima volta introdotta e studiata da Cantor e che era basata sui due principi di ...
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...