La seconda rivoluzione scientifica: matematica e logica. Geometria algebrica
Jeremy Gray
Geometria algebrica
Agli inizi del XX sec. la scuola di punta in geometria algebrica era quella italiana, guidata [...] del campo complesso, seguito da un ampliamento algebrico (che corrisponde all'equazione della curva). I divisori figurano come insiemifiniti di punti contati con molteplicità positiva o negativa, che possono rappresentare, per esempio, gli zeri e i ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] costituito da tre gruppi di regole di inferenza: Identità, Struttura e Logica, dove Γ, Δ, Λ, ecc. indicano insiemifiniti di formule, eventualmente anche vuoti.
Alcune osservazioni. La regola del taglio è la più importante del sistema e rappresenta ...
Leggi Tutto
BURALI FORTI, Cesare
Evandro Agazzi
Nacque ad Arezzo il 13 ag. 1861 da Cosimo e da Isoletta Guiducci. Dopo aver compiuto gli studi medi nel collegio militare di Firenze, s'iscrisse nel dicembre 1879 [...] , l'impiego delle nozioni di classe e di corrispondenza biunivoca, al posto di quella di ordine, per la caratterizzazione degli insiemifiniti: in tal modo egli è il primo che abbia studiato la correlazione fra i due modi diversi e indipendenti di ...
Leggi Tutto
CAPELLI, Alfredo
Eugenio Togliatti
Nacque a Milano il 5 ag. 1855 da Arminio e da Gioconda Manufardi. Compì gli studi universitari a Roma, ove ebbe a maestri L. Cremona, E. Beltrami, G. Battaglini. Conseguita [...] ), e presentando subito dopo l'addizione di due interi positivi come operazione proveniente dalla riunione di due insiemifiniti, e passando quindi alle operazioni inverse. L'importanza dell'indirizzo combinatorio nell'organizzazione dell'aritmetica ...
Leggi Tutto
cardinalita
cardinalità [Der. di cardinale] [ALG] Nella teoria degli insiemi, proprietà di insiemi, introdotta da G. Cantor, che permette di stabilire sia l'equipotenza, sia l'ordinamento degli insiemi [...] (a) si dice che due insiemi (finiti o infiniti) hanno la stessa c. (o numerosità o potenza) quando è possibile stabilire fra gli elementi del-l'uno e quelli dell'altro una corrispondenza biunivoca; (b) si dice che la c. di un insieme A è maggiore di ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] esempi semplici di classi non elementari, nemmeno in senso generalizzato, sono la classe dei gruppi finiti, quelle degli anelli o degli insiemifiniti, ecc. Centrale in queste dimostrazioni di non elementarità e di non assiomatizzabilità è sempre il ...
Leggi Tutto
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 [...] il suo ingresso nella matematica.
La seconda classe di ordinali è la classe dei buoni ordini degli insiemi numerabili (la prima è quella degli insiemifiniti); la cardinalità di questa classe è più che numerabile, anzi la prima non numerabile, e si ...
Leggi Tutto
uno
uno [agg. Der. del lat. unus] [ALG] (a) Il primo numero non nullo della successione crescente dei numeri naturali, indicato, nella numerazione con cifre arabe, con il simb. 1. Nel mondo antico, per [...] considerata la relazione di equipotenza definita nella famiglia di tutti gli insiemifiniti, 1 è la classe di equivalenza costituita da tutti gli insiemi non vuoti che non contengono altri insiemi non vuoti oltre sé stesso. (c) Oltre che come numero ...
Leggi Tutto
Biologia
G. sanguigni
Strutture antigeniche presenti sulla superficie dei globuli rossi e riconosciute da anticorpi specifici (➔ gruppi sanguigni).
G. tissutali
Insieme di individui istocompatibili, tra [...] di una retta in sé, rispetto al prodotto di trasformazioni.
I g. misti sono g. infiniti, formati da un insieme discreto o finito di sistemi continui di elementi, detti schiere, cioè di sistemi dei quali l’elemento generico è individuato da un certo ...
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, [...] in modo tale che due qualunque di esse non escano mai insieme due volte». Come per sottolinearne la natura frivola, il insiemi parzialmente ordinati), alla teoria dei numeri (successioni e insiemi, geometria dei numeri, partizioni, campi finiti ...
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...
finito
agg. [part. pass. di finire]. – 1. a. Giunto o condotto a termine, compiuto: arrivare a spettacolo f.; sono ormai due anni f. che ha lasciato il paese. Frequente nell’uso fam. la locuz. farla finita (con la indeterminato), smettere...