martes, 8 de marzo de 2011

Matemáticas

Recientemente mi profesor de ecuaciones diferenciales nos mostró la siguiente formula, llamada la identidad de Euler:

Como puede apreciarse la expresión combina algunos de los número más importantes de las matemáticas: el cero, la unidad, el número e, pi y la unidad imaginaria i, y además de una forma muy elegante, usando las operaciones matemáticas más importantes (suma, multiplicación y potencia) y combinando todo ello con una igualdad. Es un increíble malabarismo matemático.

Entonces dijo que "había gente" (refiriéndose a él mismo, claro) que pensaban que esta igualdad es una prueba de un orden superior en el universo y por tanto de la presencia de un gran arquitecto o Dios (lo que me da ahora una oportunidad para hablar sobre las matemáticas).

No pretendo ser un experto en matemáticas, pero si se algo sobre la base de esta disciplina.

Para empezar las matemáticas dependen de unos enunciados llamados axiomas. Los axiomas definen unas reglas mínimas y arbitrarias a partir de la cuales se deduce todo lo demás. En las matemáticas euclidianas, que son las que solemos usar, algunos axiomas son: "la distancia más corta entre dos puntos cualquiera es siempre una linea recta" o "los ángulos de un triángulo suman siempre 180º". Otro elemento que usamos son los números, que son símbolos creados por el hombre para poder cuantificar la realidad.

Pero debemos tener en cuenta que tanto el sistema de numeración, como los axiomas son arbitrarios. En el caso del sistema de numeración no es tan importante, puesto que tanto en hexagesimal, como en decimal o en binario una pelota mas otra pelota son dos pelotas (al menos con nuestros axiomas). Pero en el caso de los axiomas, el cambio de los teoremas y deducciones posteriores puede ser brutal si alguno de ellos cambia. Por ejemplo podemos ahora podemos decir "la distancia más corta entre dos puntos es una linea curva" quizás desde nuestra perspectiva parezca absurdo, pero modificaciones como esta han generado nuevos modelos de matemáticas como las de Lobachevky, Bolyai o Riemann; que de hecho tienen muchísimas aplicaciones en el mundo real, aunque sus axiomas nos parezcan absurdos.

Ahora la idea que quiero transmitir es la siguiente: todos los teoremas están contenidos en los axiomas. Es decir, desde el método de resolución de una ecuación de segundo grado hasta las leyes de derivación e integración van incluidas en los axiomas.
Lo pondré de otra manera, por si es difícil de entender. Imaginemos que tenemos dos premisas: "Las personas que viven en Madrid son altos"y"Juan vive en Madrid"; y sacamos nuestra conclusión "Juan es alto". Nuestra conclusión ya estaba incluida en nuestras premisas; lo mismo ocurre en las matemáticas: los teoremas son conclusiones extraídas únicamente de los axiomas y de ninguna otra parte (o en su defecto los teoremas están sacados de otros teoremas que cuyo origen son los axiomas únicamente).

Lo que quiere decir que la identidad de Euler va incluida en "la distancia más corta entre dos puntos es una linea recta" y los otros axiomas que usamos. Por lo tanto si "alguien" pretende usar la identidad de Euler como prueba de la presencia de un gran arquitecto divino nos está diciendo que los propios axiomas nos son dados por este arquitecto divino, lo cual es absurdo puesto que, como hemos dicho antes, son arbitrarios; puesto que los elegimos en función de nuestras necesidades.

Ya de paso os recomiendo a todos vosotros/as una serie de 4 geniales documentales de la BBC llamados "La historia de las Matemáticas" son muy recientes, interesantes y amenos.

Saludos.


Recently my differential equations teacher showed us the following formula, called Euler's identity:
As can be seen the expression combines some of the most important number in mathematics: zero, unity, the number e, pi and the imaginary unit i, and also in very elegant way, using the most important mathematical operations (addition, multiplication and power) and combining all with equality. It's an incredible mathematician juggling.

Then he said there are "people" (referring to him, of course) who thought that this equality is a proof of a higher order in the universe and therefore the presence of a great architect or God (which now gives me an opportunity to talk about math.)

I am not an expert in math, but I know something about the basis of this discipline.

To begin with, mathematics rely on a set called axioms. The axioms define minimum and arbitrary rules from which everything else follows. In Euclidean mathematics, which are that we use, some axioms are: "the shortest distance between any two points is always a straight line" or "the angles of a triangle always add up to 180 º." Another element that we use are numbers, symbols created by man to quantify reality.

But keep in mind that both the numbering system, as the axioms are arbitrary. In the case of the numbering system is not as important as both decimal and binary form a ball over another ball are two balls (at least with our axioms). But in the case of modifying the axioms, theorems and subsequent deductions change can be brutal. For example, we can now say "the shortest distance between two points is a curved line" from our perspective may seem absurd, but changes like this have led to new mathematical models such as Lobachevky, Bolyai and Riemann, who in fact have many real world applications, although their axioms seem to us absurd.

Now my point is: all the theorems are contained in the axioms. That is, since the method of solving a quadratic equation to the laws of derivation and integration, are included in the axioms.
Let me put it another way, if it is difficult to understand. Suppose we have two premises: "People living in Madrid are high" and "John lives in Madrid", and draw our conclusions "John is tall." Our conclusion was already included in our premises the same is true in mathematics, the theorems are only conclusions of the axioms (or in his absence, the theorems are taken from other theorems whose origins are the only axioms.)

Which means that Euler's identity is included in "the shortest distance between two points is a straight line" and the other axioms we use. So if "someone" wants to use Euler's identity as evidence of the presence of God is telling us that the axioms themselves are given to us by the Divine Architect, which is absurd because, as we said before, they are arbitrary, and chosen according to our needs.

By the way I recommend to all of you a series of 4 great documentaries on the BBC called "The Story of Mathematics" which is very recent, interesting and fun.

See you.

1 comentario:

  1. NOTA: tengo que revisar este post en función de nuevos conocimientos sobre las matemáticas que tengo que revisar; por lo que en la práctica consideren este post fuera de servicio
    Gracias

    ResponderEliminar

¿Algo que decir? // Something to say?