Ricerca Scientifica - Matematica

03/03/2010 - Le ragioni della «misteriosa efficacia della Matematica»

Verità e dimostrazione in Matematica

Il periodo tra la fine '800-inizio '900 ha portato ad un diverso modo di concepire i fondamenti della matematica. Gli oggetti di una teoria sono definiti dagli assiomi, e non sempre appare chiaro se le teorie affermano del "vero". Inoltre dopo Gödel sappiamo che non è possibile dimostrare la coerenza di una teoria formale, così che la matematica sembra trovarsi da ottant'anni in uno "stallo fondazionale". Malgrado ciò matematici e fisici credono in essa, pur con un imbarazzo nel "motivare tale loro fede". Dare tali ragioni è un rischio cui però non ci si può sottrarre.