Siamo intorno al 1900. Il problema è quello di costruire i fondamenti della matematica. La matematica è completa? E' possibile dimostrare tutte le veritàall'interno delle regole formali logiche della stessa disciplina?
Nasce la scuola logicista e molti paradossi. Se io dico che sono un bugiardo sto dicendo la verità o sto mentendo? Russel cerca di affrontare e risolvere questi paradossi fondando la matematica su basi logiche.
Nel congresso del 1900 a Parigi, Hilbert dichiara la completezza della matematica e propone gli ultimi 23 problemi da risolvere. Ma Godel, matematico di origine tedesca, scopre che la matematica non è completa ossia esistono teoremi che possono essere veri ma non dimostrabili all'interno delle regole della stessa matematica. Questo è un duro colpo per tutti i matematici.
Nessun commento:
Posta un commento