P. 1
axiomas de peano

axiomas de peano

|Views: 277|Likes:
Publicado porTamerarmando

More info:

Published by: Tamerarmando on Dec 04, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

08/29/2014

pdf

text

original

Axiomas de Peano

1

Axiomas de Peano
Los axiomas de Peano o postulados de Peano son un conjunto de axiomas para la aritmética introducidos por Giuseppe Peano en el siglo XIX. Los axiomas se han utilizado prácticamente sin cambios para una variedad de investigaciones metamatemáticas, incluyendo cuestiones acerca de la consistencia y completitud de la aritmética y la teoría de números. Los cinco axiomas o postulados de Peano son los siguientes: 1. 2. 3. 4. 5. El 1 es un número natural. Si n es un número natural, entonces el sucesor de n también es un número natural. El 1 no es el sucesor de ningún número natural. Si hay dos números naturales n y m con el mismo sucesor, entonces n y m son el mismo número natural. Si el 1 pertenece a un conjunto, y dado un número natural cualquiera, el sucesor de ese número también pertenece a ese conjunto, entonces todos los números naturales pertenecen a ese conjunto. Este es el axioma de inducción, y captura la idea de inducción matemática.

Hay un debate sobre si considerar al 0 como número natural o no. Generalmente se decide en cada caso, dependiendo de si se lo necesita o no. Cuando se resuelve incluir al 0, entonces deben hacerse algunos ajustes menores: 1. 2. 3. 4. 5. El 0 es un número natural. Si n es un número natural, entonces el sucesor de n también es un número natural. El 0 no es el sucesor de ningún número natural. Si hay dos números naturales n y m con el mismo sucesor, entonces n y m son el mismo número natural. Si el 0 pertenece a un conjunto, y dado un número natural cualquiera, el sucesor de ese número también pertenece a ese conjunto, entonces todos los números naturales pertenecen a ese conjunto.

Presentación formal
Como se dijo anteriormente, existe un debate sobre si incluir al 0 entre los números naturales o no. A continuación se presentan los axiomas de Peano de manera formal, contemplando ambas posibilidades:

Cuando no se incluye al 0
Los símbolos primitivos son: El símbolo N es un predicado monádico que pretende ser leído como "ser un número natural". El símbolo 1, por su parte, es una constante que pretende representar al número uno. Y el símbolo x', finalmente, es una función sobre x que devuelve al sucesor de x. A esta función muchas veces se la escribe "S(x)". Los cinco axiomas de Peano son:

Del quinto axioma existen dos variantes. El primero está formulado en lógica de primer orden, y es en realidad un esquema de axioma. El segundo sí es un axioma, pero está formulado en lógica de segundo orden.

la aritmética de Peano recurre a dos definiciones (de la suma y de la multiplicación). A continuación se incluyen todas las variantes: • Definiciones de suma y multiplicación: 2 • Axiomas de la suma y de la multiplicación: Cuando se incluye al 0 Símbolos primitivos: Axiomas: Cambiar los axiomas para que incluyan al 0 es sólo una cuestión de cambiar toda aparición del 1 por el 0. en las definiciones (o los axiomas) de suma y de multiplicación hay que hacer algunos leves ajustes más: • Definiciones de suma y multiplicación: • Axiomas de la suma y de la multiplicación: .Axiomas de Peano Además de los cinco axiomas. Sin embargo. que a veces se presentan como axiomas.

En tal caso. Bajo esta interpretación. cada uno de los axiomas resulta verdadero. N y x'. a N como el predicado "ser un día". Si el dos pertenece a un conjunto. interpretaciones que hagan verdaderos a todos los axiomas) por fuera de la matemática. Julián Velarde Lombraña. los axiomas de Peano fueron diseñados para caracterizar a los números naturales. sino a la noción más amplia de progresión. y dado un número par cualquiera. ISBN 978-84-85422-02-9. algunas de las cuales serán además modelos. todos los axiomas resultan verdaderos. y a x' como el sucesor del sucesor. entonces n y m son el mismo número par. Sin embargo. podría interpretarse a 0 como el primer día de la creación. y a x' como el día después de x. las interpretaciones naturales de los símbolos primitivos son un modelo de la aritmética de Peano. y al predicado N como los números naturales. Los principios de la aritmética: expuestos según un nuevo método. los axiomas también resultan verdaderos. Pentalfa Ediciones. el primer axioma resulta verdadero. Bibliografía • Peano. los axiomas tendrían que entenderse así: 1. Lo mismo ocurre con todos los otros axiomas: bajo las interpretaciones naturales de 0. Por ejemplo. y existen infinitos modelos inintencionales de la aritmética de Peano. el sucesor del sucesor de ese número también pertenece a ese conjunto. Si hay dos números pares n y m con el mismo sucesor de sucesor. Giuseppe (marzo de 1979). Por ejemplo. El dos es un número par Si n es un número par. sino a los números pares. También es posible encontrar modelos (es decir. interpretando al símbolo 0 como el número cero. 3. A aquellos modelos que no fueron originalmente planeados se los llama modelos inintencionales (non-intended models). 5. Véase también • Noción primitiva Enlaces externos • MaTeTaM: Postulados de Peano [1] • El Arte de las Matematicas: Postulados de Peano [2] . Traducido por Julián Velarde Lombraña (1ª edición). Estrictamente hablando. dado que el significado de los símbolos primitivos no está especificado (por eso son primitivos). admiten varias interpretaciones. ed. 2. en vez del sucesor inmediato. entonces el sucesor del sucesor de n también es un número par El dos no es el sucesor del sucesor de ningún número par. 4. Originalmente. porque es verdad que "el cero es un número natural". podría interpretarse al símbolo 0 como el número dos. entonces todos los números pares pertenecen a ese conjunto. Bajo esta interpretación. y los axiomas ya no definen a los números naturales. y los símbolos primitivos debían ser interpretados de esta manera natural. Por ejemplo. Luego. la aritmética de Peano no define a la serie de los números naturales.Axiomas de Peano 3 Modelos inintencionales Un modelo es una interpretación de los símbolos primitivos que hace verdaderos a todos los axiomas. a N como el predicado "ser un número par".

com/ 2009/ 05/ postulados-de-peano. com/ glosario/ definicion/ postulados-peano [2] http:/ / dianapatriciadiazgutierrez. html .Axiomas de Peano 4 Referencias [1] http:/ / www. matetam. blogspot.

SpeedyGonzalez. Joseaperez. Ingenioso Hidalgo. Camilo.wikipedia. Tano4595. Rbonvall.0 Unported http:/ / creativecommons. Triebjlr. Manwë. Sabbut. Charly Toluca.Fuentes y contribuyentes del artículo 5 Fuentes y contribuyentes del artículo Axiomas de Peano  Fuente: http://es. 0/ . Dnu72. Raystorm. Dreitmen.php?oldid=40761581  Contribuyentes: Atope36. Spaceone. Luis Felipe Schenone. Rsg. org/ licenses/ by-sa/ 3. 33 ediciones anónimas Licencia Creative Commons Attribution-Share Alike 3. Jynus. Chikarancid. Matdrodes.org/w/index.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->