La verdad matemtica y las geometras no

euclidianas

a) Qu significa estas afirmaciones de Hempel de que un teorema matemtico:

1) no dice nada objetiva o tericamente nuevo, pero puede ser
psicolgicamente nuevo; 2) es cierto relativamente al conjunto de postulados
de lo que ha derivado?
1. Al deducir un teorema, se ha llegado a una conclusin que estaba implcita en
este, y por eso dice que puede ser psicolgicamente nuevo, porque coge todas las
idead de un teorema las junta, haciendo un postulado nuevo.
2. Un teorema matemtico es cierto, cuando todos los postulados del teorema son
verdaderos, por lo cual es imposible que entre en conflicto con algn resultado
emprico. Un ejemplo de esta verdad matemtica de Hempel es: el famoso
postulado de la geometra euclidiana, el postulado de la paralela, y afirma que por
un punto P exterior a una recta dada L, existe solo un paralela a L.

M QUINTO POSTULADO DE
EUCLIDES.

b) Por qu dice que una verdad matemtica no implica ninguna afirmacin

acerca de cuestiones empricas y no puede ser contradicha por ningn
resultado emprico? Explcalo con algn ejemplo.
Porque una cuestin emprica es aquella verdad que puede ser cuestionada, no se
sabe si siempre se cumplir, es un conocimiento basada en la naturaleza y tambin
dice que todo conocimiento procede de la experiencia, pero no por eso todo l,
proceda del conocimiento segn Kant, un ejemplo para entenderlo sera: las hojas en
otoo se caen, es posible de que haya un momento en el que deje de caerse? No se
sabe porque es una verdad basada en el futuro, y eso es algo impredecible.
Al contrario que las verdades matemticas, que no se basan en la experiencia para
deducirlo, pero es vlida en y para la experiencia, por ejemplo la hipotenusa al
cuadrado es igual a la suma de los catetos al cuadrado, no est basado en la
experiencia, pero ese teorema se desarrolla a partir de una demostracin que lo
demuestra, es decir para todo tringulo rectngulo el teorema es posible y que no
toma nada del contenido de la experiencia, esto quiere decir que su validez absoluta
consiste precisamente en la absoluta certeza de que todo objeto de la experiencia ha
de cumplirlas.
En conclusin La matemtica no depende de la experiencia, pero no porque sea al
 margen de la experiencia, sino porque es a priori y tiene que cumplirse que la
experiencia es la que tiene que ser moldeada a la matemtica.

c) En los dos textos se utiliza la palabra<postulado> como sinnimo de axioma.

En tiempos de Euclides y hasta el siglo pasado no significaban lo mismo.
Busca informacin sobre la diferencia entre ellos y explica por qu a partir del
siglo pasado ya son sinnimos.