ACERCA DE LA EPISTEMOLOGA DE LA

MATEMTICA
Al parecer, el primero en haber utilizado el trmino epistemologa pudo ser J. F. Ferrier (Institutes of Metaphysics 1854). Sin embargo, en Alemania exista, por lo menos desde 1791, la expresin Teora del conocimiento, que es lo que etimolgicamente designa el vocablo forjado con componentes griegos. Epistemologa es la rama de la filosofa que estudia el origen, la estructura, los mtodos y la validez del conocimiento, dice el Diccionario de Filosofa, de Runes. Una buena descripcin de epistemologa de la matemtica es la de conocimiento del conocimiento matemtico, donde desde luego, conocimiento desempea el papel que le corresponde en dos niveles diferentes. As, epistemologa toma un cariz crtico, que no ha de causar extraeza dado que la filosofa es ante todo un cuestionamiento de cuanto tenga que ver con las creaciones humanas. No hay acuerdo en cuanto a las partes de la epistemologa, dado que los puntos que se analizan difieren segn la disciplina que se estudia. As, al tratar la epistemologa de la matemtica es preferible enfocar los siguientes cinco aspectos: gnesis, estructura, funcin, mtodo, problemas. Se hace, enseguida, un somero comentario acerca de cada uno de ellos. Se menciona, inicialmente, la historia de los primeros indicios de matemtica. Las sociedades humanas incipientes se desarrollan si se organizan. La distribucin de tareas, de contribuciones, de tierras, de granos, dan origen a la aritmtica y a una geometra para las necesidades del comercio como decan despectivamente los griegos ms ilustres. As fue en el centro de Europa, en Mesopotamia, en Egipto, en India, en China, en el Mxico de aztecas o de mayas, o en el Per de los incas. Difcil establecer la antigedad de tales procedimientos utilitarios. Puede aseverarse que surgen en cada una de tales civilizaciones segn su peculiar capacidad Memorias XV Encuentro de Geometra y III de Aritmtica prctica y de interiorizacin. Solamente, los griegos pensaron realmente en una organizacin secuenciada de tales conocimientos. Supuestos algunos de ellos, los griegos logran obtener los dems, mediante reglas fijas que paulatinamente van a constituir la lgica. Quizs fue ms capital para la constitucin de la matemtica el que, atenindose a tales reglas fijas, los griegos alcanzan conocimientos de los que no disponan. Estos dos pasos primordiales impulsaron el desenvolvimiento de los principios hasta convertirse en un procedimiento inagotable. Cada nuevo conocimiento va sugiriendo nuevas cuestiones interesantes. Cuando no haya ms preguntas en una vertiente determinada, la rama correspondiente de la matemtica se extingue. El segundo aspecto epistemolgico tiene que ver con la estructuracin que hayan alcanzado las respuestas a una secuencia de cuestiones. Actualmente, el enfoque ms sistemtico de lo que se conoca en matemtica hacia mediados del siglo XX, es el expuesto mediante estructuras matemticas por la escuela francesa llamada Bourbaki. El tercer aspecto epistemolgico tiene que ver con la funcin de la matemtica. Los seres humanos aprenden para desempearse convenientemente en la sociedad en la que conviven. Diversos adiestramientos estn a la disposicin de individuos de un conglomerado, generalmente con capacidades muy diferentes: literarios, artsticas, manuales, artesanales, filosficas, altamente tcnicas algunas, otras eminentemente prcticas. Entre las habilidades que requieren un dominio ms refinado por la precisin con la que hay que aplicar sus procedimientos est la matemtica. Es una actividad, por excelencia, educativa; empero, no es la nica; puede ser mucho ms agradable lograr la maestra en ajedrez; no obstante, la matemtica, que posee tambin un cariz ldico, es utilizable en grado sumo en diversas tareas que hay que resolver para la organizacin de una sociedad; es la razn de que la matemtica sea asignatura indispensable en todo plan de estudios y no lo sea el ajedrez. Una de las posibilidades de la

comunicacin entre los seres humanos, es la de ocuparse de enunciados que se siguen necesariamente de enunciados anteriores. A ello se dedica la matemtica. Su preocupacin mayor, no son las cosas como son, ello lo estudian otras ciencias, sino las cosas como deben ser, si se prefijan ciertas reglas. Estos barruntos de argumentacin llevan a mostrar que la matemtica en un plan de estudios no es cuestin de lujo o de eleccin de elites sino instrumento de trabajo indispensable mirando a la sociedad humana desde diversos ngulos. Un cuarto aspecto es el mtodo, igualmente desde diferentes puntos de vista. El universal que indagaba Descartes para conducir bien su razn y para perquisicionar (indagar, investigar) con xito en la filosofa y en las ciencias. Un matemtico, en principio, ha de ocuparse o en ensear su ciencia o en resolver problemas que pueden ser de poca o de mucha dificultad. Los de poca, tienen mtodos conocidos de solucin; para los de gran dificultad puede que haya que inventar la manera de resolverlos. Por otra parte, Hilbert mismo consideraba paradigmtica, es decir, digna de imitacin, la actitud del matemtico frente a una dificultad. Lo mismo han pensado lgicos como Russell. Y diferentes filsofos elaboraron sus sistemas mirando de reojo hacia la matemtica. En particular Kant discurri ampliamente acerca de la constitucin misma de la matemtica para poder decidir sobre su pregunta capital de si la metafsica es ciencia, as como de la posibilidad para la filosofa de inspirarse en los mtodos eficientes de la matemtica con el fin de que en metafsica no se contentaran con crecimientos como los de la espuma sino que persiguieran adquisiciones duraderas, como Elementos, de Euclides. Finalmente, hay el aspecto de los problemas. Los hay estrictamente epistemolgicos: fundamento lgico, prdida de la certidumbre, naturaleza de la demostracin, relacin entre matemtica y experiencia, estatuto ontolgico de los entes matemticos. Igualmente digna de consideracin epistemolgica es la actitud del matemtico al hacer consistir su ciencia en el desenvolvimiento de ella mediante solucin de problemas, segn la concepcin de Hilbert. Cun lejos est el profano en matemtica de entender lo que hace todo el da el matemtico cuando lo considera inactivo porque el profano cree que la matemtica se reduce a aquellas operaciones en las que sola naufragar en sus aos de educacin bsica y media. Si solo eso fuera la matemtica, ms valdra que no existiera. Nociones de epistemologa o filosofa de la matemtica son indispensables para los matemticos en menesteres ms all de los de definicin, teorema, demostracin y hace que se pregunten: Cmo llegu hasta la matemtica? Por qu contino en ella? Cul es la funcin social o acadmica de mi actividad como docente o como investigador? Cules son los problemas, que no puedo obviar, en cuanto al alcance del conocimiento matemtico? Cules son los lmites de mi ciencia? Cul es la posicin de la matemtica entre las otras ciencias?

Alberto Campos
Profesor Universidad Nacional de Colombia Bogot D.C, Colombia