Está en la página 1de 4

Axioma

A veces se compara a los axiomas con semillas, porque de ellos surge toda la teora de la cual son axiomas.

Un axioma es una proposicin que se considera evidente y se acepta sin requerir demostracin previa. En un sistema hipottico-deductivo es toda proposicin no deducida (de otras), sino que constituye una regla general de pensamiento lgico, por oposicin a los postulados.1 En lgica y matemticas, un axioma es una premisa que, por considerarse evidente, se acepta sin demostracin, como punto de partida para demostrar otras frmulas. Tradicionalmente los axiomas se eligen de las consideradas afirmaciones evidentes, porque permiten deducir las dems frmulas. En lgica un postulado es una proposicin no necesariamente evidente: una frmula bien formada (planteada) de un lenguaje formal utilizada en una deduccin para llegar a una conclusin. En matemtica se distinguen dos tipos de proposiciones: axiomas lgicos y postulados.
ndice
[ocultar]

1 Etimologa 2 Lgica

2.1 Axioma 2.1.1 Ejemplo 3 Matemticas

3.1 Limitaciones de los sistemas axiomticos

4 Vase tambin 5 Referencias

o o

5.1 Bibliografa 5.2 Enlaces externos

[editar]Etimologa
La palabra axioma proviene del sustantivo griego , que significa lo que parece justo o que se le considera evidente, sin necesidad de demostracin. El trmino viene del verbo griego (axioein), que significa "valorar", que a su vez procede de (axios): "valioso" o "digno". Entre los filsofos griegos antiguos, un axioma era lo que pareca verdadero sin necesidad de prueba alguna.

[editar]Lgica
Artculo principal: Lgica proposicional.

La lgica del axioma es partir de una premisa calificada de verdadera por s misma (el axioma), y de sta inferir otras proposiciones por medio del mtodo deductivo, de lo cual se obtienen conclusiones coherentes con el axioma. Los axiomas han de cumplir slo un requisito: de ellos, y dereglas de inferencia, han de deducirse todas las dems proposiciones de una teora dada.

[editar]Axioma
Los axiomas son ciertas frmulas en un lenguaje que son universalmente vlidas, esto es frmulas satisfechas por cualquier estructura y por cualquier funcin variable. En trminos coloquiales son enunciados verdaderos en cualquier mundo posible, bajo cualquier interpretacin posible, con cualquier asignacin de valores. Comnmente se toma como axioma un conjunto mnimo de tautologas suficientes para probar una teora.

[editar]Ejemplo
En clculo proposicional es comn tomar como axiomas lgicos todas las frmulas siguientes: 1. 2. 3. donde , ,y , pueden ser cualquier frmula en el lenguaje.

Cada uno de estos patrones es un esquema de axiomas, una regla para generar un nmero infinito de axiomas. Por ejemplo si p, q, y r son variables proposicionales, entonces y son instancias del esquema 1 y por lo tanto son axiomas.

Puede probarse que, con solamente estos tres esquemas de axiomas y la regla de inferencia modus ponens, todas las tautologas del clculo proposicional son demostrables. Tambin se puede probar que ningn par de estos esquemas es suficiente para demostrar todas las tautologas utilizando modus ponens. Este conjunto de esquemas axiomticos tambin se utiliza en el clculo de predicados, pero son necesarios ms axiomas lgicos. Ejemplo. Sea un lenguaje de primer orden. Para cada variable la frmula es

universalmente vlida. Esto significa que, para cualquier smbolo variable , la frmula puede considerarse axioma.

Para no incurrir en vaguedad o en una serie infinita de nociones primitivas, primero se necesita una idea de lo que se desea expresar mediante y sintctico del smbolo , o definir un uso puramente formal

. De hecho sucede esto en Lgica matemtica. en un lenguaje de es

Otro ejemplo interesante es el de instanciacin universal. Para una frmula primer orden , una variable y un trmino sustituible por en , la frmula

vlida universalmente. En trminos informales este ejemplo permite afirmar que si se sabe que cierta propiedad para toda . De nuevo se afirma que la frmula es vlida. Esto es, se debe ser capaz de aportar y que si se cumple

es un objeto particular en la estructura, se estara en capacidad de afirmar

una prueba de este hecho, o -mejor expresado- una metaprueba. En efecto, estos ejemplos son metateoremas de la teora de lgica matemtica, ya que la referencia es meramente alconcepto demostrativo en s. Adems se puede extender a una generalizacin existencial. Esquema axiomtico. Para una frmula trmino sustituible por en , la en un lenguaje de primer orden , una variable y un

es universalmente vlida.

[editar]Matemticas
El formalismo surgido como consecuencia de la crisis fundacional de principios del siglo XX dio lugar al llamado programa de Hilbert. Dicho programa abogaba por la formalizacin de diferentes ramas de las matemticas mediante un conjunto de axiomas explcitos, en general formulados enlenguajes formales de primer orden. Eso significa que junto con los axiomas lgicos ordinarios de una teora de primer orden se introducan smbolos extralgicos (para constantes, funciones y predicados) y ciertos

axiomas matemticos que usaban dichos signos que restringan su comportamiento. Cada teora matemtica necesita un conjunto diferente de signos extralgicos, por ejemplo la aritmtica de primer orden requiere la funcin "siguiente" y una constante que designe al primer de los nmeros naturales (a partir de esos dos signos nuevos una constante y una funcin, son definibles la suma, la multiplicacin, la relacin de orden "menor o igual" y todas las nociones necesarias para la aritmtica). El programa de Hilbert hizo concebir la posibilidad de unas matemticas en que la propia consistencia de axiomas escogidos fuera verificable de manera relativamente simple. Sin embargo, el teorema de incompletitud de Gdel y otros resultados mostraron la inviabilidad del programa de Hilbert para los fines con los que fue propuesto.

[editar]Limitaciones

de los sistemas axiomticos

A mediados del siglo XX, Kurt Gdel demostr sus famosos teoremas de incompletitud. Estos teoremas mostraban que aunque un sistema de axiomas recursivos estuvieran bien definidos y fueran consistentes, los sistemas axiomticos con esos sitemas de axiomas adolecen de limitaciones graves. Es importante, notar aqu la restriccin de que el sistema de axiomas sea recursivamente enumerable, es decir, que el conjunto de axiomas forme un conjunto recursivamente enumerable dada una codificacin o gdelizacin de los mismos. Esa condicin tcnica se requiere ya que si el conjunto de axiomas no es recursivo entonces la teora ni siquiera ser decidible. Con esa restriccin Gdel demostr, que si la teora admite un modelo de cierta complejidad siempre hay una proposicin P verdadera pero no demostrable. Gdel prueba que en cualquier sistema formal que incluya aritmtica puede generarse una proposicin P mediante la cual se afirme que este enunciado no es demostrable.