Filosofa de las matemticas. Alejandro Octavio Snchez Nieto.

Considerando a las corrientes de Logicismo, Intuicionismo y Formalismo, Cul de ellas fundamenta de mejor manera a las matemticas? En la fundamentacin de las matemticas, la filosofa ha desempeado un papel esencial, y que entre las distintas corrientes que posteriormente se har mencin, han tenido al infinito como una de las principales discusiones. Asimismo veremos que la lgica ha sido una herramienta base para la comunicacin de las ideas entre las comunidades cientficas, es decir, como un lenguaje unificado y simblico para una abreviacin de las ideas y as facilitar su desarrollo, entendimiento y aprendizaje. Dentro de las corrientes que a lo largo de la historia han intentado fundamentar las matemticas, se considerarn solamente tres de ellas: logicismo, intuicionismo y formalismo. A continuacin daremos una breve sntesis sobre cada una de ellas, para as poder establecer una opinin con mejores bases. Logicismo. Sus principales representantes Russell, Frege, Dedekind, Ramsey y Leibniz. Los cientficos de esta corriente pretendieron lograrlo reduciendo las matemticas a la lgica. A esta corriente se le llama logicismo, y cuyo principal iniciador es Leibniz, cuyo objetivo es dar un valor de verdad a cada proposicin matemtica. Para un mejor estudio del logicismo se le ha dividido en dos aspectos importantes. I. Los conceptos de las matemticas pueden ser derivados de conceptos lgicos a travs de definiciones explcitas. II. Los teoremas de las matemticas pueden ser derivados de axiomas lgicos a travs puramente de la deduccin lgica. En el primer inciso, primero se deben establecer cules sern los conceptos bsicos lgicos que utilizaremos para la derivacin de los conceptos matemticos con los que se trabajar. Tomando en cuenta lo anterior, se hace la construccin de los nmeros naturales, dndoles atributos como conceptos lgicos, y no como objetos. Sin embargo, los logicistas no logran dar una construccin de los nmeros reales, pues no logran establecer una correspondencia 1-1, por esta razn llamara a los reales huecos, pues solo les es posible determinar los reales mediante sucesiones de racionales, lo cual es no constructivo desde el sentido del logicismo. Por otra parte, en el inciso II se determinan las definiciones lgicas y la correcta escritura de los enunciados, los cuales se componen de lo que llamaremos smbolos lgicos primitivos. Con lo cual, en caso de ser posible la escritura de todos los enunciado matemticos y su demostracin con un

Filosofa de las matemticas. Alejandro Octavio Snchez Nieto. nmero finito de smbolos primitivos. Sin embargo el infinito est involucrado implcitamente, principalmente en la pruebas inductivas. Para lo cual, se agregaran el axioma de infinito y el axioma de eleccin. Pero podra suceder que se cayera en ciclos infinitos desde la definicin. Para evitarlo, Russell propone la teora de tipos simple, la teora de tipos ramificada y el axioma de reducibilidad. Los cuales, en su trabajo, Ramsey mostrara que los ltimos dos son innecesarios. El logicismo nos permite trabajar con elementos inductivos, que como ya vimos, nos conlleva a un infinito potencial, empero, no podemos incluir el infinito actual, pues lo huecos o mejor llamados nmeros reales, no pueden ser construidos de manera inductiva. Intuicionismo. Por su parte, Brouwer creara una corriente de la filosofa de las matemticas, que consiste en hacer matemticas solo a travs del pensamiento o inteligencia. Donde las operaciones entre los elementos pueden estar compuestas nicamente por un nmero finito de pasos. Esto, para la construccin de los nmeros reales es un obstculo, pues tendramos que generarlos mediante sucesiones infinitas de racionales, y esto nos llevara de manera obvia a un nmero infinito de pasos. Otra de las caractersticas del intuicionismo, es rechazar la ley del tercero excluido, pues segn Brouwer, admitir dicha ley sera como aceptar que dentro de las matemticas todo puede ser demostrable de su verdad o falsedad. Adems de negar tambin la posibilidad de la lgica como mtodo de prueba. Aunque nos permite, en cierto sentido, la abstraccin de las matemticas debido a su construccin mediante el pensamiento, nos limita para poder seguir construyendo nueva teora. Por ejemplo, el anlisis no sera posible tomando en cuenta al intuicionismo como base para la construccin de las matemticas. Al no tener el principio del tercero excluido, obtenemos una ventaja, se pueden evitar paradojas lgico-lingsticas, pues podemos considerar que alguna afirmacin matemtica puede ser verdadera, falsa o ninguna de las dos. Una ventaja, es que podemos evitar la idea fsica de los elementos matemticos, pues en la actualidad usualmente no es posible generar una imagen sobre un concepto o alguna estructura matemtica, sin embargo, hoy en da no es suficiente debido principalmente a las ideas finitistas que tiene inmersas, y que debido a su estructura, el intuicionismo nos conlleva a pensar, posiblemente, en que las personas tenemos una mente finita y que, empero, pensar en una infinidad de nmeros no implica tener una mente infinita. El infinito, dicho de otra manera, podemos verlo como un ente matemtico dependiendo de cmo lo estemos usando. Segn Cantor y sus nmeros transfinitos el infinito tambin es un nmero, incluso hay distintos infinitos. As, tenemos que en resumen, dicha corriente es una mejor opcin para la construccin de las matemticas. Nos permite tener ciertas estructuras sin

Filosofa de las matemticas. Alejandro Octavio Snchez Nieto. tener que construirlas paso a paso si consideramos su existencia a priori. Pero para nuestra tarea posiblemente aun se requiera ms que la posibilidad de no contener paradojas. Formalismo. Despus de Brouwer, el intento de fundamentar las matemticas volvi a resurgir, pues aun haba muchas preguntas que contestar y nuevos mtodos estaban surgiendo. Con esto las matemticas necesitaban una nueva estructura en la cual se basaran, ya que la teora necesitaba nuevas herramientas para la investigacin. Con este objetivo, surge uno de los personajes ms importantes, no solo en la filosofa, sino dentro de las mismas matemticas, Hilbert, quien cre una teora axiomatizada con una lgica de primer orden. La formalizacin que Hilbert propone, se compone principalmente de las siguientes caractersticas: I. Definir los smbolos para la sintaxis de la teora formal, los cuales llamaremos smbolos primitivos; los cuales pueden ser a lo mas una cantidad numerable, i.e., de cardinalidad . Y los conectivos que se usarn para unir dichos smbolos. Definido esto, podemos generar una teora formal. II. Definir la sintaxis correcta para nombrar los enunciados, proposiciones y teoremas mediante los smbolos definidos en (I), para que todo tenga un sentido dentro del lenguaje y evitar ambigedades. III. Dar un mtodo de construccin efectivo para construir nuevas frmulas que sean vlidas en la lgica clsica, a lo cual llamaremos mtodos de prueba. IV. Verificar que las frmulas de las matemticas clsicas pueden ser probadas mediante mtodos aritmticos finitos. Teniendo estos elementos, ya se puede dar una formalizacin para una teora axiomatizada T con un lenguaje L de primer orden. Ahora se pueden dar definiciones, proposiciones y teoremas para nuestro lenguaje L; a esto se le llama formalizar un teora T con un lenguaje de primer orden L. Siempre que formalizamos una teora es, principalmente, para poder verificar si dicha teora est libre de contradicciones. Para lo cual el formalismo nos da herramientas necesarias para dicho objetivo. Sin embargo, otro gran matemtico del siglo XX, Gdel, demostr que: Ninguna proposicin en L, que pueda interpretarse como aseveracin de que T est libre de contradicciones, pude formalizarse formalmente en el mismo lenguaje L. Lo cual nos dice, en trminos comunes, que las matemticas no pueden demostrarse a s mismas que estn libres de contradicciones. Entonces, en el camino a fundamentar las matemticas, ya hemos avanzado bastante, sin embargo, vemos que para el objetivo tendremos que usar nuevas herramientas; las cuales se daran mas adelante con Zermelo Fraenkel y la teora de conjuntos.

Filosofa de las matemticas. Alejandro Octavio Snchez Nieto.

Opinin.
El objetivo de este ensayo es, principalmente, conocer cmo es que se han fundamentado las matemticas a travs de la historia, y como la filosofa ha sido, en la mayor parte, esencial para este desarrollo, tomando en cuenta solo tres de las corrientes filosficas que han destacado: logicismo, intuicionismo y formalismo. Cada una de las cuales ha tenido distintas aportaciones muy importantes, de lo cual se har una opinin, ms que nada, comparativa. Aunque dicha comparacin es relativamente sencilla, en el fondo se tiene un gran contenido terico-filosfico, y que tendr como resultado una seleccin acerca de la importancia y trascendencia de cada una. Como ya hemos visto, el logicismo pretende reducir la matemtica a una parte de la lgica. Esto en inicio parece posible, pues se usan mtodos lgicos para hacer las demostraciones, sin embargo, esto no nos deja libre de contradicciones. Tomando en cuenta, por ejemplo, el caso de las propiedades; se puede hablar de las propiedades de los elementos, de las propiedades de las propiedades de los elementos, y as sucesivamente. El ejemplo de los conjuntos que no se pertenecen a s mismos no esclarecer un poco ms. Sea A el conjunto de todos los conjuntos que no se pertenecen a s mismos, entonces si A esta en A entonces A no est en A, contradiciendo la definicin de A. Por otra parte, si A no est en A entonces por definicin de A, se tiene que A esta en A , lo cual es nuevamente una contradiccin. Visto de esta forma, no podramos construir matemticas, ya que no est libre de contradicciones. Fue por esta razn que Russell propone le teora de tipos ramificada. Que para nuestros fines, tampoco fue suficiente, ms aun, Ramsey demostr que era innecesaria. En este sentido, el formalismo obtiene ventajas, pues consta de los elementos necesarios para determinar la verdad o falsedad de una proposicin; aunque no exenta de contradicciones. Otro obstculo, es el del tratamiento del infinito; y que para los logicistas fue una de las dificultades que no lograron superar. Los logicistas y formalistas podran llegar a perecerse, ya que ambos utilizan la lgica clsica como base para construir las teoras. Sin embargo los primeros se limitaron a querer argumentar que las matemtica no son sino una parte de la lgica; en diferencia, lo formalistas nicamente utilizaron a la lgica como mtodo de prueba para las proposiciones que se iban generando de acuerdo a los avances en la matemtica. Estas razones fueron suficientes para favorecer al formalismo. Durante la evolucin del razonamiento para encontrar algo en que sustentar a las matemticas, surgi el intuicionismo. El cual a pesar de ser finitista logra superar en alcance al logicismo, gracias a la aceptacin de nuevos conceptos, sin necesidad de tener que construirlos, como se mencion anteriormente, paso a paso; y adems de negar el principio del tercero excluido, logrando as, evitar algunas de las contradicciones existentes.

Filosofa de las matemticas. Alejandro Octavio Snchez Nieto. Desde mi punto de vista el formalismo, fundamenta mejor a las matemticas; aunque si tomamos en cuenta la historia de las matemticas, vemos que ya anteriormente haban existido otras corrientes filosficas que trataban acerca de las matemticas, y que de igual manera dividan a las comunidades cientficas. Aristteles form una corriente importante, al igual que Coprnico, Ptolomeo, Galileo, entre muchos otros ms. Ahora notemos que cada una de las teoras propuestas por algunos de los distintos personajes de las diferentes pocas han sido, incluso, consideradas como verdaderas y por ende han estado vigentes durante un tiempo, mientras que la cantidad de problemas que se puedan resolver no sea muy limitado o superado por alguna nueva teora. Y que considerando a Thomas Kuhn, se generan revoluciones cientficas. Y es por esta razn por la que ahora tenemos una estructura matemtica mejor elaborada, hasta que alguien proponga una mejor que con la que contamos ahora. De esta manera, pienso que los cambios y evoluciones generados en la forma en que hacemos filosofa de la ciencia, se han hecho de la misma forma que las nuevas teoras, es decir, con revoluciones cientficas, y ms an, evolucionan al mismo tiempo. Pues al tener una nueva teora necesitamos una nueva manera de pensar las matemticas. Es por esto que el formalismo, ms que una mejor corriente en la fundamentacin de las matemticas, fue la revolucin cientfica que super a todas las anteriores y que en sentido inverso no hubieran podido darse ninguna de las corrientes precedentes al formalismo. Asimismo, el formalismo hoy en da ha evolucionado y se ha adaptado a las nuevas necesidades, pues an lo usamos como mtodo de demostracin, pero con nuevos elementos que, como ya mencion, van acorde con la evolucin y mejoramiento de la matemtica misma. Existen, actualmente corrientes que siguen intentando fundamentar las matemticas con otras corrientes filosficas, como son por ejemplo, los constructivistas, realistas, falsacionistas, entre otros, sin embargo, puesto que no han podido superar al formalismo y su evolucin junto con la teora de conjuntos, permanecen cuasi-desconocidas.

Bibliografa. Hillary Putnam Philosophy of mathematics, 2nd edition, 1983.