Entrevista al matemtico Gregory Chaitin Sobre la filosofa de las matemticas Gregory Chaitin naci en los EE.UU.

, pero estudi en la Argentina. El jinete hipottico tuvo una charla con l sobre la filosofa de las matemticas. Sepa el lector que deber forzar su atencin para comprender cosas que parecen abstrusas pero que en realidad no lo son. Por Leonardo Moledo No hablemos tanto del nmero omega, que ya est en todos lados, sino de sus posturas filosficas sobre la matemtica. Usted tiene una postura Cuasi emprica, dira. Y en qu consiste una postura cuasi emprica en matemtica? Mi enfoque es desde el punto de vista de la teora de la informacin. Para m una teora (tanto fsica como matemtica) lo que hace es comprimir. Comprender es comprimir. Lo que hace es comprimir hechos experimentales en una estructura ms simple que los explica a todos. En el caso de la matemtica es parecido: en este caso no son hechos experimentales lo que explicamos, sino hechos numricos, y no son ecuaciones matemticas, sino que son los axiomas de la matemtica. Me parece que en ambos casos lo que hace una teora es organizar lo que vemos en una estructura que lo hace ms comprensible y nos ayuda a predecir lo que va a pasar si hacemos otros clculos u otros experimentos. En ambos casos estoy pensando en la teora como software, como algoritmo: en el caso de la fsica es un algoritmo para calcular hechos experimentales; en el caso de la matemtica es ms bien deducir mecnicamente consecuencias que son las consecuencias lgicas de los primeros principios. Desde este punto de vista, las dos cosas no son demasiado diferentes. Yo no veo una ruptura tan enorme entre la fsica y la matemtica. De un lado se insiste en que las demostraciones rigurosas son una necesidad imperiosa y del otro lado el fsico se contenta a veces con argumentaciones heursticas: el fsico no dice que la ecuacin de Schredinger es evidente de por s, pero desde la matemtica se insiste en que un axioma debe ser evidente de por s. En fin: no digo que la matemtica y la fsica son idnticas, porque eso es falso, pero creo que habra que conceder que tienen un grado de parentesco ms grande que lo que se admite habitualmente. Uno puede pensar la fsica como estructura axiomtica, tambin. Los Principia de Newton son una estructura axiomtica: se parte de ah y opera todo como un sistema formal.

Hasta cierto punto, porque las demostraciones que utilizan los fsicos no satisfacen del todo a los matemticos. Bueno, porque nadie se pone a hacerlas rigurosas, pero si alguien quisiera Usted cree que se puede? Creo que la creencia de todo fsico es que todo aquello que es matemticamente deductible es fsicamente real. Usted estara tomando el sistema axiomtico como una empiria? Tomemos el famoso resultado de Gdel de 1931. Hay que tomarlo en serio o no? La mayora de los matemticos dicen que no hay que tomarlo en serio. Yo no lo s, pero decid dedicar mi vida a jugar con la posibilidad de que el resultado de Gdel es serio. Si se toma demasiado en serio, no existe la prueba: trabaj durante tres das tratando de demostrar algo, no lo pude hacer, entonces lo propongo como un nuevo postulado. Un matemtico dira que es ridculo, pero esa sera una actitud extrema provocada por Gdel. Yo no quiero eso. A m me parece que la fsica y la matemtica, en lugar de estar tan separadas, deberan entrar en un continuo donde se amalgamen la rigurosidad demostrativa de la matemtica y las argumentaciones heursticas de la fsica. No hay que construir una pared infranqueable Es que no la hay. Bueno, y sin embargo en una revista de matemtica no se puede publicar un argumento que andara muy bien en una revista de fsica. El fsico lo que s hace es, despus de un proceso de deduccin, ir a la realidad y medir. El matemtico tambin lo puede hacer. Por ejemplo: la hiptesis de Riemann, cuya consecuencia es que los nmeros primos se tienen que distribuir de determinada manera. Uno se puede poner a hacer un clculo monstruoso para ver si efectivamente los primos se distribuyen de esa manera. O ver cmo se distribuyen los nmeros primos realmente. S. En teora de nmeros se trabaja de una forma cuasi emprica. Porque muchas veces mediante muchos clculos se ven muchos casos y la gente conjetura algo que despus se tarda centenares de aos en demostrar. La conjetura de Goldbach

Claro. En ese campo en particular, la brecha entre lo que se cree cierto en base a clculos y lo que se puede demostrar es enorme. Pero uno no puede construir una teora matemtica sobre la conjetura de Goldbach. Bueno, fjese lo que pasa aqu. Hay una conjetura que se llama P no igual NP. Y otra conjetura que dice que factorizar nmeros grandes requiere un tiempo de cmputo monstruoso, que es la base de muchos sistemas secretos. La gente en teora de la computacin no se puede detener porque no logra demostrar algunas cosas fundamentales: toda la comunidad cree en ciertos resultados y ellos siguen adelante. En cierta forma se puede decir que pas lo mismo con el anlisis hasta la llegada de Cauchy. Bueno, fue no riguroso. Claro. Cuando Berkeley deca que no tena ningn sentido, tena razn. El insistir en el rigor matemtico a veces destroza un campo. Especialmente cuando ese campo es nuevo, y las ideas se estn explorando. Una vez que la parte creativa termin, entonces llegan los abogados, los matemticos que quieren pulir todo y dejar una forma axiomtica cerrada. Pero la parte creativa no se hace as. No se olvide que, tambin, por el problema de la falta de rigor Cauchy confundi dos conceptos de continuidad que crearon un lo espantoso. S, es cierto. Hoy en da est de moda decir que la matemtica es un sistema riguroso formal axiomtico a la Hilbert y que el rigor es lo ms importante. El mtodo axiomtico, desde esta perspectiva, es la matemtica. Pero hay otros que dicen que el mtodo axiomtico es un cementerio para las ideas. Una vez que todo est en un sistema axiomtico formal, el trabajo creativo se acab. Creo que la escuela Bourbaki exager muchsimo. Yo creo que el teorema de Gdel apoya para decir que Bourbaki exager: es decir, hay una parte irreductible que es creativa dentro de la matemtica, lo cual significa que su realidad no es blanca o negra como se pensaba. Es posible que se produzca una ruptura, que dos escuelas diferentes crean en primeros postulados que sean incompatibles entre s Bueno, durante bastante tiempo los resultados de Cantor no fueron aceptados hasta que Hilbert intervino

El problema es que esos resultados todava son paradjicos y contradictorios. Ese campo es muy peligroso porque se producen paradojas muy fcilmente. Yo no soy especialista en nada de eso. Yo creo que hubiese sido muy lindo si Hilbert hubiese tenido razn Hubiese sido muy aburrido Bueno, estamos de acuerdo. Hubiese sido un sistema cerrado, mecnico, y eso no es cierto. La matemtica tiene una parte creativa irreductible. Yo creo que Gdel hace eso: nos da libertad creativa a los matemticos. Y no debemos desechar esta creatividad. Hay dos formas de entender la creatividad. Una es pensarla como que no hay una cadena lgica y es necesario adivinar un axioma. La otra es pensar que la creatividad viene de comprimir una cadena lgica muy larga con una nueva idea. Gdel deca que una razn pragmtica para adoptar un nuevo principio es que achica demostraciones de cosas que uno ya pudo demostrar. Los tericos de la teora de conjuntos han agregado axiomas nuevos, como por ejemplo el proyective determinacy. Los matemticos ms agudos del mundo estn convencidos de que estos principios faltaban en los axiomas, pero hicieron falta treinta aos de trabajo para descubrirlos. La matemtica est en un atolladero? Creo que hay algunos problemas: demasiado formalismo, por ejemplo, lo cual puede producir miedo en los estudiantes. Yo creo que la matemtica es como la literatura: los conceptos y las teoras importantes tienen que ensearse como literatura, explicando de dnde vienen y por qu sirven. Y eso se considera un crimen en la matemtica actual. Existen en el mundo los objetos matemticos? La fsica matemtica trabaja como si la realidad ltima del universo fuera matemtica. Si este punto de vista tuviera razn, el mundo sera matemtico. Yo no s si esto es as, pero lo que s creo es que sin teoras no se llega a ningn lado. Y una teora es un salto de imaginacin: las cosas tal como se ven no son la verdad, la verdad est ms all. Como dice Novalis: las teoras son como redes, si uno no las lanza no pesca nada. Einstein dice que cada fsico terico bueno es un metafsico reformado: alguien que cree que el mundo se puede comprender por pensamiento puro.