Godel - I teoremi di incompletezza - L'intuizione ha la sua logica - n. 18 - settimanale - 12/3/2021 - copertina rigida

Kurt Godel con il suo lavoro cambiò il modo di intendere la matematica. I due teoremi di incompletezza che elaborò nel 1931 rivelarono, grazie alla logica formale, la fragilità dei fondamenti del grande edificio matematico che si andava costruendo laboriosamente dall'epoca di Euclide. Da allora in poi, la comunità scientifica dovette ammettere che la validità di una congettura poteva trovarsi al di là di qualsiasi tentativo razionale di dimostrazione, e che l'intuizione non poteva essere bandita dal regno della matematica......