M

ATEMTICA

Los cientficos analizan su objeto de estudio

Irrazonable eficacia de la matemtica

por Guillermo Mattei | gmattei@df.uba.ar

Platn la ubic como parte de la Naturaleza y, de esa manera, al hombre slo le competira descubrirla. La seleccin natural dot a los cerebros del Homo sapiens con la capacidad de crearla para poder sobrevivir. Frente a estos dos caminos, cabe la pregunta: La matemtica, es o se hace?. Responden, puertas adentro del conocimiento cientfico, los especialistas.

l Universo parece haber sido diseado por un matemtico puro, metaforiz el fsico James Jeans (1877-1946). Cmo es posible que la matemtica, un producto del pensamiento humano independiente de la experiencia, se ajuste de modo tan perfecto a los objetos de la realidad fsica?, pregunt Albert Einstein (1879-1955). El milagro de la articulacin entre el lenguaje, la matemtica y la formulacin de las leyes de la fsica es incomprensible y hasta de una exclusividad inmerecida para nosotros los fsicos: valdra la pena extenderlo a todas las ramas del conocimiento, opin el fsico Eugene Wigner (19021995) y este comentario perdur como el de la irrazonable eficacia de la matemtica. La Naturaleza revela matemtica, tal como se ve desde la postura platonista. La imaginacin, la creatividad y la capacidad de abstraccin del Homo sapiens crea matemtica independientemente de entornos y de caractersticas personales, es el punto de vista formalista. Luego, qu es la matemtica?, el cdigo de la realidad a descifrar mediante la capacidad intelectual humana?, un producto que, por humano, necesariamente debe resonar con los modos inhumanos de la Naturaleza? En esta nota, sin pretensiones de resumen de estado del arte de la epistemologa o de la filosofa de la matemtica, las visiones al respecto de algunos cultores profesionales de la matemtica.

Platnicos y formalistas Para el fsico contemporneo Roger Penrose, la existencia platnica de la matemtica no slo es diferente de la existencia fsica, sino tambin de una existencia mental atribuible a nuestras percepciones. En otras palabras, tres mundos ciertamente entrelazados. No todo el mundo matemtico condiciona al fsico, sino a una parte: hay matemtica pura que no correlaciona con ninguna teora fsica. No todo el mundo fsico condiciona al mental, sino a una parte: el funcionamiento neurolgico del cerebro induce una parte de la mentalidad humana. No todo el mundo mental condicionara al matemtico, sino a una parte: slo una fraccin de la mente humana, de una fraccin de la humanidad, est interesada en la verdad matemtica absoluta. Esta conjetura circular de Penrose podra ejemplificarse de esta manera: los espacios de Hilbert son una parte de la matemtica que usa la mecnica cuntica que podra describir la parte del mundo fsico que comanda la neurobiologa del estado conciente humano que es una parte de la mente capaz de crear matemtica pura como los espacios del Hilbert. Penrose concluye: No cabe duda que en realidad no hay tres mundos sino uno solo, cuya verdadera naturaleza actualmente somos incapaces de entrever. Otro enigma de trinidades que es uno pero, para el cual no funcionan las conciliaciones como las del de Nicea en el ao 325. En la otra vereda, los neurocientficos ponen la cuestin en un escenario cognitivo y claramente juegan en el equipo formalista. El prestigioso neurobilogo Jean Pierre Changeux dice: El mtodo axiomtico es la expresin de la conexin de las facultades cerebrales con el uso del cerebro humano, ya que aquello que caracteriza al lenguaje es precisamente su carcter generativo o la capacidad de dar origen a otros nuevos objetos.

Contrapunto El astrofsico Max Tegmark es concluyente: Nuestro universo no slo se describe mediante la matemtica, sino que es matemtica. Segn Tegmark, la descripcin final y definitiva del mundo debe lucir independiente de toda carga humana, particularmente del lenguaje y, en ese sentido, no podra incluir conceptos tales como partculas, cuerdas, deformaciones del espacio tiempo y otras. La explicacin final slo debera contener conceptos abstractos y las relaciones entre ellos; o sea, la definicin operativa de la matemtica. Por el contrario, el neurobilogo Changeux esgrime: Afirmar la realidad fsica de los objetos matemticos en el mismo nivel que los fenmenos naturales que se estudian en biologa, plantea un considerable problema epistemolgico: cmo puede un estado fsico interno de nuestro cerebro representar otro externo a l?. Tal como para el popular divulgador de la ciencia Martin Gardner, no cabe duda de que los nmeros y la matemtica tienen una existencia propia independientemente de que los hombres sepan sobre ella; para el premiado matemtico francs Alain Connes ellos son simplemente una realidad preexistente. Por su parte, otro matemtico multipremiado, Michael Atiyah opina: El hombre ha creado la matemtica mediante la idealizacin y abstraccin de elementos del mundo fsico. Sin embargo, el fsico Mario Livio, se pregunta en su libro Es Dios un matemtico?: Si la matemtica es completamente una invencin del hombre, cmo puede tener validez universal? Las civilizaciones extraterrestres inteligentes, inventaran la misma matemtica o la nuestra slo sera un sabor entre varios posibles?. El matemtico Israil Gelfand razona: Slo hay una cosa que sea ms inexplicable que la inexplicable eficacia de la matemtica en fsica, y es su inexplicable ineficacia

en biologa. Sin embargo, el matemtico aplicado Joel Cohen, que estudia la salud pblica en ciencias de poblaciones, afirma que el prximo microscopio de la biologa es la matemtica, lo cual solamente mejorar cuando la biologa sea la prxima fsica de la matemtica. En otras palabras, el sueo de Wigner de extender ms all de la fsica el milagro de la eficacia de la matemtica, alcanzara su expansin a todo tipo de conocimiento cientfico, incluido el social? Para esta respuesta, se necesita el espacio de otra nota. De la abstraccin pura a la realidad medible Inexplicablemente o no, algunas ideas matemticas que nacieron absolutamente libradas a la arbitrariedad intelectual de sus autores, reaparecen en algn momento posterior en la Naturaleza como si siempre hubieran estado ah. Las nuevas geometras -en tanto libre juego intelectual superador de la milenaria geometra euclidiana- propuestas por el matemtico alemn Georg Riemann (1826-1866), su posterior aplicacin einsteniana a la dinmica del universo y su coherencia con los actuales datos experimentales de la cosmologa de alta precisin, son un ejemplo colosal del flujo de conocimientos que puede ir desde la abstraccin ms pura hacia un detalle de la Naturaleza que el hombre puede capturar. De manera similar, la llamada Teora de Grupos, elaborada por el joven Evariste Galois (18111832) -la noche previa a su muerte en un duelo por su amada- bajo el torrentoso ro de sus abstracciones ms puras, hoy es usada por fsicos, ingenieros, lingistas y antroplogos. Ninguno de mis descubrimientos ha supuesto, o es probable que suponga, de forma directa o indirecta, para bien o para mal, diferencia alguna en el funcionamiento del mundo, deca arrogante
7

MATEMTICA

el clebre matemtico britnico Godfrey Hardy (1877-1947) jactndose de la intangibilidad de su trabajo en matemtica pura. Sin embargo, en qu se basa la actual ley de Hardy-Weinberg que usan los genetistas para modelizar la evolucin de poblaciones? S, en los aportes del matemtico puro Hardy. Estas situaciones son bastante naturales en ciencia formalizada por lo que la pregunta cul va a ser la utilidad tecnolgica de tu investigacin?, la mayora de las veces, queda absoluta y paradjicamente descontextualizada. De todas maneras, estos ajustes tan perfectos entre la libre creacin en matemtica, slo guiada por el talento y la imaginacin de su autor, y su posterior descubrimiento como una parte de la realidad lucen wignerianamente irrazonables. Voces de la Facultad La opinin personal del matemtico Pablo Jacovkis, docente e investigador del Departamento de Computacin, es platnica: es que una vez planteada una teora matemtica, si se tiene la suerte de que esa teora sea consistente, entonces estn all ya todos los teoremas que se pueden demostrar, y el matemtico (o la matemtica) los descubre. La demostracin inventada puede ser una ms corta, ms elegante o ms ingeniosa, pero el teorema estara desde el exacto instante en que se formulan los axiomas de la teora. Luego, para Jacovkis slo hay que descubrir el teorema, como los europeos descubrieron una Amrica realmente preexistente. Sin8

tticamente: la teora o la demostracin se inventan, pero el teorema se descubre. Pablo Amster, profesor e investigador del Departamento de Matemtica, explica: A partir de una crisis que hubo a fines del siglo XIX y principios del XX, se separaron varias corrientes filosficas de la matemtica, de las cuales las dos ms conocidas son el platonismo y el formalismo. El platonismo postula la existencia de las entidades matemticas en el mundo ideal. En cambio, el formalismo considera que todo es pura combinacin de signos. Tal como describieron los matemticos Philip Davies y Reuben Hersch, el matemtico tpico es platnico los das de semana (es decir, opina que es un descubrimiento) y formalista (es decir, que es un invento) los domingos. En ese sentido, Amster complementa: Cuando uno est en el da a da trabajando, dice: agarro un plano, lo intersecto con una esfera, y todo eso tiene existencia real. Y el da que se deja de trabajar, el domingo, cuando se piensa sobre lo hecho, uno se da cuenta de que es pura abstraccin, pura letra. Amster celebra que la matemtica est al servicio de la ciencia o que sea el lenguaje de la ciencia, pero su concepcin de la matemtica es ms cercana al arte, a la creacin pura. Los formalistas se despreocupan del xito de la matemtica, de su aplicacin para resolver problemas del mundo. Claro que hay tambin matemtica aplicada. Pero para m, la matemtica es un lenguaje que me permite crear y expresar cosas, concluye Amster.
DESDE LA EPISTEMOLOGA
Concientemente o no, quienes practican la matemtica pura, es decir la no aplicada, suelen tratar a las entidades matemticas como si fueran ciertas cosas, es decir, suponen que ellas son reales, lo cual remite a una posicin de carcterplatnico, afirma Guillermo Boido, docente e investigador del Centro de Formacin e Investigacin en Enseanza de las Ciencias de la FCEyN y agrega que, sin embargo, desde una perspectiva epistemolgica, para el formalismo, dichas entidades no tienen contenido significativo alguno. Boido explica: stas son las posiciones ms habituales. Hay tambin quienes adhieren al llamado logicismo, segn el cual tales entidades se reducen a las de la lgica -que son puramente formales-, mientras que otros, que adoptan un enfoque denominado neointuicionista, sostienen que son construidas por nosotros. Slo en el primer caso podramos decir que aquello con lo que trata la matemtica se descubre porque preexiste de antemano. En cualquier otro caso, lo que se sostiene es que las entidades matemticas surgen de un proceso de carcter intelectual. Sin embargo, se trata de una cuestin no resuelta que sigue siendo objeto de controversia.

Philosophi naturalis principia mathematica, de Isaac Newton. Para muchos, la obra cientfica ms grande jams publicada sobre la descripcin matemtica de la Naturaleza. Para Isaac Asimov, el trabajo que acab, de una vez por todas, con el complejo de inferioridad del europeo moderno, con relacin a los antiguos, para describir el mundo.

Como matemtico, creo que, en general, nuestro trabajo se hace con estructuras formales y lo podemos hacer, en un sentido operacional, sin prestarle atencin a la realidad, explica Gabriel Acosta, profesor e investigador del Departamento de Matemtica. Las excepciones a esta dinmica son aquellas en que la pregunta original implica un contacto directo con el mundo. Acosta agrega: En este ltimo caso hay un momento necesario, que podemos llamar vagamente de modelizacin, donde ciertos aspectos de la realidad se recortan y formalizan y, aqu, el matemtico puede poner su habilidad conceptual en favor del trabajo interdisciplinario. Por otro lado, si nos apegamos al clich que reduce a la matemtica a un pasaje de premisas a conclusiones vlidas apelando a ciertas reglas (que pueden variar en cada caso) y donde vlido significa precisamente obtenido a travs de las reglas; entonces, como las reglas son contingentes, el asunto de la necesidad est dado slo por la validacin y sera eso, justamente, lo que le da perpetuidad y universalidad a la matemtica. Acosta advierte: No hay que olvidarse de que en un teorema de la forma tpica si A entonces B, el teorema est en la parte del entonces, y eso es lo completamente verdadero. Lo curioso y sorprendente es que, dicho de ese modo, pareciera muy improbable que la matemtica tuviera capacidad de dar cuenta de la realidad; sin embargo, ocurre justamente lo contrario: le asociamos aquello ms perdurable y universal. Acosta reflexiona: La aspiracin matemtica a lo general y su amistad con la abstraccin le han proporcionado una mstica particular pero aclara que, sin embargo, este sitio se lo ha ganado por merito propioporque abundan los ejem-

plos en los cuales la abstraccin ms profunda conduce a predicciones notables sobre la realidad. Si en la pretensin cartesiana de un racionalismo teolgico, hay un Libro de Dios al que algunos pocos acceden, yo no podra afirmarlo; pero como descripcin potica me parece perfecta. Para el clebre matemtico hngaro Paul Erdos (1913-1996), el libro de Dios existe pero en l slo est escrita la mejor demostracin de cada teorema, concluye Acosta. Por su parte, el profesor e investigador del Departamento de Matemtica de la FCEyN, Pablo Groisman, prefiere ver a su disciplina como una creacin antrpica: La matemtica es una construccin netamente humana, pero no nos olvidemos que el hombre forma parte de la Naturaleza. No slo es imposible independizarse del contexto en el que uno hace matemtica, sino que podra haber diferentes matemticas cada una ligada al entorno de su creador. Yo creo que la matemtica no es nica. Si hay leyes universales que valen ac o en otras galaxias, ambas matemticas van a estar influenciadas por esas mismas leyes pero probablemente de manera diferente. Sern distintas matemticas porque son una construccin dependiente de su entorno natural. A veces uno est detrs de modelar fenmenos naturales pero yo creo que esos modelos no nos son dados cuando se supone que los descubrimos sino que son una forma particular de verlos y, en ese escenario, las visiones pueden ser bien diferentes, explica Groisman y ensaya una analoga del efecto mariposa sobre la evolucin de la matemtica: Si hace

dos mil aos se hubiera producido una pequea variacin en la matemtica que se estaba haciendo en ese momento yo creo que hoy la matemtica podra haber sido otra totalmente distinta. Groisman contina: No creo que sea relevante que haya conceptos o aportes de la matemtica de tres mil aos de antigedad que, porque los seguimos usando y sean vlidos, le den a la matemtica una superioridad frente a otras construcciones intelectuales donde eso no pasa. Que usemos la matemtica que usamos hoy es slo una convencin. Maana la comunidad de los matemticos podramos decidir convenir otra cosa. Finalmente opina: Tengo una visin menos mstica o que coloque a la matemtica por encima del hombre y de su contexto; por el contrario, como el hombre no domina el contexto, la matemtica que se produce es finalmente dependiente de su individualidad y de su entorno, el cual incluye tambin a la comunidad de matemticos como tal. De tesis y de anttesis Es o se hace. Descubierta o idealizada. Cdigo de la realidad o estructura mental. Una de las descripciones matemticas de la parte de la realidad que le compete a la mecnica cuntica - el mundo subatmico - , implica - para el escndalo de cualquier filsofo clsico - que las tesis y las anttesis, sintetizan. Ondas y partculas son exactos opuestos en una nica entidad. En esa lgica no clsica y por ms tautolgico que luzca el argumento, el hombre construir a la matemtica arbitrariamente y sujeto a su contexto natural slo para inevitablemente descubrirla en la Naturaleza?
9