ACERCA DE LA EPISTEMOLOG DE LA IA

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

acampos-s@yahoo.com.mx Al parecer, el primero en haber utilizado el trmino epistemologa pudo ser J. F. e Ferrier (Institutes of Metaphysics 1854). Sin embargo, en Alemania exista, por lo menos desde 1791, la expresin Teora o del conocimiento, que es lo que etimolgicamente designa el vocablo forjado con o componentes griegos. Epistemologa es la rama de la losofa que estudia el origen, la estructura, los mtodos y la validez del conocimiento, dice el Diccionario de Filosof de Runes. e a, Una buena descripcin de epistemologa de la matemtica es la de conocimiento o a del conocimiento matemtico, donde desde luego, conocimiento desempea el a n papel que le corresponde en dos niveles diferentes. As epistemologa toma un , cariz crtico, que no ha de causar extraeza dado que la losofa es ante todo un n 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 dieren segn la disciplina que se estudia. u As al tratar la epistemologa de la matemtica es preferible enfocar los siguientes , a cinco aspectos: gnesis, estructura, funcin, mtodo, problemas. e o e Se hace, en seguida, un somero comentario acerca de cada uno de ellos. Se menciona, inicialmente, la historia de los primeros indicios de matemtica. Las a sociedades humanas incipientes se desarrollan si se organizan. La distribucin de o tareas, de contribuciones, de tierras, de granos dan origen a la aritmtica y a una e geometra para las necesidades del comercio como decan despectivamente los griegos ms ilustres. As fue en el centro de europa, en Mesopotamia, en Egipto, a en India, en China, en el Mxico de aztecas o de mayas, o en el Per de los incas. e u Dif establecer la antigedad de tales procedimientos utilitarios. Puede asecil u verarse que surgen en cada una de tales civilizaciones segn su peculiar capacidad u

Memorias XV Encuentro de Geometr y III de Aritmtica a e

prctica y de interiorizacin. a o Solamente, los griegos pensaron realmente en una organizacin secuenciada de o tales conocimientos. Supuestos algunos de ellos, los griegos logran obtener los dems, mediante reglas jas que paulatinamente van a constituir la lgica. Quiz a o a fue ms capital para la constitucin de la matemtica el que, atenindose a tales a o a e reglas jas, 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 a determinada, la rama correspondiente de la matemtica se extingue. a El segundo aspecto epistemolgico tiene que ver con la estructuracin que hayan o o 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, a a a es el expuesto mediante estructuras matemticas por la escuela francesa llamada a Bourbaki. El tercer aspecto epistemolgico tiene que ver con la funcin de la matemo o a tica. Los seres humanos aprenden para desempearse convenientemente en la n sociedad en la que conviven. Diversos adiestramientos estn a la disposicin de a o individuos de un conglomerado, generalmente con capacidades muy diferentes: literarios, artsticas, manuales, artesanales, loscas, altamente tcnicas algunas, o e otras eminentemente prcticas. Entre las habilidades que requieren un dominio a ms renado por la precisin con la que hay que aplicar sus procedimientos est la a o a matemtica. Es una actividad, por excelencia, educativa; empero, no es la unica; a puede ser mucho ms agradable lograr la maestra en ajedrez; no obstante, la a matemtica, que posee tambin un cariz ldico, es utilizable en grado sumo en a e u diversas tareas que hay que resolver para la organizacin de una sociedad; es la o razn de que la matemtica sea asignatura indispensable en todo plan de estudios o a y no lo sea el ajedrez. Una de las posibilidades de la comunicacin entre los o seres humanos, es la de ocuparse de enunciados que se siguen necesariamente de enunciados anteriores. A ello se dedica la matemtica. Su preocupacin mayor, a o no son las cosas como son, ello lo estudian otras ciencias, sino las cosas como deben ser, si se prejan ciertas reglas. Estos barrimtos de argumentacin llevan a mostrar que la matemtica en un o a plan de estudios no es cuestin de lujo o de eleccin de elites sino instrumento de o o trabajo indispensable mirando a la sociedad humana desde diversos angulos. Un cuarto aspecto es el mtodo, igualmente desde diferentes puntos de vista. El e universal que indagaba Descartes para conducir bien su razn y para perquisio 94

 Acerca de la Epistemolog de la Matematica a

cionar con xito en la losofa y en las ciencias. Un matemtico, en principio, ha e a de ocuparse o en ensear su ciencia o en resolver problemas que pueden ser de n poca o de mucha dicultad. Los de poca, tienen mtodos conocidos de solucin; e o para los de gran dicultad puede que haya que inventar la manera de resolverlos. Por otra parte, Hilbert mismo consideraba paradigmtica, es decir, digna de ima itacin, la actitud del matemtico frente a una dicultad. Lo mismo han pensado o a lgicos como Russell. Y diferentes lsofos elaboraron sus sistemas mirando de o o reojo hacia la matemtica. En particular Kant discurri ampliamente acerca de a o la constitucin misma de la matemtica para poder decidir sobre su pregunta o a capital de si la metafsica es ciencia, as como de la posibilidad para la losofa de inspirarse en los mtodos ecientes de la matemtica con el n de que en e a metaf sica 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 epistemolgio cos: fundamento lgico, prdida de la certidumbre, naturaleza de la demostracin, o e o relacin entre matemtica y experiencia, estatuto ontolgico de los entes mateo a o mticos. Igualmente digna de consideracin epistemolgica es la actitud del maa o o temtico al hacer consistir su ciencia en el desenvolvimiento de ella mediante a solucin de problemas, segn la concepcin de Hilbert. Cun lejos est el proo u o a a fano en matemtica de entender lo que hace todo el da el matemtico cuando lo a a considera inactivo porque el profano cree que la matemtica se reduce a aquellas a operaciones en las que sola naufragar en sus aos de educacin bsica y media. n o a Si solo eso fuera la matemtica, ms valdra que no existiera. a a Nociones de epistemologa o losofa de la matemtica son indispensables para los a matemticos en menesteres ms all de los de denicin, teorema, demostracin. a a a o o Preguntas capitosas de su actividad: Cmo llegu hasta la matemtica? Por o e a qu contino en ella? Cul es la funcin social o acadmica de mi actividad como e u a o e docente o como investigador? Cules son los problemas, que no puedo obviar, a en cuanto al alcance del conocimiento matemtico? Cules son los l a a mites de mi a ciencia? Cul es la posicin de la matemtica entre las otras ciencias? a o

95