PDF generado usando el kit de herramientas de fuente abierta mwlib. Ver http://code.pediapress.com/ para mayor informacin.

PDF generated at: Thu, 27 Mar 2014 02:21:11 UTC

Axiomas
Contenidos
Artculos
Axioma 1
Sistema axiomtico 4
Sistema formal 7
Referencias
Fuentes y contribuyentes del artculo 11
Fuentes de imagen, Licencias y contribuyentes 12
Licencias de artculos
Licencia 13
Axioma
1
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.
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.
Lgica
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.
A partir de los axiomas, y de reglas de inferencia, han de deducirse todas las dems proposiciones de una teora dada.
Axioma lgico
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
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.
Axioma
2
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
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 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
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).
Axioma
3
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
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
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.
Referencias
[1] Definicin de axioma en Symploke. (http:/ / symploke. trujaman. org/ index. php?title=Axiomas)
Bibliografa
Sagan, Carl (1997). El mundo y sus demonios. Barcelona: Planeta. ISBN 84-08-02043-9.
Enlaces externos
Wikcionario tiene definiciones y otra informacin sobre axioma.Wikcionario
Axioma (http:/ / www. ucm. es/ info/ eurotheo/ diccionario/ A/ axioma. pdf)
Axioma, en el Diccionario sovitico de filosofa (http:/ / www. filosofia. org/ enc/ ros/ axioma. htm)
Axioma, en Diccionario enciclopdico hispanoamericano (http:/ / www. e-torredebabel. com/
Enciclopedia-Hispano-Americana/ V2/ axioma-filosofia-D-E-H-A. htm)
Sistema axiomtico
4
Sistema axiomtico
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 Elementos
[1]
y el sistema axiomtico de la lgica proposicional.
Historia
El primer intento se remonta a la axiomatizacin de los Elementos de Euclides (siglo IV-III a.C.), aplicado a la
geometra plana. Euclides enuncia cinco postulados y cinco nociones comunes (axiomas), de los que deduce sus
teoremas geomtricos. 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.
Sistema axiomtico
5
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 exresadas 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 "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 modelo 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 aximas. Este ltimo punto es ilustrado por los teoremas de
incompletitud de Gdel, que viene a afirmar que una 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.
Sistema axiomtico
6
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 clase 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 una 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,
x
i
son signos de variables (puede definirse una coleccin infinita numeralbe de las mismas) y c
1
es una constante que
requiere la teora que se interpretar como el elemento neutro (es decir, los axiomas postulan que dicho elemento
existe).
Referencias
[1] Sistema axiomtico deductivo en symploke (http:/ / symploke. trujaman. org/ index. php?title=Sistema_axiomtico_deductivo)
[2] Richard Dedekind, 1890, Letter to Keferstein. pp. 98103.
Enlaces externos
J.A. Amor, 2004, Un refinamiento del concepto de sistema axiomtico, en signosfilosoficos. (http:/ / docs. google.
com/ viewer?a=v& q=cache:hW1NQYx6tdUJ:148. 206. 53. 230/ revistasuam/ signosfilosoficos/ include/ getdoc.
php?id=264& article=252& mode=pdf+ Sistema+ axiomtico& hl=es& gl=es& pid=bl&
srcid=ADGEESgLMpJv0RJWSSlJzfQAP_aR6CSqyiJhIu_luvv2ycs_Mv2-owCsHx581UrQ10zuH8T99UBzB2iHJNYoJp2bVAybNt4JB9hvpOLQcjsrsPNt4SUjPRqepWgbwewN6jEXAflzjQ1P&
sig=AHIEtbQX8UDVPl5RxMUN_N4tAmjbrMrxVg)
Sistema formal
7
Sistema formal
Un sistema formal es un tipo de sistema lgico-deductivo constituido por un lenguaje formal, una gramtica formal
que restringe cuales son las expresiones correctamente formadas de dicho lenguaje y las reglas de inferencia y un
conjunto de axiomas que permite encontrar las proposiciones derivables de dichos axiomas. Los sistemas formales
tambin han encontrado aplicacin dentro de la informtica, la teora de la informacin, y la estadstica, para
proporcionar una definicin rigurosa del concepto de demostracin. La nocin de sistema formal corresponde a una
formalizacin rigurosa y completa del concepto de sistema axiomtico, los cuales pueden ser expresados en lenguaje
formal o en lenguaje natural formalizado.
Llamamos formalizacin al acto de crear un sistema formal, con la que pretendemos capturar y abstraer la esencia de
determinadas caractersticas del mundo real, en un modelo conceptual expresado en un determinado lenguaje formal.
En la Teora de la demostracin, las demostraciones formales pueden expresarse en el lenguaje de los sistemas
formales, consistentes en axiomas y reglas de inferencia. Los teoremas pueden ser obtenidos por medio de
demostraciones formales. Este punto de vista de las matemticas ha sido denominado formalista; aunque en muchas
ocasiones este trmino conlleva una acepcin peyorativa. En ese sentido David Hilbert cre la disciplina denominada
metamatemtica dedicada al estudio de los sistemas formales, entendiendo que el lenguaje utilizado para ello,
denominado metalenguaje era distinto del lenguaje del sistema formal que se pretenda estudiar. El lenguaje formal
que se estudia, en este caso se llama tambin, en ocasiones, lenguaje objeto.
Un sistema as es la reduccin de un lenguaje formalizado a meros smbolos, lenguaje formalizado y simbolizado sin
contenido material alguno; un lenguaje reducido a mera forma que se expresa mediante frmulas que reflejan las
relaciones sintcticas entre los smbolos y las reglas de formacin y transformacin que permiten construir las
frmulas del sistema y pasar de una frmula a otra.
[1]
El objetivo de un sistema formal es sealar como vlidas determinadas cadenas. Estas cadenas vlidas se denominan
teoremas. Para obtener los teoremas se emplean las reglas de produccin que convierten una cadena en otra. Hay
ciertos teoremas iniciales que no se obtienen de ninguna regla, stos son los axiomas que se suponen vlidos por
definicin y se convierten en el germen de produccin de teoremas.
Sistemas lgicos
Un sistema lgico est compuesto por:
1. Un conjunto de smbolos primitivos (conectivas lgicas, cuantificadores, variables, el alfabeto, o vocabulario).
2. Un conjunto de reglas de formacin (la gramtica) que nos dice cmo construir frmulas bien formadas a partir
de los smbolos primitivos.
3. Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una frmula bien formada.
4. Un sistema deductivo o conjunto de reglas de inferencia y axiomas. Estas reglas determinan qu frmulas pueden
inferirse de qu frmulas. Por ejemplo, una regla de inferencia clsica es el modus ponens, segn el cual, dada
una frmula A, y otra frmula A B, la regla nos permite afirmar que B.
Estos cuatro elementos completan la parte sintctica de los sistemas lgicos. Sin embargo, todava no se ha dado
ningn significado a los smbolos discutidos, y de hecho, un sistema lgico puede definirse sin tener que hacerlo. Tal
tarea corresponde al campo llamado semntica formal, que se ocupa de introducir un quinto elemento:
1. Una interpretacin formal. En los lenguajes naturales, una misma palabra puede significar diversas cosas
dependiendo de la interpretacin que se le d. Por ejemplo, en el idioma espaol, la palabra banco puede
significar un edificio o un asiento, mientras que en otros idiomas puede significar algo completamente distinto o
nada en absoluto. En consecuencia, dependiendo de la interpretacin, variar tambin el valor de verdad de la
oracin el banco est cerca. Las interpretaciones formales asignan significados inequvocos a los smbolos, y
valores de verdad a las frmulas.
Sistema formal
8
Lgicas clsicas
Los sistemas lgica clsica lgicos clsicos son los ms estudiados y utilizados de todos, y se caracterizan por
incorporar ciertos principios tradicionales que otras lgicas rechazan. Algunos de estos principios son: el principio
del tercero excluido, el principio de no contradiccin, el principio de explosin y el principio de identidad. Entre los
sistemas lgicos clsicos se encuentran:
Lgica proposicional
Lgica de primer orden
Lgica de segundo orden
Lgicas no clsicas
Los sistemas lgicos no clsicos son aquellos que rechazan uno o varios de los principios de la lgica clsica.
Algunos de estos sistemas son:
Lgica difusa: Es una lgica plurivalente que rechaza el principio del tercero excluido y propone un nmero
infinito de valores de verdad.
Lgica relevante: Es una lgica paraconsistente que evita el principio de explosin al exigir que para que un
argumento sea vlido, las premisas y la conclusin deben compartir al menos una variable proposicional.
Lgica cuntica: Desarrollada para lidiar con razonamientos en el campo de la mecnica cuntica; su
caracterstica ms notable es el rechazo de la propiedad distributiva.
Lgica no monotnica: Una lgica no monotnica es una lgica donde, al agregar una frmula a una teora
cualquiera, es posible que el conjunto de consecuencias de esa teora se reduzca.
Lgica intuicionista: Enfatiza las pruebas, en vez de la verdad, a lo largo de las transformaciones de las
proposiciones.
Lgicas modales
Las lgicas modales estn diseadas para tratar con expresiones que califican la verdad de los juicios. As por
ejemplo, la expresin siempre califica a un juicio verdadero como verdadero en cualquier momento, es decir,
siempre. No es lo mismo decir est lloviendo que decir siempre est lloviendo.
Lgica modal: Trata con las nociones de necesidad, posibilidad, imposibilidad y contingencia.
Lgica dentica: Se ocupa de las nociones morales de obligacin y permisibilidad.
Lgica temporal: Abarca operadores temporales como siempre, nunca, antes, despus, etc.
Lgica epistmica: Es la lgica que formaliza los razonamientos relacionados con el conocimiento.
Lgica doxstica: Es la lgica que trata con los razonamientos acerca de las creencias.
Metalgica
Mientras la lgica se encarga, entre otras cosas, de construir sistemas lgicos, la metalgica se ocupa de estudiar las
propiedades de dichos sistemas. Las propiedades ms importantes que se pueden demostrar de los sistemas lgicos
son:
Consistencia
Un sistema tiene la propiedad de ser consistente cuando no es posible deducir una contradiccin dentro del sistema.
Es decir, dado un lenguaje formal con un conjunto de axiomas, y un aparato deductivo (reglas de inferencia), no es
posible llegar a una contradiccin.
Sistema formal
9
Decidibilidad
Se dice de un sistema que es decidible cuando, para cualquier frmula dada en el lenguaje del sistema, existe un
mtodo efectivo para determinar si esa frmula pertenece o no al conjunto de las verdades del sistema. Cuando una
frmula no puede ser probada verdadera ni falsa, se dice que la frmula es independiente, y que por lo tanto el
sistema es no decidible. La nica manera de incorporar una frmula independiente a las verdades del sistema es
postulndola como axioma. Dos ejemplos muy importantes de frmulas independientes son el axioma de eleccin en
la teora de conjuntos, y el quinto postulado de la geometra euclidiana.
Completitud
Se habla de completitud en varios sentidos, pero quizs los dos ms importantes sean los de completitud semntica y
completitud sintctica. Un sistema S en un lenguaje L es semnticamente completo cuando todas las verdades
lgicas de L son teoremas de S. En cambio, un sistema S es sintcticamente completo si, para toda frmula A del
lenguaje del sistema, A es un teorema de S o A es un teorema de S. Esto es, existe una prueba para cada frmula o
para su negacin. La lgica proposicional y la lgica de predicados de primer orden son ambas semnticamente
completas, pero no sintcticamente completas. Por ejemplo, ntese que en la lgica proposicional, la frmula p no es
un teorema, y tampoco lo es su negacin, pero como ninguna de las dos es una verdad lgica, no afectan a la
completitud semntica del sistema. El segundo teorema de incompletitud de Gdel demuestra que ningn sistema
(definido recursivamente) con cierto poder expresivo puede ser a la vez consistente y completo.
La matemtica como sistema formal
La matemtica fue considerada por David Hilbert un sistema formal ya que toda la matemtica puede ser
interpretada a base de smbolos, axiomas y reglas de produccin. Pero en 1931 Kurt Gdel demostr que la
coherencia y la completitud no podan ser ciertos a la vez en las matemticas, o al menos en los nmeros enteros. Es
lo que se denomna el teorema de la incompletitud de Gdel. Por otra parte Alonzo Church demostr que la
matemtica tampoco poda ser decidible, con lo que la idea de las matemticas como sistema formal tal y como
Hilbert pretenda, result demolida.
Sin embargo, a pesar de que el llamado programa de Hilbert result inviable para los fines pretendidos, el enfoque ha
seguido siendo ampliamente usado, a pesar de sus limitaciones, bsicamente porque no se ha encontrado ninguna
alternativa mejor al enfoque formalista de Hilbert y la pretensin de trabajar en el seno de teoras matemticas
explcitamente axiomatizadas, aun con sus limitaciones.
El sistema axiomtico de Peano
El sistema de Peano es un sistema axiomtico de segundo orden a partir del cual puede deducirse toda la aritmtica
de los nmeros naturales. Los primitivos de este sistema son los trminos "0" (cero), "nmero" y "sucesor", de los
cuales, por ser primitivos no se da definicin alguna. Sin embargo, se entiende por "0" dicho nmero, el trmino
"nmero" designa a los nmeros naturales 0, 1, 2, 3,... exclusivamente, y con "sucesor" de un nmero natural n se
refiere al nmero natural inmediato siguiente de n en el orden natural. El Sistema de Peano contiene los 5 postulados
que siguen:
Lenguaje natural
P1 0 es un nmero.
P2 El sucesor de un nmero es siempre un nmero.
P3 Dos nmeros nunca tienen el mismo sucesor.
P4 0 no es el sucesor de nmero alguno.
P5 Si P es una propiedad tal que (a) cero tiene la propiedad P, y (b) siempre que un nmero n tenga la propiedad
P el sucesor de n tambin tendr la propiedad P, entonces todos los nmeros tendrn la propiedad P.
Sistema formal
10
El ltimo postulado entraa el principio de induccin matemtica e ilustra claramente el alcance de una "verdad"
matemtica por convencin. Se construye la aritmtica fundamental sobre esta base, definiendo los diversos nmeros
naturales como el sucesor de cero ( 0), el sucesor del sucesor de cero( 0), y as hasta el infinito.
Lenguaje formal
Los smbolos que designan los conceptos primitivos son .
Axiomas:
Luego, se establece la definicin de suma, que expresa que la adicin de un nmero natural a otro dado puede
considerrsela como la suma repetida de 1; esta ltima operacin es fcilmente expresable por medio de la relacin
de sucesor:
(a) n + 0 = n; (b) n + k' = (n + k)'
Pasando ahora a la multiplicacin de los nmeros naturales, se la puede definir por medio de la siguiente definicin
por recurrencia, que expresa de manera rigurosa que el producto nk de dos nmeros naturales puede ser considerado
como la suma de k trminos cada uno de los cuales es igual a n, en otros trminos:
(a) n . 0 = 0; (b) n. k' = n. k + n
Referencias
[1] Encyclopdia Britannica, Formal system (http:/ / www. britannica. com/ eb/ article-9034889/ formal-system) definition, 2007.
Bibliografa
Raymond M. Smullyan, 1961. Theory of Formal Systems: Annals of Mathematics Studies, Princeton University
Press (April 1, 1961) 156 pag. ISBN 069108047X
S. C. Kleene, 1967. Mathematical Logic Reprinted by Dover, 2002. ISBN 0486425339
Douglas Hofstadter, 1979. Gdel, Escher, Bach: An Eternal Golden Braid. 777 pag. ISBN 978-0465026562.
Enlaces externos
Wikcionario tiene definiciones y otra informacin sobre formalizacin.Wikcionario
Formal system (http:/ / www. britannica. com/ eb/ article-9034889/ formal-system), definicin en la Enciclopedia
Britnica, 2007.
Christer Blomqvist, an introduction to formal systems (http:/ / hemsidor. torget. se/ users/ m/ mauritz/ math/ logic/
inform. htm), pgina web 1997.
What is a Formal System? (http:/ / www. cs. indiana. edu/ ~port/ teach/ 641/ formal. sys. haug. html): Algunas
citas de `Artificial Intelligence: The Very Idea' (1985) de John Haugeland, pp.4864.
Heinrich Herre Formal Language and systems (http:/ / www-ls. informatik. uni-tuebingen. de/ psh/ forschung/
publikationen/ RoutledgeFLS1995. pdf), 1997.
Peter Suber, Formal Systems and Machines: An Isomorphism (http:/ / www. earlham. edu/ ~peters/ courses/
logsys/ machines. htm), 1997.
Fuentes y contribuyentes del artculo
11
Fuentes y contribuyentes del artculo
Axioma Fuente: http://es.wikipedia.org/w/index.php?oldid=72998213 Contribuyentes: Abin, Acratta, Act CaRdiaCz, Adad-1990, Aiax, AlfonsoERomero, Alonso de Celada, AlvaroAthos,
Antonorsi, Antn Francho, Biasoli, Brunoalbertorazi, BuenaGente, C'est moi, Damifb, David0811, Davius, DeTurk, Diegusjaimes, Egaida, Erfil, Erudicin, Esitep, Euclides, Eyetheunlord,
Francisco Valdez Mendoza, Frei sein, Galandil, Gsrdzl, HUB, Hanjin, Helmy oved, Humberto, Ingenioso Hidalgo, Inulises, Ivanics, JMCC1, Jarisleif, Jcaraballo, Jkbw, Johfrael, JorgeGG, Juan
Mayordomo, Juan25, Judas Ali-Qu, Julian Colina, Julian Grillo, Kved, Laura Fiorucci, Lourdes Cardenal, Lucien leGrey, Lucrecius, Luis Felipe Schenone, MARC912374, Maldoror, Mario
modesto, Matdrodes, Metronomo, Miguel Strogoff, Miguel Villegas Lamberti, Moraleh, Moriel, Muro de Aguas, Nightwish, Nihilo, Paco-malaga, Pan con queso, PePeEfe, Pelirrojo2007, Petruss,
Ppja, Plux, Raulshc, Richard Lyon, Roblespepe, RoyFocker, Sanbec, Santiago998, Slipkniboro, Sms, Sofista, SuperBraulio13, Surscrd, TeleMania, Tharasia, Tomatejc, Tuertooriginal, UA31,
Unificacion, Vivero, Yix, Youssefsan, Yrithinnd, 221 ediciones annimas
Sistema axiomtico Fuente: http://es.wikipedia.org/w/index.php?oldid=70076595 Contribuyentes: Acratta, Davius, Eyetheunlord, JMCC1, Pilaf, 1 ediciones annimas
Sistema formal Fuente: http://es.wikipedia.org/w/index.php?oldid=70376559 Contribuyentes: Acratta, Aljullu, Atila rey, Comae, Davius, Dibujon, Diegusjaimes, Dreitmen, Dumydam,
Fer31416, Isha, J.R.Menzinger, JMCC1, Jerowiki, Jkbw, Judas Ali-Qu, JulianMendez, Lnegro, Luis Felipe Schenone, MONIMINO 1, Maltusnet, Melocoton, P.o.l.o., Pilaf, Raystorm, Saloca,
Sanbec, Szvest, Taichi, Troodon, Vic Fede, Waeswaes, 38 ediciones annimas
Fuentes de imagen, Licencias y contribuyentes
12
Fuentes de imagen, Licencias y contribuyentes
Archivo:Avocado Seedling.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Avocado_Seedling.jpg Licencia: Creative Commons Attribution 2.5 Contribuyentes: Mark Hofstetter
Archivo:Wiktionary-logo-es.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Wiktionary-logo-es.png Licencia: logo Contribuyentes: es:Usuario:Pybalo
Archivo:Deduction architecture.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Deduction_architecture.png Licencia: GNU Free Documentation License Contribuyentes:
Physis
Licencia
13
Licencia
Creative Commons Attribution-Share Alike 3.0
//creativecommons.org/licenses/by-sa/3.0/