Teoria degli insiemi

Questo articolo affronterà il tema Teoria degli insiemi da una prospettiva ampia e dettagliata, con l’obiettivo di fornire al lettore una visione esaustiva e profonda di questa materia. Verranno analizzati diversi aspetti e punti di vista relativi a Teoria degli insiemi, tenendo conto della sua rilevanza nel contesto attuale e del suo impatto in vari campi. Attraverso questo viaggio cercheremo di offrire informazioni rilevanti, riflessioni arricchenti e possibili soluzioni o alternative per affrontare Teoria degli insiemi in modo efficiente ed efficace.

La teoria degli insiemi è una teoria matematica posta ai fondamenti della matematica stessa, collocandosi nell'ambito della logica matematica.

Prima della prima metà del XIX secolo la nozione di insieme veniva considerata solo come qualcosa di intuitivo e generico. La nozione è stata sviluppata nella seconda metà del XIX secolo dal matematico tedesco Georg Cantor, è stata al centro dei dibattiti sui fondamenti dal 1890 al 1930 ed ha ricevuto le prime sistemazioni assiomatiche per merito di Ernst Zermelo, Adolf Fraenkel, Paul Bernays, Kurt Gödel, John von Neumann e Thoralf Skolem, Gottlob Frege (le convenzioni linguistico-formali, come il quantificatore universale ed esistenziale) e Giuseppe Peano (notazione e sintassi). In questo periodo si sono assestati due sistemi di assiomi chiamati sistema assiomatico di Zermelo-Fraenkel e sistema assiomatico di Von Neumann-Bernays-Gödel.

Successivamente si sono affrontate le tematiche riguardanti il problema della completezza dei sistemi di assiomi (v. teorema di incompletezza di Gödel), i rapporti con la teoria della calcolabilità (vedasi anche macchina di Turing) e la compatibilità dei sistemi di assiomi con l'assioma della scelta e con assiomi equivalenti o simili. Accanto a differenti consolidate teorie formali degli insiemi (vedi anche teoria assiomatica degli insiemi) esistono esposizioni più intuitive che costituiscono la cosiddetta teoria ingenua degli insiemi.

Elenchiamo le entità principali della teoria degli insiemi.

Nozioni di base

Operatori e costruzioni

Relazioni

Insiemi delle diverse cardinalità e controllabilità

Lo stesso argomento in dettaglio: Controllabilità.

Insiemi numerici

Lo stesso argomento in dettaglio: Cardinalità numerabile.

Bibliografia

  • Alexander Abian, La teoria degli insiemi e l'aritmetica transfinita, Feltrinelli, 1972
  • (EN) Paul Bernays, Axiomatic Set Theory, Dover, 1991
  • (FR) Nicolas Bourbaki, Théorie des ensembles, Hermann, 1970
  • Paul J. Cohen, La teoria degli insiemi e l'ipotesi del continuo, Feltrinelli, 1973
  • Frank R. Drake e Dasharath Singh, Intermediate set theory, Wiley, 1996, ISBN 978-0-471-96494-0.
  • (EN) Robert E. Edwards, A formal Background to Mathematics Ia Ib. Logic, sets and Numbers, Springer, 1979, ISBN 3-540-90431-X
  • (EN) Abraham H. Fraenkel, Abstract set theory, North-Holland, 1961
  • Paul Halmos, Teoria elementare degli insiemi, Feltrinelli, 1976
  • Gabriele Lolli, Teoria assiomatica degli insiemi, Boringhieri, 1974
  • J. Donald Monk, Introduzione alla teoria degli insiemi, Boringhieri, 1972
  • Patrick Suppes, Axiomatic set theory, collana Dover books on advanced mathematics, 1. Dover ed, Dover Publ, 1972, ISBN 978-0-486-61630-8.

Voci correlate

Altri progetti

Collegamenti esterni

Controllo di autoritàThesaurus BNCF 36471 · LCCN (ENsh85120387 · GND (DE4074715-3 · BNE (ESXX4576377 (data) · BNF (FRcb133185505 (data) · J9U (ENHE987007534067605171 · NDL (ENJA00572365