Matematico e logico matematico statunitense (Hartford, Connecticut, 1909 - Madison, Wisconsin, 1994). Dal 1935 al 1979 prof. all'univ. di Wisconsin, a Madison; dal 1969 fu membro della National academy [...] dell'aritmetica, una gerarchia a seconda del minimo numero di quantificatori alternati (esistenziale e universale) necessarî per la loro definizione, gerarchia che estese poi al transfinito (gerarchia aritmetica) e infine alle funzioni quantificate ...
Leggi Tutto
In matematica, insieme che può essere posto in corrispondenza biunivoca con l’insieme dei numeri interi naturali. Un insieme n. è dunque necessariamente un insieme infinito; ogni suo sottoinsieme è finito [...] oppure è esso stesso n.; da ciò segue che agli insiemi n. corrisponde il minimo n. cardinale transfinito (➔ transfinito). Tale numero cardinale si chiama potenza del n. e si usa denotare con la prima lettera dell’alfabeto ebraico, accompagnata dall’ ...
Leggi Tutto
Astronomia e geografia
Punti c. Punti d’incontro dell’orizzonte con il meridiano e con il primo verticale. I punti di intersezione dell’orizzonte con il meridiano (cerchio massimo passante per i poli e [...] di corrispondenza tra classi (come ha fatto G. Cantor, con l’introduzione dei numeri c. transfiniti). Precisamente si dice che due insiemi hanno lo stesso numero c. quando è possibile stabilire tra gli oggetti che li compongono una corrispondenza ...
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 [...] degli insiemi finiti); la cardinalità di questa classe è più che numerabile, anzi la prima non numerabile, e si indica con il simbolo ℵ1 (aleph uno). Lo studio della successione transfinita degli ℵ, al momento in cui Schönflies scrive, è ancora poco ...
Leggi Tutto
Cantor
Cantor Georg (San Pietroburgo 1845 - Halle, Sassonia-Anhalt, 1918) matematico e logico tedesco. Nato in Russia da famiglia tedesca, iniziò gli studi universitari presso il Politecnico di Zurigo [...] infiniti di ordine differente, di ordine superiore o inferiore, e il loro numero è detto da Cantor transfinito. Tutto ciò, applicato alla successione dei numeri naturali, consente di superare molti paradossi matematici. Infine Cantor, contestando la ...
Leggi Tutto
Baire, classi di
Baire, classi di classificazione delle funzioni reali di variabile reale operata sulla base delle loro proprietà di continuità. Le classi, in un intervallo [a, b], sono definite per [...] limite di una successione di funzioni di classe Hω, e così via. Tutte queste classi sono non vuote per ogni numero ordinale transfinito α della seconda classe. Fissato α, esiste una funzione di Baire di due variabili, Fα(x, t), detta funzione ...
Leggi Tutto
transfinito
agg. [comp. di trans- e finito]. – In matematica, che va al di là del finito: numeri t., numeri, ideati dal matematico G. Cantor, che estendono al caso di insiemi con infiniti elementi i concetti di numero cardinale e ordinale...
numerabile
numeràbile agg. e s. m. [dal lat. numerabĭlis]. – Che può essere numerato, cioè distinto con numeri, oppure calcolato esattamente: ci darà la quantità esatta delle ore e minuti ..., se la frequenza fusse da noi n. (Galilei). In...