01/12/19

Come un paradosso diventò un teorema 2/2 ***

Questo articolo è la continuazione della miniserie riguardante i paradossi insiemistici, che trovate nell'archivio di matematica. Nel primo articolo abbiamo visto come la costruzione assiomatica di Zermelo-Fraenkel permette di eliminare il paradosso di Russel, e anche quello dell'insieme universale (esistenza dell'insieme di tutte le cose). Lascia però degli interrogativi; se l' "insieme" di Russel e l' "insieme universale" non sono insiemi, allora cosa sono?

22/09/19

Come un paradosso diventò un teorema 1/2 ***

Nel 1901 Un lord Inglese,filosofo e matematico,Bertrand Russel, mise in crisi il tentativo di Frege di definire le basi della matematica partendo dalla logica pura, con un paradosso arcinoto a tutti. Tale paradosso era dovuto al fatto che la teoria "ingenua" ovvero intuitiva degli insiemi non era ben fondata. Questo destò grande preoccupazione nel mondo della matematica; se gli insiemi sono alla base della matematica e sono non consistenti, allora tutta la matematica potrebbe essere non consistente, ovvero contraddittoria, e si temette anche per la teoria di Cantor. Ma vediamo perchè successe tutto ciò.Nella realtà attuale, con assiomi consistenti, il paradosso di Russel diventò un teorema.