Cómo y por qué la Naturaleza en la experiencia se somete a las
Los matemáticos se dividieron en intuicionistas y logicistas.
Los intuicionistasconsideran la matemática un producto humano y que la existencia de un objeto es equivalente a la posibilidad de su construcción, por lo que no admitían el axioma del tertio excluso.25 El argumento nopuede ser tomado como lógica y formalmente válido sin restricción. Todo objeto lógico ha de poder ser previamente construido, lo que plantea especiales problemas lógicos para la negación. ¿Qué objetoes ?h Por ello consideraron las verdades de la ciencia probabilísticas, algo así como: «hay razones para considerar verdadero»... Rechazando algunos teoremas y métodos de Georg Cantor.12 El empirismode David Hume mantiene su vigencia en la no-realidad de losuniversales ahora matemáticamente tratados como conjuntos.
Por su parte los formalistas pretendieron construir la traducción posible de loscontenidos de la ciencia a un lenguaje lógico uniforme y universal que, como «método unificado de cálculo» hiciera de la ciencia un logicismo perfecto.26 Tal venía a ser el programa de Hilbert: formalizaciónperfecta de la lógica-matemática, capaz de figurar la realidad mundana debidamente formalizada en un sistema perfecto.i
Concepto de distancia en el espacio de Euclides
El programa de Hilbert se vinodefinitivamente al traste cuando Kurt Gödel (1931) demostró los teoremas de incompletitud, haciendo patente la imposibilidad de unsistema lógico perfecto.j
Por otro lado la mecánica cuántica en suexpresión matemática abre una brecha entre espacio-tiempo y materia y salva el tradicional abismo entre el observador y la realidad por caminos que traen conturbados a los científicos y han sumido a losfilósofos en una gran confusión.27 12 En definitiva:
Matemáticamente: Si un sistema es completo no es decidible. Si es decidible, no es completo.
Físicamente: La energía aparece como discontinua;...
Regístrate para leer el documento completo.