¿Qué son los axiomas?

Un axioma, en epistemología, es una “verdad evidente” que no requiere demostración, pues se justifica a sí misma, y sobre la cual se construye el resto de conocimientos por medio de la deducción; aunque, no todos los epistemólogos están de acuerdo con esta definición “clásica”. El axioma gira siempre sobre sí mismo, mientras los postulados y conclusiones posteriores se deducen de este.

En matemática, un axioma no es necesariamente una verdad evidente, sino una expresión lógica utilizada en una deducción para llegar a una conclusión.

Limitaciones

Kurt Gödel demostró a mediados del siglo XX que los sistemas axiomáticos de cierta complejidad, por definidos y consistentes que sean, poseen serias limitaciones. En todo sistema de una cierta complejidad, siempre habrá una proposición P que sea verdadera, pero no demostrable. De hecho, Gödel prueba que, en cualquier sistema formal que incluya la aritmética, puede formarse una proposición P que afirme que este enunciado no es demostrable. Si se pudiera demostrar P, el sistema sería contradictorio: no sería consistente. Luego P no es demostrable y, por tanto, P es verdadero.

2 Comentarios »

RSS feed para los comentarios de esta entrada. TrackBack URI

  1. hola me enseñaron poco pongan mas cosas si =(¡¡¡¡¡¡¡¡¡¡

    Comentario por nataya — 21 abril 2010 #

  2. Es falso eso de que en epistemología un axioma es una verdad evidente…De hecho, tras el desarrollo de la geometría no euclidiana y las lógicas no clásicas esta concepción del axioma como evidencia ha sido superada.

    Comentario por Ndmontilla — 3 enero 2012 #

Dejar un comentario

XHTML: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>

Gracias a WordPress. Derivadas.es es una idea de Jesús. Si algún ejercicio, fotografía, vídeo, o cualquier material que veas en derivadas.es vulnera derechos de autor comunicanoslo por favor.
Entradas y Comentarios feeds.

>