Descrizione

Chi almeno una volta non ha sentenziato: «la matematica non è un'opinione» e con ciò troncando ogni polemica in atto? La matematica è qui messa in campo provocatoriamente per analizzare la veridicità della espressione in sé. Di contro, nella vulgata generale, tutte le proposizioni da essa deducibili sono ritenute vere in forza della fondatezza logica dei suoi principi e tutte le proposizioni della matematica, in quanto dimostrabili, si riconoscono suoi teoremi. Storicamente nel trentennio 1900-1930 David Hilbert, il più grande matematico del tempo, sviluppò un programma formale per assicurare la certezza delle fondamenta della matematica e garantire, una volta per tutte, "coerenza" e "completezza" della matematica tutta. Per la cronaca nel settembre 1930 a Königsberg si celebrò un congresso sullo stato delle fondamenta della matematica con l'intento di consacrare la certezza della matematica con il trionfo del programma di Hilbert ... Peccato che, alla fine della sessione, un logico matematico di Vienna, sconosciuto ai più, tal Kurt Gödel, alzò la mano per prendere la parola...

Dettagli