Tome Mike Apóstol,
fue un ingeniero y matemático estadounidense, especializado en teoría de análisis
real y análisis numérico. El profesor Apóstol es celebré por sus libros “Calculus”
y “Análisis matemático”, utilizado bastante en las universidades
latinoamericanas.
Yo, en mi
clase, lleve estos hermosos libros, como buen estudiante de universidades
latinoamericanas. De mi clase, recuerdo muy bien los Axiomas de Peano, los
cuales definen o construyen los números naturales.
1. El 1 es un numero natural, 1 está
contenido en N, el conjunto de los números naturales.
2. Todo número natural n tiene un
sucesor n*
3. El 1 no es el sucesor de ningún número
natural.
4. Si hay dos números naturales n y m
con el mismo sucesor, entonces n y m son el mismo número natural.
5. Axioma de inducción: un subconjunto
de N que contenga al 1 y que dado un elemento del subconjunto también contenga
a su siguiente, entonces el subconjunto es igual a N.
Basado en
esto, podemos definir la suma, como una operación dentro de los naturales.
Por lo que
n + 1 = n´, que por el axioma 1, 1 es un número.
Suponemos que n es un numero también. Y por el axioma dos, todo número natural
tiene un sucesor, por lo que n + 1 tiene que ser un numero natural también.
pero si
sumamos
n + n’ = m,
¿cómo podemos saber que m es un número? Por lo anterior, suponemos que n es número, y
que n’ también es un número. Por la definición anterior, n’ tiene un antecesor,
que puede ser n + 1 , y n tiene un antecesor, y como el 1 no es el sucesor de ningún
número natural (axioma 3), 1 será el antecesor de n, y de n’ en algún momento,
por lo que m, por inducción, será un número también, sucesor de otro número.
Todo esto
porque hoy alguien me dijo, “aprende magia, con eso sorprenderás a las mujeres.”
Hasta hace poco, resolver problemas de lógica, era un truco de magia que sorprendía
a al menos una de ellas.
No hay comentarios:
Publicar un comentario