CRISIS DE LA FUNDAMENTACIN DE LAS MATEMTICAS

Entre la segunda mitad del siglo XIX y principios del siglo XX, ciertos personajes y/o
escuelas matemticas se adentraron en la ardua tarea de analizar la matemtica misma
como ciencia, es decir, en cuanto lo que hace que ella sea lo que es, no como disciplina
prctica para lo cual no hay duda de su existencia y verosimilitud, sino desde los adentros
de sus formulaciones tericas de fundamentacin, para lo cual se encontraron con ciertas
inestabilidades y problemas de no fcil desarrollo, ni mucho menos de salida.
Como es comn, en tiempos de crisis, se logran nuevos avances en diversos campos donde
ella se evidencia y desarrolla. La matemtica no fue excusa. El planteamiento de dichos
problemas permiti explorar otros campos de las matemticas a partir de la revisin de las
nociones de suma, resta, infinito, y por sobretodo lo ms bsico de lo que se sirven las
matemticas, la nocin de nmero; permiti tambin un considerable avance en el campo
del algebra y en las soluciones de sus ecuaciones, donde la teora de conjuntos hizo un
valioso aporte; permiti tambin que la geometra, explorada desde sus fundamentos, se
diera al paso de nuevos conocimientos y descubrimientos del mundo respecto a sus
postulados, para lo cual se dio paso a nuevas geometras, no euclidianas.
El presente ensayo se adentra en el estudio de tales crisis y las discusiones y postulados que
se dieron al abordar tales problemas, problemas que como se ver son del lenguaje
matemtico. Empresa en la cual se adentraron importantes representantes, aqu se abordar
concretamente desde los postulados de Georg Cantor con la teora de conjuntos y los
nmeros transfinitos, desde la perspectiva logicista de Gottlob Frege y desde la formalidad
de los axiomas de David Hilbert.

TEORA DE CONJUNTOS.
A finales del siglo XIX, Cantor desarrolla toda su teora sobre el estudio de los nmeros
infinitos en la medida que los trata desde la teora de conjuntos. Con lo anterior se pretende
decir que, Cantor, crea un sistema por medio del cual se puedan crear los conjuntos y a
partir de ellos definir el concepto de infinito. Para desarrollar esto, defini el concepto de
cardinalidad, siendo este:
La cardinalidad o el nmero cardinal de M es la nocin general, que con
ayuda de nuestro intelecto surge del conjunto M, y que es independiente de la
ndole de sus distintos elementos m y de su orden (Cantor, 1895, pg.1)
Con lo anterior se concibe que la cardinalidad se da, cuando para dos conjuntos tienen el
mismo nmero de elementos en cada uno independientemente, de manera que al relacionar
a cada elemento de un conjunto le pertenezca uno y solo uno del otro conjunto y viceversa.
Con esta definicin de cardinalidad, Cantor define el concepto de conjunto infinito como
aquel conjunto en el cual existe un subconjunto con la misma cardinalidad, con lo cual
descubre que existen diversis infinitos y unos ms grandes que otros. Esta afirmacin en s
misma rompe con uno de los postulados ms bsicos de la lgica y es el principio de no
contradiccin, ya que no es normal que un subconjunto pueda poseerla misma cantidad o
ms elementos (cardinalidad) que el conjunto al que pertenece, es decir que la parte no
puede ser mayor o igual al todo, adems que se rompe con el principio bsico y
fundamental de la antisimetra de los nmeros. Con esto, y el desarrollo de sus teoremas,
luego Ova a afirmar que existiendo infinitos ms grandes que otros, por lo tanto existen
nmeros transfinitos, es decir, que no es igual a ningn nmerpo finito (Cantor, pg. 10),
el cual surge cuando se le aade un nuevo elemento, cualquiera que sea, a un nmero
infinito, nmero que Cantor llam el lef cero. Y si as, sucesivamente se siguen
aadiendo nmeros, se tentrn numeros transfinitos ms grandes que otros, siendo estos
lef uno, dos, tres hasta el ifinito y luego al transfinito.
Como se puede ver, tal teorma se convierte en un laberinto sin salida, los nmeros se
amplan tanto que no pueden definirse. Como primera conclusin, vease la importancia de
Cantor en esta crisis, parece ser que es precisamente con l que se abre la discusin de la
fundamentacin de las matemticas, pues como aqu se ha visto, cmo hacer matemticas
si ella no puede definirse a si misma? Con este importante autor y su teora de conjuntos,
empieza a vislumbrarse que el problema de la matemtica es un problema de metalenguaje.
Hay que definir la matemtica desde sus comienzos, cmo hacerlo si nisiquiera puede
definirse su elemento fundamental: el nmero.

LOGICISMO
Uno de los pensadores ms representativos, que se sumerge en tratar tales problemticas,
iniciadas ya con Cator, es Gottlob Frege. Se llama logicismo el sistema de Frege
precisamente porque la tentativa de este autor es, ya identificado el problema y tambin
aceptado el hecho de que la matemtica es incapaz de definirse a si misma, an en sus
elementos ms fundamentales de los cuales se sirve para su desarrollo, poder desarrollar su
sistema a partir de la lgica. Lo que en definitiva este autor intenta realizar es definir la
matemtica a partir de parmetros lgicos, as, la matemtica es en definitiva una parte de
la lgica que respeta, responde, funciona y se fundamenta segn leyes esenciales lgicas.
Lo primero que hace Frege es definir el nmero, inicia diciendo que stos no son:
cosas materiales, ni conjuntos, montones o configuraciones de cosas materiales; y
no son propiedades de cosas materiales. Pero tampoco son algo subjetivo. Yno se
confunden con los signos que se refieren a ellos (Frege, 1972).
Con ello, Frege pretende decir que los nmeros cuantifican, que estos no son producto de la
mente, sino que son una porcin de la realidad; estos son puras posibilidades de agrupar las
cosas. De manera que, el problema, en definitiva, que plantea Frege es que no se han sabido
utilizar bien las matemtica ,como en el caso de los nmeros, se han definido mal, se han
usado de manera equvoca y por ello h conducido a contradicciones. Por tanto, lo que hay
que hacer, es definir sus conceptos ms bsicos, bajo un sistema de proposiciones que
respeten los principios ms fundamentales de la lgica.
Segn lo anterior y contrario a Kant, Frege postula que las proposiciones matemticas no
son sintticas a priori, sino que son analticas, esto puede evidenciarse desde la misma
definicin del nmero. Con ello, lo que se pretende postular es que las matemticas ya
estn dadas, que el hombre nada ms nuevo puede decir respecto a ellas, lo nico que puede
hacer es describirlas.
En esta nocin de nmero que desarrolla Frege, se refiere a l como una categora, es decir
que aquello que define a los nmeros es una relacin de pertenencia, por eso es analtico,
porque la capacidad que tiene el sujeto de contener al predicado es una relacin de
pertenencia., siendo eso los nmeros: categoras. Como se puede ver, el avance de Frege
respecto al problema de las matemticas es que si bien, Cantor resolvi que las matemticas
presntan contradiccines y lo desarrollo desde la teora de conjuntos, ahora Frege postula
especficamente que el problema de las matemticas es un problema de lenguaje, y con ello
intruduce un metalenguaje, es decir, las proposiciones lgicas que puedan redefinir la
matemtica desde sus raices. Cabe acotar, que el sistema de Frege fracasa por un postulado,
con la famosa paradoja de Russell, en la cual se estableca que en el sistema logicista de
Frege se hallaba una contradiccin y se viola el principio de tercero excluido.

FORMALISMO
La siguiente corriente que va a analizar estos postulados es el formalista, su mayor
representante es David Hilbert, ste, al igual que Frege consideraba que la matemtica ha
entrado en un estado de crisis en sus fundamentos. Hilbert comparte la idea de que las
matemticas no deben ser sintticas a priori, sino que son analticas. Para l, ello va a
significar que la matemtica debe ser reducido a un sistema de proposiciones y a partir de
ellas encontrar principios desde los cuales puedan deducirse las definiciones de las
conceptos de manera axiomtica.

Hasta aqu puede decirse que Hilbert, junto con Frege, comparte la idea de que la salida al
problema de la fundamentacin de las matemticas es salir del lenguaje matemtico
establecido, es decir, realizar un metalenguaje. Es decir que, el modo de solucionar el
problema no es haciendo matemticas sino sistematizandolas.
El planteamiento fundamental de Hilbert se reduce al hecho de que, para este, contrario a
Frege, la lgica no sirve para solucionar tal problema, puesto que se ha mostrado que la
lgica aristotlica y la lgica proposicional est mal, es decir, (como lo intuy Cantor y
como lo demostr Russell) que sta conduce a contradicciones y viola, aplicado a las
matemticas, sus principios ms fundamentales. Por ello, Hilbert intenta resolver el
problema a partir del mtodo axiomtico:
 El problema que entonces se nos planta es el de demostrar la consistencia y
completud de estos axiomas. En otras palabras, tenemos que probar que la
aplicacin de esos axiomas no puede nunca conducirnos a contradicciones y,
adems, que el sistema de los axiomas resulta suficiente para demostrar todos los
teoremas de la geometra (Hilbert, pg. 18)
Este mtodo, supone demostrar, por tanto, la consistencia y completud de los axiomas, la
consistencia significa, que las proposiciones y axiomas estn libres de toda contradiccin; y
la completud se refiere al hecho de que cualquier proposicin matemtica pueda deducirse
de tales axiomas. Con ello se pretende que cada trmino matemtico tenga un significado
bien definido y para ello habra que redisear toda la matemtica, es decir, crear de nuevo
los smbolos con los cuales se desarrolla y se fundamenta la matemtica. En definitiva,
Hilbert propone, crear tales smbolos, otorgarles a cada uno su significado por medio de
proposiciones, para despus axiomatizarlos, de manera que cumplan los tres principios
mnimos de la lgica, que son: el principio de identidad de los indiscernibles, el de tercero
excluido y el de no contradiccin.
Con estos tres postulados respecto a los intentos de dar una salida al problema de la
fundamentacin de las matemticas, puede verse que hasta aqu, el problema no es de la
matemtica en cuanto ciencia prctica o material, es decir, la aplicacin de las matemticas
funciona, es verosmil; su verdadero problema es formal, es de fundamentacin, aqu la
pregunta ya no es si la matemtica es verdadera, sino que sindolo, por qu lo es?

Bibliografa
Cantor, G. (1895). Contribuciones a los fundamentos de la teora de conjuntos transfinitos.
En G. Cantor, Contribuciones a los fundamentos de la teora de conjuntos
transfinitos (pg. 1).
Frege, G. (1972). Fundamentos de la Aritmtica. En G. Frege, Fundamentos de la
Aritmtica (pgs. 5-6). Barcelona: Laia/barcelona.
Hilbert, D. (1993). Fundamentos de las Matemticas. En D. Hilbert, Fundamentos de las
Matemticas (pg. 18). Mxico: Mathema.

YECID FRANCISCO BLANCO DUARTE

LGICA III
LICENCIATURA EN FILOSOFA
UNIAGUSTINIANA
2016 - II