Algunas aclaraciones:
Lo que no es esencial es si el uno es primo o no, pero la definición de número primo sí que es esencial (para las matemáticas)
Por otra parte lo de que si las matemáticas están muertas bueno, pues ¿qué se puede comentar? Como muestra un simple botón:
Sin las matemáticas (y sin la física, la ingeniería, la astronomía, etc., etc.) el hombre jamás habría llegado a la luna. En fin que, difícilmente habrá un área del conocimiento humano que se pueda desechar tan sólo por que no la entendemos, no nos gusta o no nos interesa.
Y, Andrés, bien podrías ser matemático. Lo del "número padre" más que un teorema, es, en esencia, la construcción formal de los números naturales tal como se hace en matemáticas. En realidad se usa el cero más que el uno pero corresponde a la construcción de Peano quien axiomatiza los números naturales como sigue:
1. El cero es número natural
2. Todo número natural tiene un
sucesor que también es un número natural
3. El cero no es
sucesor de ningún número natural
4. Distintos números tiene distintos
sucesores
5. Si el cero tiene una propiedad y si cada vez que un número tiene la propiedad entonces el
sucesor la tiene, se concluye que todos los números naturales tienen la propiedad.
La palabra clave aquí es
sucesor. No se define ya que se trata de axiomas pero corresponde a la idea
natural de sumar 1 al número anterior:
Sucesor(n) = n +1
(Incluso Delphi tiene la función sucesor
)
¿Y por qué hay que axiomatizar esto?
Porque hay una infinidad de números naturales y no podemos describir todos ellos más que con los puntos suspensivos que escribe Andrés
Cita:
1 = 1
2 = 1 + 1
3 = 1 + 1 + 1
...
|
El quinto axioma (el axioma de inducción) es la base para formalizar estos puntos suspensivos.
Este axioma es fundamental para la demostración de un sin número de teoremas en matemáticas (teoremas que van mucho más allá que simples números)
Luego de este breviario cultural le mando
// Saludos