Tiene real importancia la pregunta acerca de los fundamentos de la

matemtica?
Por Juan A. Gonzlez G.
Estudiante de Ingeniera Matemtica.

A partir de la segunda mitad del siglo XIX, surgieron varios resultados provenientes del
anlisis matemtico que contradecan a la intuicin geomtrica, estos resultados motivaron a
los matemticos de ese entonces a reflexionar si la ciencia que estudiaban posea
fundamentos lo suficientemente slidos como para confiar en lo que de ella se deduca. La
experiencia prctica acerca de los resultados matemticos aplicados a otras reas del
quehacer humano respalda la certeza de esta ciencia, y hace dudar si en realidad es tan
importante el preguntarse acerca la correccin de la matemtica o, si por el contrario, esto
es un mero juego de abstracciones y disquisiciones filosficas que en nada afectan al
desarrollo de la ciencia aplicada. Por otra parte, un desarrollo vertiginoso de la matemtica
a partir de estas preguntas durante el siglo XX provoca una revolucin no slo en la filosofa
y en la matemtica misma, si no en disciplinas totalmente aplicadas al desarrollo de la
tecnologa, como lo son la electrnica digital y la informtica; esto lleva a cuestionarnos si
la investigacin fecunda de esta rea del conocimiento es o no provechosa para fines
prcticos, a pesar de parecer una lucha, no dira perdida, si no, una que quizs no valga la
pena pelear.

Corra el siglo XIX y eminentes matemticos crean en la conjetura de que una funcin
continua (intuitivamente, una funcin cuyo grfico puede ser dibujado de un solo trazo, sin
levantar el lpiz del papel. Ver figuras 1 y 2) deba ser diferenciable (intuitivamente, una
funcin cuyo grfico es lo suficientemente suave como para trazar una recta tangente a ste
de manera nica. Ver figuras 3 y 4) excepto quizs en aislados puntos de su dominio.

Figuras 1 y 2:
Funcin continua y
funcin discontinua
en x=x1

Figuras 3 y 4: Funcin
continua diferenciable en x=a,
y funcin continua no
diferenciable en x=0.

Hacia 1872 Karl Weierstrass inventa un ejemplo de funcin continua no diferenciable en

ningn punto, tirando por la borda el sentido comn dictado por la intuicin geomtrica.
Unos aos despus, en 1890 Giuseppe Peano logra inventar una curva que llena un cuadrado,
es decir, una funcin continua que tuerce un intervalo o trazo (objeto de una sola
dimensin) de manera tan intrincada, que logra pasar por todos los puntos de un cuadrado
(objeto de dos dimensiones), otro golpe a la intuicin geomtrica.
Estos dos ejemplos no son los nicos: en 1874 Georg Cantor, demuestra que el conjunto de
los nmeros naturales tiene la misma cantidad de elementos que conjunto de todos los
nmeros algebraicos, aquellos que son raz de un polinomio con coeficientes enteros (Notar
que todos los nmeros racionales y todas las races cuadradas, cbicas, etc. son ejemplos de
nmeros algebraicos), el mismo ao Cantor demuestra que cualquier intervalo de nmeros
reales es ms numeroso que el conjunto de los nmeros naturales, y va ms all: en 1878
Cantor logra demostrar que el conjunto de puntos contenidos en cualquier segmento de recta
es equinumeroso con el conjunto de puntos contenido en cualquier cuadrado, cubo, o en
general, en cualquier hipercubo de n dimensiones con n cualquier nmero natural. Esto
contribuy a agravar la llamada crisis de la intuicin matemtica en el ltimo tercio del siglo
XIX. Por una parte, los hallazgos de Cantor muestran que hay dos clases de infinito: el
infinito numerable de los nmeros naturales (y de los enteros, racionales y algebraicos) y el
infinito mayor de los nmeros reales (o de cualquier segmento de recta) tambin llamado el
continuo. Por otra parte, la cantidad de dimensiones del continuo, sean 1, 2, 3, etc. no afecta
al nmero de elementos de ste (todas tienen el mismo nmero de elementos que los reales).
Ms an, con su investigacin sobre los nmeros ordinales y cardinales, Cantor lleva el
concepto de infinito al nivel de una cantidad numrica definida, con la cual se pueden realizar
operaciones aritmticas, lo que va totalmente en contra de la acepcin de infinito que se usaba
hasta ese entonces en matemtica: el infinito era un potencial inalcanzable (lo infinitamente
grande o infinitamente pequeo), nunca una cantidad bien definida, y de hecho, Cantor va
an ms all, y a partir de su teorema que enuncia que el conjunto potencia de un conjunto
dado tiene estrictamente ms elementos que ste, muestra que hay una cantidad infinita de
infinitos cada cual mayor que el anterior.
Para lograr estas proezas Cantor se vale de una incipiente rama de la matemtica para ese
entonces que hoy llamamos teora de conjuntos, sta pareca ser la respuesta a la crisis de la

intuicin, con la cual se lograra fundamentar toda la matemtica (incluyendo la geometra)

a travs de las propiedades de los nmeros mismos, renunciando as a la fallida intuicin
geomtrica.
Esto en realidad no sera tan sencillo: antes del 1900, ya se haban hecho intentos por
formalizar la aritmtica a travs de la lgica (disciplina filosfica fundada por Aristteles, y
llevada a la matemtica por George Boole en trabajos de 1847 y 1854), armados de la nueva
teora de conjuntos. Primero Gottlob Frege (1884), quien con su trabajo dio origen a lo que
hoy conocemos como lgica matemtica, luego Richard Dedekind en 1888 (creador del
primer modelo de los nmeros reales como conjuntos de racionales, las as llamadas
cortaduras de Dedekind), y tambin Giuseppe Peano (1889) realizan sendos intentos de
axiomatizar la aritmtica a travs de la lgica, usando como herramienta la reciente y
controvertida teora de conjuntos que ya comenzaba a tener entre sus detractores a grandes
matemticos de la poca, primero Kronecker y Poincar hacen notar sus objeciones respecto
a esta nueva matemtica, luego les seguiran Brower y Weyl, y ya entrado el siglo XX
influyentes filsofos tales como Wittgenstein y Lorenzen tambin haran sus reparos en
cuanto a este intento de fundamentar la matemtica 1. Para agravar ms la situacin del
conjuntismo, uno de sus defensores, el filsofo Bertrand Russell, en 1901 encuentra una
grieta en la formidable construccin de Frege, que se apoyaba en el concepto de conjunto
introducido por Cantor, de hecho, Russell deja en evidencia que el concepto de conjunto lleva
a situaciones contradictorias o paradjicas si se acepta as sin ms. Para Cantor (y todos
quienes en aquella poca usaban el concepto de conjunto en matemtica), conjunto era la
coleccin de elementos que cumplan una cierta propiedad, por ejemplo el conjunto de los
nmeros pares o el de las butacas de un teatro, es decir un conjunto era la extensin de un
concepto o idea. Russell, por su parte, crea el conjunto = {: }, el conjunto de todos
los conjuntos que no pertenecen a s mismos. La pregunta que se hizo Russell es ? ,
no es difcil darse cuenta que al tratar de responder esta pregunta llagamos a la as llamada
paradoja de Russell: si, y slo si (si pertenece a s mismo debe cumplir con
la propiedad de no pertenecer a s mismo y vice-versa).
Llegado a este punto, pareca ser que los detractores del conjuntismo haban ganado la batalla
y, peor an, no haba solucin a la crisis de la intuicin, el mismo Russell junto al matemtico
Alfred Whitehead se embarcan en la titnica tarea de fundamentar la matemtica (esta vez
sin contradicciones) creando la teora de los tipos lgicos en su monumental obra Principia
Mathematica, compendio de tres libros publicados entre 1910 y 1913. Otro intento por
deshacerse de las paradojas (sin tanto aparataje como los principia) es la teora axiomtica
de conjuntos de Ernst Zermelo. Pero todava quedaba la cuestin de si estas teoras eran
consistentes o podan llevar a contradicciones tales como la paradoja de Russell.
Hacia 1920 David Hilbert se embarca en un nuevo programa de fundamentacin de las
matemticas que asegurara la consistencia de los axiomas de la aritmtica. Este fin era de
1

Para explicar a grandes rasgos las objeciones de estos matemticos y filsofos dir que ellos adoptan una
posicin que podramos llamar constructivista, es decir, para aceptar que un objeto existe, hay que exhibirlo, o
por lo menos dar un mtodo para construirlo, en oposicin a quienes aceptan que un objeto existe slo por el
hecho que se ha demostrado que no puede no existir.

vital importancia para todo el edificio matemtico ya que la consistencia de otras teoras
matemticas descansaran en la no posibilidad de contradiccin de la aritmtica, me explico:
Lobachevsky, por ejemplo, haba probado que su geometra no euclidiana no poda llevar a
contradicciones a menos que la geometra euclidiana lo hiciera. El mismo Hilbert haba
probado (1899) que su axiomatizacin de la geometra euclidiana no era inconsistente a
menos que la teora de los nmeros reales lo fuera; dado que la representacin de los reales
se basaba en conjuntos de racionales, y stos a su vez en conjuntos de enteros, que a su vez
se representaban por conjuntos de naturales, las pruebas de consistencia de la matemtica se
basaran en la prueba de consistencia de la aritmtica.
Al parecer Hilbert subestim la tarea, ya que, las investigaciones de Kurt Gdel (1930)
mostraran que no es posible demostrar la consistencia de la aritmtica (a partir de la
axiomatizacin de la aritmtica misma). A pesar de que el programa de Hilbert pareca
destinado al fracaso, en 1935 y 1938 Gerhard Gentzen publica sus pruebas de consistencia
de la aritmtica, pero para esto hubo que cambiar la reglas del juego y aceptar tcnicas que
hasta ese momento estaban prohibidas; en resumidas cuentas, Gentzen tuvo que salirse de la
aritmtica misma para poder probar su consistencia a travs de una teora mucho mayor
usando mtodos transfinitos que haban sido evitados hasta el momento por salirse de la
intuicin de la experiencia fsica humana.
Llegado a este punto es lcito el preguntarse por qu gastar tantos esfuerzos en demostrar
que la matemtica es consistente si esta funciona? o tambin qu gana la ciencia y el
desarrollo de la tecnologa con esta bsqueda? No sera mejor usar todos estos esfuerzos en
algo que tenga una aplicacin prctica?
Es indudable que todos estos esfuerzos hechos por grandes matemticos casi se salen de la
matemtica misma para entrar en la rama de la filosofa conocida como lgica, en efecto,
mucha de la matemtica creada para tales fines se podra llamar metamatemtica. No
obstante, los progresos realizados por estos cientficos llevaron el pensamiento matemtico
ms all de lo que nadie haba logrado hasta entonces, tambin se desarrollaron nuevas ramas
de la matemtica como la lgica matemtica y la teora de conjuntos, y de la metamatemtica
como la teora de la prueba. Adems de lo anteriormente mencionado, los progresos debidos
a este esfuerzo combinado de tantos cientficos llevaron a adelantos tecnolgicos como la
electrnica digital (compuertas lgicas), y al desarrollo de la informtica (mquinas de
Touring), asimismo, el posterior desarrollo de la lgica llev a adelantos en ciencias de la
computacin (manejo de bases de datos inconsistentes), y tambin a tecnologas tan
cotidianas como la lgica difusa usada en las lavadoras automticas de muchos hogares.
Creo que el esfuerzo por fundamentar la matemtica, desde Dedekind, Cantor, Frege y Peano,
pasando por Russell y Whitehead, Zermelo, Hilbert, Gdel y por tantos otros como Von
Neumann, Touring, Tarski, Cohen y muchos ms, nos muestra que el investigar ciertas reas
del conocimiento consideradas como no aplicadas, en realidad es de suma importancia, y en
ltimo trmino, casi con seguridad nos llevar a nuevas aplicaciones prcticas, insospechadas
al momento de emprender esta tarea, a pesar de la desconfianza de los ms pragmticos.

Bibliografa.

Torretti, R. (1998). El paraso de Cantor. 1 edicin. Santiago. Universitaria.

Wikipedia, la enciclopedia libre. Wikimedia foundation, Inc. Recuperado 27 de julio

2016.

https://es.wikipedia.org/wiki/Filosof%C3%ADa_de_las_matem%C3%A1ticas
https://es.wikipedia.org/wiki/Funci%C3%B3n_de_Weierstrass
https://es.wikipedia.org/wiki/Giuseppe_Peano
https://es.wikipedia.org/wiki/Teorema_de_Cantor
https://es.wikipedia.org/wiki/Ernst_Zermelo
https://es.wikipedia.org/wiki/David_Hilbert
https://es.wikipedia.org/wiki/Teoremas_de_incompletitud_de_G%C3%B6del

Moreno, L. Weierstrass: Cien aos despus. Miscelnea matemtica 25,1997

recuperado de

http://miscelaneamatematica.org/Misc25/moreno.pdf