Rete Bibliotecaria della Provincia di Como

Abstract: Georg Cantor fu il fondatore della teoria degli insiemi. Nello sviluppo della sua teoria si imbatté in alcuni paradossi che, come illustrato da Bertrand Russell all'inizio del secolo scorso, sono delle vere e proprie antinomie. Questo volume presenta tutte e tre le antinomie logiche, quella di Cantor e quelle dello stesso Russell e di Burali-Forti. Se l'antinomia di Russell scosse dalle fondamenta il programma logicista di Gottlob Frege, le altre due minavano importanti risultati matematici relativi agli insiemi infiniti. Per renderle inoffensive, la risposta più in sintonia con le istanze della matematica moderna fu quella di proporre un'assiomatizzazione della teoria degli insiemi. Nel testo ci si sofferma anche sull'assioma di scelta e sul dibattito che ha suscitato tra gli studiosi dei fondamenti della matematica. Infine, vengono descritte le teorie dei numeri cardinali e dei numeri ordinali che sono state coinvolte dalle tre antinomie logiche.