Sistema axiomtico

De Wikipedia, la enciclopedia libre

En lgica y matemticas, un sistema axiomtico consiste en un conjunto de axiomas que se utilizan, mediante
deducciones, para demostrar teoremas. Ejemplos de sistemas axiomticos deductivos son la geometra euclidiana
compilada por Euclides en los Elementos1 y el sistema axiomtico de la lgica proposicional.

ndice
1 Historia
2 Sistemas axiomticos formales e informales
2.1 Componentes de un sistema axiomtico formal
2.2 Modelos para un sistema axiomtico formal
3 Ejemplos
4 Vase tambin
5 Referencias
6 Enlaces externos

Historia
El primer trabajo de axiomatizacin se realiza en los Elementos de Euclides (siglo IV-III a. C.), vinculado a la
geometra plana. Euclides enuncia cinco postulados y cinco nociones comunes (axiomas), de los que deduce sus
teoremas de la geometra. Al mismo tiempo, Aristteles aporta el primer enfoque de la lgica formal en el rganon,
recogiendo diversos axiomas de Platn y otros filsofos.

En matemticas, sin embargo, el primer intento de axiomatizacin lleg en 1888, cuando Richard Dedekind propuso
un conjunto de axiomas sobre los nmeros.2 Al ao siguiente, Giuseppe Peano retoma los trabajos de Dedekind y
expone sus axiomas aritmticos.

Gottlob Frege, en 1884, con su obra Die Grundlagen der Arithmetik y la posterior Grundsetze der Arithmetik, trata de
reducir la aritmtica a la lgica. Bertrand Russell en su intento de 1901 descubri la paradoja del mismo nombre:
paradoja de Russell, y para resolverla trabaj con Alfred North Whitehead, en Principia Mathematica. En 1899,
David Hilbert reformula los axiomas de la geometra, y tambin explica los conceptos que Euclides dej implcitos,
por ejemplo, Euclides no dice que hay al menos tres puntos en el plano, o que hay al menos un punto en el plano que
no pertenece a la lnea, etc.

En el Congreso celebrado en 1900, David Hilbert plante varios problemas, entre los que inclua la demostracin de
la consistencia de los axiomas de las matemticas y la axiomatizacin de la fsica. En 1931, Kurt Gdel demostr que
cualquier sistema axiomtico equivalente a los axiomas de Peano es incompleto y que si este sistema es consistente,
no se puede utilizar para probar su consistencia (teorema de incompletitud de Gdel).

Sistemas axiomticos formales e informales

Un sistema axiomtico puede tener expresados sus axiomas de manera formal o de manera informal:

Una axiomatizacin formal usa un lenguaje formal y en l cada axioma es una cadena finita de signos en el
alfabeto del lenguaje formal, siguiendo reglas combinatorias que hacen de la secuencia una frmula bien
formada.
Una axiomatizacin informal usa una lengua natural formalizada y definiciones no ambiguas, los libros de
matemtica y otras disciplinas formales normalmente redactan los axiomas de esta manera.

Los sistemas de axiomas formales son ms sencillos de estudiar y son preferibles para caracterizar las propiedades de
los sistemas matemticos. En particular admiten una caracterizacin semntica muy clara en la teora de modelos y
sus propiedades deductivas pueden ser tratadas en la teora de la demostracin. Por el contrario, las axiomatizaciones
informales slo son tiles cuando se tiene un modelo concreto en mente y se pretenden buscar propiedades que se
cumplen en el modelo.

Componentes de un sistema axiomtico formal

Un sistema axiomtico formal consta de los siguientes
elementos:

Un alfabeto S para construir expresiones formales

que incluye:
Un conjunto de smbolos para conectivas
lgicas, cuantificadores
Un conjunto de smbolos para designar
variables
Un conjunto de smbolos para constantes (que
tendrn en un modelo una interpretacin fija).
Un conjunto de smbolos que sern
interpretados como funciones.
Un conjunto de smbolos que sern
interpretados como relaciones.
Una gramtica formal que incluir:
Reglas de buena formacin, que reproducen la
"morfologa" del lenguaje formal.
Reglas de inferencia que permitirn deducir
unas proposiciones de otras, estas reglas
reproducen la "sintaxis" del lengua formal.
Un conjunto de axiomas inicial, o expresiones bien
formadas son el punto de partida de cualquier
deduccin.

Para el conjunto de expresiones bien formadas expresadas

en el lenguaje formal anterior puede definirse una S-estructura en la que a cada variable constante o cada ocurrencia
libre de una variable reciba un valor dentro del modelo (es decir, las constantes y variables libres sern conjuntos
preasignados de la S-estructura). Las funciones y relaciones sern definidas como funciones y relaciones matemticas
dentro de la S-estructura. Una vez definidas las constantes, variables libres, funciones y relaciones resulta trivial
atribuir un significado concreto a las expresiones del lenguaje formal en la S-estructura.

Modelos para un sistema axiomtico formal

Si un conjunto de proposiciones (frmulas bien formadas) de un sistema axiomtico formal admiten una S-estructura
donde se satisfacen, entonces se dice que dicha estructura es un modelo para el conjunto de proposiciones. Un
sistema de axiomas que admite un modelo es un sistema de axiomas consistente. Un sistema formal bien construido
satisface el "teorema de validez", que viene a afirmar que cualquier proposicin deducible de los axiomas, o teorema
del sistema axiomtico, se satisface tambin, en todos los modelos que sean un modelo en el que se satisfacen los
axiomas. La propiedad recproca no siempre se cumple, una proposicin que se satisface en todos los modelos de una
teora no tiene porqu ser deducible del sistema de axiomas. Este ltimo punto es ilustrado por los teoremas de
incompletitud de Gdel, que afirman que un sistema formal de ciertos sistemas matemticos con un conjunto de
axiomas que satisface determinada propiedad formal (ser un recursivamente enumerables) admitir un modelo en el
que algunas proposiciones sern ciertas pero no sern deducibles. Es decir, la teora asociada al sistema axiomtico
formal ser esencialmente incompleta.

Ejemplos
La teora de grupos es un sistema axiomtico se puede basar en el siguiente conjunto de tres axiomas G1, G2 y G3:

(G1) para todo x, y y z:

(G2) para todo x:
(G3) para todo x, existe un y tal que
Este conjunto de axiomas no es nico, ya que pueden ser substituidos por otros equivalentes. En teora de grupos el
asunto importante es que el conjunto de teoremas sean los mismos en dos axiomatizaciones diferentes. Eso implica
que las dos clases de modelos que satisfacen los dos sistemas de axiomas coindiden. Los tres axiomas anteriores
pueden escribirse sin usar ninguna lengua natural usando slo smbolos de un lenguaje de primer orden como:

(G1)
(G2)
(G3)

Donde f debe interpretarse como la funcin definida sobre GxG que da un elemento de G dando operacin de grupo,
xi son signos de variables (puede definirse una coleccin infinita numerable de las mismas) y c1 es una constante que
requiere la teora que se interpretar como el elemento neutro (es decir, los axiomas postulan que dicho elemento
existe).

Vase tambin
Proposicin
Axioma
Postulado
Definicin
Teorema
Sistema formal
Axiomas de Hilbert

Referencias
2. Richard Dedekind, 1890, Letter to Keferstein. pp. 98
1. Sistema axiomtico deductivo en symploke (http://sympl 103.
oke.trujaman.org/index.php?title=Sistema_axiom%E1tic
o_deductivo)

Enlaces externos
J.A. Amor, 2004, Un refinamiento del concepto de sistema axiomtico, en signosfilosoficos. (http://docs.googl
e.com/viewer?a=v&q=cache:hW1NQYx6tdUJ:148.206.53.230/revistasuam/signosfilosoficos/include/getdoc.p
hp%3Fid%3D264%26article%3D252%26mode%3Dpdf+Sistema+axiom%C3%A1tico&hl=es&gl=es&pid=bl
&srcid=ADGEESgLMpJv0RJWSSlJzfQAP_aR6CSqyiJhIu_luvv2ycs_Mv2-owCsHx581UrQ10zuH8T99UBz
B2iHJNYoJp2bVAybNt4JB9hvpOLQcjsrsPNt4SUjPRqepWgbwewN6jEXAflzjQ1P&sig=AHIEtbQX8UDVPl
5RxMUN_N4tAmjbrMrxVg)

Obtenido de https://es.wikipedia.org/w/index.php?title=Sistema_axiomtico&oldid=97279595

Categoras: Lgica matemtica Axiomas matemticos

Se edit esta pgina por ltima vez el 2 mar 2017 a las 23:03.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden aplicarse
clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de lucro.