La Filosofa de la Matemtica La matemtica , aunque no a todos les guste, esta siempre presente en nuestra vida, de una u otra forma,

es por eso que en esta ocasin les quiero hablar un poco sobre esta ciencia tan interesante para mi. Comencemos con la etimologa de esta palabra, matemtica proviene del latn mathematca y este del griego que significa conocimiento o lo que se aprende. ste significado se contrapone a lo que se puede entender sin haber sido instruido que se refiere a poesa, retrica y campos similares. El desarrollo y evolucin de la matemtica puede ser considerada como el resultado de un incremento de la abstraccin del hombre, adems de la necesidad de realizar actividades tales como contar y medir. As se fueron obteniendo los primeros conceptos y verdades matemticas que sin duda son los propios de la geometra y la aritmtica. As nace la idea de que los conceptos matemticos proceden, en cierta medida, de cmo es el mundo fsico, del mundo que captamos mediante nuestros sentidos, y las verdades de la matemtica son verdades sobre el mundo fsico, aunque de un carcter ms general, as las matemticas seran las verdades mas generales de todas. Otra posicin, muy fcil de confundir con la anterior, es que los conceptos matemticos tienen su origen remoto en la sensacin que luego es transformada por la actividad de la mente, pero las verdades matemticas son verdaderas sobre las relaciones entre las ideas, no sobre lo percibido; relaciones que dependen enteramente de la comparacin de ideas como la semejanza, los grados de cualidad y las proporciones de cantidad. As las figuras y los nmeros se originan a partir de lo inexacto de la percepcin sensible mediante el mismo proceso que conduce a que creamos en la existencia continua de los cuerpos, por tanto, las ideas matemticas son producto, hasta cierto punto, de nuestra actividad mental. Otra interpretacin del conocimiento matemtico es de Descartes, quien apunta a dos caractersticas que hacen que el saber matemtico sea peculiar. En primer lugar, que no puede ser producto de la actividad de mi mente, pero tampoco, en segundo lugar, producto del mundo fsico percibido. La razn es, para lo primero, el carcter demostrativo de las matemticas y para lo segundo, la creatividad matemtica que supera lo que el mundo de los sentidos puede ofrecer. Cuando imagino un tringulo, an no existiendo acaso una tal figura en ningn lugar, fuera de mi pensamiento, y aun cuando jams la haya habido, no deja por ello de haber cierta naturaleza, o forma, o esencia de esa figura, la cual es inmutable y eterna, no ha sido inventada por m y no depende en modo alguno de mi espritu; y ello es patente porque pueden demostrarse diversas propiedades de dicho tringulo"-Descartes. E insiste en que "Y nada valdra objetar en este punto que acaso dicha idea del tringulo haya entrado en mi espritu por mediacin de los sentidos, a causa de haber visto yo alguna vez cuerpo de figura triangular; puesto que yo puedo formar en mi espritu infinidad de otras figuras, de las que no quepa sospechar ni lo ms mnimo que hayan sido objeto de mis sentidos, y no por ello dejo de poder demostrar ciertas propiedades que ataen a su naturaleza".-Descartes. A partir de esto se desarrollan diferentes formas de ver la matemtica: 1) Logicistas 2) Formalistas 3) Constructivistas 4) Platnicos Logicismo: El logicismo es la doctrina que sostiene que la matemtica es reducible a la lgica.

Los logicistas, como la mayor parte de los estudiosos de la matemtica, piensan que la inferencia de los teoremas a partir de los axiomas en matemticas se puede hacer por mera deduccin. Las deducciones son razonamientos en los que, a menos que cuestionemos las reglas lgicas de acuerdo con las cuales procede la deduccin, slo podemos cuestionar la conclusin si cuestionamos las premisas, dicho de otra manera, si las premisas son verdaderas la verdad de la conclusin est garantizada. Los logicistas pensaron que es posible deducir las matemticas slo de las propias teoras que formulan las reglas de la deduccin, de tal modo que las matemticas solo seran una complicacin de la lgica, pero no distinta de ella. Pero se suele pensar que el logicismo no consigue demostrar que todas las matemticas se deducen de las teoras lgicas. Platonismo: Platn mantena que nuestro mundo fsico, conocido por los sentidos, era una copia imperfecta de otro mundo de donde procede el alma humana y los modelos de las cosas del mundo fsico, a los cuales denomina ideas o formas. Nuestra alma porta con ella el conocimiento de las ideas que son olvidadas en el nacimiento, por lo que conocer es recordar ese conocimiento que, aunque olvidado, permanece en nuestra alma. Simplificando, la doctrina de Platn es que conocer en matemticas es conocer cierto tipo de ideas, por ejemplo los nmeros o las ideas que se representan mediante figuras (de tringulo, crculo, etc). Las matemticas sirven para conocer el mundo fsico en la medida en que ste es una copia de las ideas o formas. Podemos ver la motivacin de las tesis platnicas en la geometra. Un crculo, por ejemplo, se define en geometra como una figura plana compuesta por puntos que equidistan de uno dado. Pero nadie ha visto en realidad esa figura ni se podr ver jams. La forma circular exacta de los gemetras no se encuentra entre los objetos sensibles. Lo que vemos con frecuencia son figuras,un plato, una rueda, la luna llena, objetos materiales que tambin llamamos crculos y que resultan ser, en la forma, aproximaciones al crculo definido en geometra, pero no ese crculo mismo. Platn extrae entonces la conclusin de que la forma de crculo ha de existir, no en el mundo fsico, sino en el mundo de las formas. Como caracterstica general, el platonismo en matemticas, tambin denominado realismo matemtico, sostiene bsicamente dos cosas: primera, que las matemticas son independientes de la mente humana por lo cual los seres humanos no inventan las matemticas, sino que las descubren; segunda, que ese descubrimiento no se hace mediante la experiencia sensible del mundo fsico sino mediante otra forma de contacto con los entes matemticos. Formalismo: El formalismo es una posicin en filosofa de las matemticas que recoge las pretensiones de la eliminacin de la intuicin pura en el sentido de intuicin geomtrica. Su autor ms importante es David Hilbert. Un formalista hilbertiano considera que el lenguaje, en concreto el lenguaje matemtico, puede reducirse a operar espaaciotemporalmente con signos. Y saca como consecuencia que nuestros conceptos matemticos pueden ser expresados, en operaciones sobre las relaciones de espacio y tiempo. Cuando los formalistas hablan de operaciones sobre las relaciones de espacio y tiempo piensan en los sistemas formales. stos son una teora axiomatizada en la que se ha sustituido el lenguaje natural por un conjunto de signos que obedecen a reglas que se reducen a operar sobre relaciones espacio - temporales con los signos. Por ejemplo, formar oraciones sera construir una hilera de signos con un orden dado. Para el formalismo, no existen los conceptos correctos o incorrectos. Los conceptos nos los inventamos nosotros. Por tanto, los conceptos matemticos y sus teoras correspondientes con sus axiomas son producto de nuestra imaginacin. El nico requisito es que no haya contradicciones en

el concepto (expresado en el conjunto de los axiomas). Constructivismo: Segn el, el trabajo de los matemticos ya no es descubrir, sino inventar. Esta es la principal idea de la llamada matemtica constructivista, que afirma que para probar la existencia de un objeto matemtico es necesario mostrar como puede construirse. El filsofo Immanuel Kant afirm en el s.XVII que la razn ultima de veracidad en la matemtica resida en el hecho de que sus nociones puedan ser construidas por la mente humana. Sobre todo, la idea matemtica que a producido mayor controversia en la historia de las mayor controversia en la historia de las matemticas ha sido la nocin de infinito. A mi parecer cada una de estos pensamientos tienen parte de verdad, pero tengo una leve inclinacin por el constructivismo, pues cada que hago una demostracin son ideas propias, uno va inventando en el camino, se va creando una demostracin. Y eso es lo interesante, tratar de demostrar un mismo teorema de muchas formas, e ir viendo cual es la mejor, la mas precisa, la mas fuerte, la mas corta, e innata, y as desarrollar quien sabe un nuevo lema o algn aporte para esta gran ciencia.