Guida alla teoria degli insiemi

Gli insegnanti si trovano in difficoltà a proposito dello spazio e dell’enfasi da dare agli argomenti di teoria degli insiemi, nella propria preparazione e nel proprio lavoro, perché all'università non è stata loro fornita una conoscenza adeguata. Si può tranquillamente affermare, sulla base di molta esperienza, che il matematico medio, anche chi fa ricerca, non sa cosa sia la 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.