25/11/13 Axioma - Wikipedia, la enciclopedia libre

es.wikipedia.org/wiki/Axioma 1/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 unaconclusin.
En matemtica se distinguen dos tipos de proposiciones:
axiomas lgicos y postulados.
ndice [ocultar]
1 Etimologa
2 Lgica
2.1 Axioma lgico
2.1.1 Ejemplo 1
2.1.2 Ejemplo 2
3 Matemticas
4 Limitaciones de los sistemas axiomticos
5 Vase tambin
6 Referencias
6.1 Bibliografa
7 Enlaces externos
Etimologa [ editar editar cdigo ]
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.
Lgica [ editar editar cdigo ]
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 de reglas de inferencia, han de deducirse todas las dems
25/11/13 Axioma - Wikipedia, la enciclopedia libre
es.wikipedia.org/wiki/Axioma 2/4
proposiciones de una teora dada.
Axioma lgico [ editar editar cdigo ]
Los axiomas son ciertas frmulas en un lenguaje formal 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.
Ejemplo 1 [ editar editar cdigo ]
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
nmeroinfinito 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 2 [ editar editar cdigo ]
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 , o definir un
uso puramente formal y sintctico del smbolo . De hecho sucede esto en Lgica
matemtica.
Otro ejemplo interesante es el de instanciacin universal , mediante el cuantificador
universal. Para una frmula en un lenguaje de primer orden , una variable y un
trmino sustituible por en , la frmula es vlida universalmente.
En trminos informales este ejemplo permite afirmar que si se sabe que cierta propiedad
se cumple para toda y que si es un objeto particular en la estructura, se estara en
capacidad de afirmar .
De nuevo se afirma que la frmula es vlida. Esto es, se debe ser capaz de
aportar 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 al concepto demostrativo en s. Adems se puede extender a una generalizacin
25/11/13 Axioma - Wikipedia, la enciclopedia libre
es.wikipedia.org/wiki/Axioma 3/4
existencial utilizando el cuantificador existencial.
Esquema axiomtico. Para una frmula en un lenguaje de primer orden , una variable
y un trmino sustituible por en , la es universalmente vlida.
Matemticas [ editar editar cdigo ]
Para que todos los procedimientos matemticos usados sean vlidos se debe partir de una
base que respalde cada procedimiento, cada paso lgico usado, y debe, en
consecuencia,demostrarse cada afirmacin no trivial. Son estas demostraciones los pilares
fundamentales de toda rama de las matemticas, ya que sin ellos puede ponerse en duda la
veracidad de cualquier afirmacin.
Las afirmaciones a las que se hace referencia se llaman axiomas. Sern, por lo tanto,
afirmaciones que se aceptan como verdaderas debido a su trivialidad, pudiendo en ocasiones
ser demostradas cuando no lo son.
El otro tipo de afirmaciones a las que se hace referencia diciendo: afirmacin no trivial,
son los teoremas, que son ya, afirmaciones no tan triviales y muchas veces poco intuitivas.
Estas afirmaciones deben ser demostradas usando los axiomas u otros teoremas ya
demostrados. Una consecuencia inmediata de un teorema se llamar corolario.
Muchas partes de la matemtica estn axiomatizadas, lo que significa que existe un
conjunto de axiomas de los cuales es posible deducir todas las verdades de esa parte de la
matemtica. Por ejemplo, de los axiomas de Peano es posible deducir todas las verdades
de la aritmtica (y por extensin, de otras partes de la matemtica).
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 en lenguajes 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.
Limitaciones de los sistemas axiomticos [ editar editar cdigo ]
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 sistemas 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
25/11/13 Axioma - Wikipedia, la enciclopedia libre
es.wikipedia.org/wiki/Axioma 4/4
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.
Vase tambin [ editar editar cdigo ]
Sistema axiomtico
Postulado
Dogma
Sistema formal
Regla de inferencia
Teorema
Axiomas de Peano
Teoremas de incompletitud de Gdel
Axiomas de Hilbert
Referencias [ editar editar cdigo ]
1. Definicin de axioma en Symploke.
Bibliografa [ editar editar cdigo ]
Sagan, Carl (1997). El mundo y sus demonios. Barcelona: Planeta. ISBN 84-08-02043-9.
Enlaces externos [ editar editar cdigo ]
Wikcionario tiene definiciones para axioma.
Axioma
Axioma, en el Diccionario sovitico de filosofa
Axioma, en Diccionario enciclopdico hispanoamericano