Y la ciencia 2ª parte

CaracolPrecisamente Gödel se propuso analizar la fundamentación de la ciencia, en especial de las matemáticas y sistemas lógicos afines, con el propósito de asegurar su coherencia interna. Tal vez no era necesario hacerlo, pero si la ciencia presume de su fiabilidad, vamos revisando sus fundamentos. Finalmente las matemáticas constituyen un lenguaje lógico, y como tal podríamos pedirle que, siendo consistentes con su procedimiento, lógicamente pruebe sus propios fundamentos. El resultado es sorpresivo. No se puede llegar a tal solución porque los axiomas son indemostrables, pero sobre todo porque son puntos de partida, más bien son las creencias básicas con las que opera la ciencia, sólo queda aceptarlas porque son indemostrables. Pareciera que estamos en el terreno de la fe.
Me recuerda el cometido de Kant que se propuso demostrar científicamente la existencia de Dios, la inmortalidad del alma y la libertad. Con este objetivo pone los presupuestos del conocimiento en la Crítica de la razón pura. Termina diciendo que no se pueden comprobar. Pero sin embargo debemos vivir como si Dios existiera, como si el alma fuera inmortal y como si existiera la libertad. Podríamos decir que también caemos en el terreno de la fe. 
De igual modo sucede con las matemáticas, sus axiomas no pueden probarse ni refutarse, pero sin embargo debemos operar como si estos axiomas fueran verdaderos. No es posible probar la consistencia dentro del mismo sistema, será necesario salir del sistema para sostenerlas, y así debemos trabajar. Si eso sucede con lo más confiable que tenemos en la cultrua que son las matemáticas, ¿qué sucederá con las demás ciencias?