Qu es un nmero?

No parece que exista disciplina cientfica cuyo objeto sea tan difcil de precisar como la matemtica. Precisamente por ello es doblemente importante establecer un buen punto de partida: unas bases desde las que edificar el edificio entero. Histricamente las bases iniciales fueron geomtricas. La matemtica griega era bsicamente la ciencia de las figuras geomtricas. En el siglo III antes de nuestra era Euclides propuso un sistema riguroso basado en unos pocos postulados (cinco axiomas), desde los cuales edificar toda la teora geomtrica con el auxilio de las leyes de la lgica de primer orden. Las afirmaciones cuya veracidad se probaba a partir de los axiomas eran teoremas. Estas bases permanecieron firmes hasta el siglo XVII, en el que Newton y Leibniz desarrollan el clculo, atendiendo a demandas concretas de la fsica del momento. Las nociones de lmite en las que se basaban supona una desgeometrizacin de la teora matemtica, aunque an las derivadas eran concebidas como pendientes y las integrales como reas: se notaba la influencia geomtrica de antao. Cuando Cauchy y Weierstass, hacia 1.870 reformulan las definiciones de lmite sin el auxilio de las incmodas cantidades que tienden a cero; cuestin que nadie entenda en realidad, y consiguen la definicin psilon-delta que usamos actualmente, el clculo llega a su mayora de edad, y el concepto geomtrico queda sustituido por el concepto de nmero (nmero real, concretamente). Pero la cosa no par ah: las verdaderas bases deban ser ms generales que los nmeros reales. Existe una maravillosa historia que cuenta cmo los nmeros reales son construidos desde los racionales, utilizando sucesiones de racionales (sucesiones de Cauchy); los racionales desde los enteros, y los enteros desde los naturales. Kronecker dira, resumiendo la situacin: Dios cre los nmeros naturales, el resto es obra del hombre Estos nmeros naturales surgan como entidades radiantes, primigenias de un puado de axiomas: los cinco axiomas de Peano :

1.- 0 es un nmero 2.- El siguiente de todo nmero es un nmero 3.- Nmeros distintos tienen siguientes distintos

4.- 0 no es el siguiente de ningn nmero 5.- Si una determinada propiedad es cumplida por el 0, y si es cumplida por un nmero tambin es cumplida por el siguiente, entonces es cumplida por todo nmero. Parecera que estos cinco axiomas concentran la totalidad de la matemtica, dado que desde ellos se puede construir todo... y sin embargo no es as. Volvieron a cambiar las bases, y as como de los objetas geomtricos pasaron a los nmeros reales y de estos a los naturales, ahora las bases se trasladaban a una teora nueva que surga de la mente de George Cantor : la teora de conjuntos. Esto supone que los nmeros naturales; el cero, el uno, el dos, etc deben ser definidos en base a conceptos an ms generales. Sin embargo, esto no parece cuestin fcil: cmo definir el cero sin caer en una peligrosa circularidad introduciendo el concepto a definir en la definicin? No parece fcil. Decir que el cuatro es el conjunto de todos los conjuntos de cuatro elementos no es serio, por motivos que saltan a la vista. Cmo podemos definir un nmero natural desde la teora de conjuntos de forma que no caigamos en una circularidad inaceptable?

Resolver una ecuacin

Una ecuacin es un enunciado matemtico que tiene dos expresiones separadas por un signo igual. La _expresin de la izquierda del signo igual tiene el mismo valor que la _expresin de la derecha. Una o ambas expresiones pueden contener variables. Resolver una ecuacin implica trabajar con las expresiones y encontrar el valor de las variables. Un ejemplo podra ser: x = 4 + 8 Esta ecuacin se puede resolver sumando 4 y 8 para encontrar que x = 12.