Bibliografia
Bishop E., Foundations of constructive analysis, McGraw–Hill Book Co., New York, 1967.
Cantor G., “Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen”, J. Reine Angew. Math., 77, pp. 258–262, 1874.
Cantor G., “Über unendliche, lineare Punktmannichfaltigkeiten”, Math. Ann., 20(1), pp. 113–121, 1882.
Cantor G., “Über eine elementare Frage der Mannigfaltigkeitslehre”, Deutschen Math. Vereinigung, 1, pp. 75–78, 1890–91.
Cantor G., Contributions to the founding of the theory of transfinite numbers, Dover Publications, Inc., New York, N. Y., 1952. Tradotto, con introduzione e note a cura di E. B. Jourdain.
Cantor G., La formazione della teoria degli insiemi (scritti 1872–1899), Mimesis Edizioni, Milano, 2012. Tradotto, con introduzione e note a cura di G. Rigamonti.
Everett C., I numeri e la nascita della civiltà. Un’invenzione che ha cambiato il corso della storia, FrancoAngeli, Milano, 2018.
Grothendieck A., Revêtements étales et groupe fondamental. Fasc. I: Exposés 1 à 5, volume 1960/61 del Séminaire de Géométrie Algébrique, Institut des Hautes Études Scientifiques, Paris, 1963.
Grothendieck A., Revêtements étales et groupe fondamental. Fasc. II: Ex–posés 6, 8 à 11, volume 1960/61 del Séminaire de Géométrie Algébrique, Institut des Hautes Études Scientifiques, Paris, 1963.
Grothendieck A., “Esquisse d’un programme”, in Geometric Galois actions, 1, volume 242 di London Math. Soc. Lecture Note Ser., pp. 5–48, Cambridge Univ. Press, Cambridge, 1997. Con una traduzione inglese alle pp. 243–283.
Lawvere F.W. e Rosebrugh R., Sets for Mathematics, Cambridge University Press, 2003.
Martin–Löf P., Intuitionistic type theory, vol. 1 di Studies in Proof Theory. Lecture Notes, Bibliopolis, Napoli, 1984. Annotazioni di G. Sambin da una serie di lezioni tenute a Padova, giugno 1980.
Author information
Authors and Affiliations
Corresponding author
Additional information
Giuseppe Rosolini insegna Logica matematica presso la Scuola di Scienze dell'Università di Genova. È un ricercatore di fama internazionale in Teoria delle categorie e vanta collaborazioni con molti ricercatori di importanti Università italiane e straniere. È accademico virgiliano e membro della Commissione per le Olimpiadi della Matematica dell'Unione Matematica Italiana.
Rights and permissions
About this article
Cite this article
Rosolini, G. Cantor e gli insiemi. Lett. Mat. Pristem 107, 54–60 (2018). https://doi.org/10.1007/s10031-018-0037-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10031-018-0037-y