[escepticos] RE ¿Por qué iba a aceptar un axioma si no es autoevidente?

Jose Ramón Brox ambroxius en terra.es
Vie Ago 8 00:42:32 WEST 2008


>Algunas citas algo más largas que tu "tampoco" donde sospechosamente
>la palabra auto-evidentes aparece

Hoy en día la palabra "self-evident" se ha convertido en poco más que una coletilla para 
significar "a admitir sin demostración", aunque en algún texto se pueda encontrar con su 
significado literal; fíjate además en el detalle de que no se suponen "evident", sino 
"self-evident" ;-)

En matemáticas se pueden tomar y se toman como axiomas conjuntos de proposiciones 
arbitrarios (la única obligación es que sean supuestamente consistentes) para formar 
teoremas a partir de ellos. Precisamente es más divertido cuando los axiomas no provienen 
de ideas intuitivas y por tanto no tenemos nociones "reales" que nos puedan dar la 
impresión de que describen ideas evidentes (como ocurre con la geometría euclídea). Véanse 
por ejemplo los axiomas de la topología, de los matroides o de las lógicas 
paraconsistentes.

¡Un saludo!
Jose Brox 



Más información sobre la lista de distribución Escepticos