Guida alla teoria degli insiemi

Due pregiudizi si frappongono a una buona conoscenza della teoria: uno, di tipo minimalista, è la sua identificazione con una non meglio precisata "insiemistica", un linguaggio austero fin troppo impegnativo ove lo si voglia imporre prematuramente; l’altro è di tipo massimalista e consiste nel supposto, ed effettivo legame con le questioni più sottili dei fondamenti della matematica. Ma la teoria ha un contenuto matematico importante, e con molti risvolti di interesse didattico. Si può dire in una parola che è lo studio dell’infinito, il che comporta anche per complemento che sia uno studio del finito. Attraverso gli insiemi numerabili ed effettivamente generati si stabilisce anche un collegamento con la più concreta teoria della calcolabilità.

Il libro è solo una guida, non un manuale: sono indicati gli argomenti di maggior rilievo; sono offerti commenti sui risultati più significativi; sono segnalati anche temi da non approfondire, pur conoscendone l’esistenza; sono presentate con dettagli formali poche dimostrazioni, tipiche dello stile della materia; sono proposti, come istruzioni per l’uso, alcuni esercizi che potrebbero essere presentarti anche a studenti delle scuole secondarie.