[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