Matemticas ests ah?

Adrin Paenza

Captulo 3 Personajes Por qu uno no entiende algo Esta breve historia reproduce lo que escribi un amigo ntimo que falleci ya hace muchos aos: Ricardo Noriega. Ricardo fue un matemtico argentino, fallecido a una edad muy temprana, especialista en geometra diferencial. Trabaj durante muchos aos con Luis Santal 1 y, ms all de sus condiciones profesionales, fue un tipo brbaro. Siempre de buen humor, educado y muy generoso con su tiempo y en la actitud siempre paternal con alumnos y otros colegas. Un gran tipo. Con l estudi cuando ambos ramos jvenes. En su libro Clculo Diferencial e Integral escribi sobre una idea que me subyug siempre: por qu uno no entiende algo? Y por qu lo entiende despus? Y por qu se lo olvida ms tarde? Ricardo escribi, y no lo voy a parafrasear porque prefiero contar mi propia versin: "Muchas veces, cuando uno est leyendo algo de matemtica tropieza con un problema: no entiende lo que ley. Entonces, para, piensa y relee el texto. Y la mayora de las veces, sigue sin entender. Uno no avanza. Quiere comprender, pero no puede. Lee el prrafo nuevamente. Piensa. Y dedica mucho tiempo (eventualmente)... hasta que de pronto... entiende.... algo se abre en el cerebro de uno, algo se conecta... y uno pasa a entender. Uno entiende! Pero no es todo: lo maravilloso es que uno no puede entender por qu no entenda antes".

sa es una reflexin que merece en algn momento una respuesta. Qu nos detiene? Por qu no entendemos en un momento y despus s? Por qu? Qu pasa en nuestro cerebro? Qu conexiones se producen? Qu es lo que juega para que durante un buen rato no entendamos algo y, de pronto, se produzca un "click" y pasemos a entender? No es maravilloso ponerse a pensar por qu uno no entenda antes? Se podr reproducir esto? Se podr utilizar para cooperar con la comprensin de otra persona? Servir la experiencia de uno para mejorar la velocidad y profundidad de aprendizaje de otro?

Conversacin entre Einstein y Poincar.

Santal fue uno de los gemetras ms importantes de la historia. Naci en Espaa. pero escapando de la guerra civil espaola. pas la mayor parte de su vida en la Argentina. Fue un verdadero maestro y sus contribuciones tanto personales como profesionales son invalorables. Preparado por Patricio Barros Antonio Bravo

Matemticas ests ah?

Adrin Paenza

Creo que no hace falta que presente a Einstein. Pero s creo que merece algunas palabras Poincar, no porque hubiera sido menos importante su aporte a la ciencia de fines del siglo XIX y principios del XX, sino porque sus trabajos y trayectoria son menos conocidos por el pblico en general. Los medios se han ocupado (y con justa razn) de ubicar a Einstein como una de las personas ms famosas de la historia. Es difcil encontrar a alguien que sepa leer y escribir y no sepa quin fue Einstein. Pero supongo que no yerro si digo que el nmero de personas que desconocen a Einstein coincide con el nmero de los que conocen a Poincar. Y quiz exagero... Henri Poincar naci el 28 de abril de 1854 en Nancy (Francia) y muri el 17 de julio de 1912 en Pars. Era ambidiestro y miope. Sufri de difteria durante buena parte de su vida y eso le trajo severos problemas motrices y de coordinacin. Pero Poincar es considerado una de las mentes ms privilegiadas que pobl la Tierra. Se dedic a la matemtica, la fsica y la filosofa y se lo describe como el ltimo de los "universalistas" (en el sentido de que con su conocimiento lograba borrar las fronteras entre las ciencias que investigaba). Contribuy en forma profusa a diversas ramas de la matemtica, mecnica celeste, mecnica de fluidos, la teora especial de la relatividad y la filosofa de la ciencia. An hoy permanece sin respuesta su famosa conjetura sobre la existencia de variedades tridimensionales sin borde con grupo de homotopa nulo y que no fueran homeomorfas a la esfera en cuatro dimensiones. Ms all de haber entendido el enunciado, cosa que posiblemente no ocurri salvo para un grupo muy reducido de personas, especialistas en el tema, el hecho es que Poincar conjetur este resultado cuya demostracin ha eludido a los mejores matemticos del mundo desde hace ms de un siglo 2 . Toda esta introduccin me permite ahora presentar un dilogo entre dos de las figuras ms prominentes de la ciencia en la primera mitad del siglo XX, poniendo nfasis en una discusin etema entre la matemtica y la fsica. Aqu va. Einstein: -Vos sabs, Henri, al principio, yo estudiaba matemtica. Pero dej y me dediqu a la fsica... Poincar: -Ah... No saba, Alberto. Y por qu fue?

En mayo de 2005, anda dando vuelta una potencial demostracin de esta conjetura. pero an no ha sido oficialmente aceptada por la comunidad matemtica. Preparado por Patricio Barros Antonio Bravo

Matemticas ests ah?

Adrin Paenza

Einstein: -Bueno, lo que pasaba era que si bien yo poda darme cuenta de cules afirmaciones eran verdaderas y cules eran falsas, lo que no poda hacer era decidir cules eran las importantes.... Poincar: -Es muy interesante lo que me decs, Alberto, porque, originalmente, yo me haba dedicado a la fsica, pero me cambi al campo de la matemtica... Einstein: -Ah, s? Y por qu? Poincar: -Porque si bien yo poda decidir cules de las afirmaciones eran importantes y separarlas de las triviales, mi problema... es que nunca poda diferenciar las que eran ciertas! Fleming y Churchill3 Su nombre era Fleming, un granjero escocs pobre. Un da, mientras intentaba ganar el pan para su familia, oy un lamento pidiendo ayuda que provena de un pantano cercano. Dej caer sus herramientas y corri hacia el lugar. All encontr, hundido hasta la cintura, dentro del estircol hmedo y negro del pantano, a un muchacho aterrorizado, gritando y esforzndose por liberarse. El granjero Fleming salv al muchacho de lo que podra haber sido una agona lenta y espantosa. Al da siguiente, lleg a la granja un carruaje muy ostentoso que traa a un noble, elegantemente vestido, que baj y se present como padre del muchacho salvado por el granjero Fleming. -Quiero recompensarlo -dijo el noble-. Usted salv la vida de mi hijo. -No, yo no puedo aceptar un pago por lo que hice. Era mi deber -contest el granjero escocs. En ese momento, el hijo del granjero se acerc a la puerta de la cabaa. -Ese que asoma ah es su hijo? -pregunt el noble. -S -contest el granjero orgulloso. -Le propongo entonces hacer un trato. Permtame proporcionarle a su hijo el mismo nivel de educacin que mi hijo recibe. Si el muchacho se parece a su padre no dudo que crecer hasta convertirse en el hombre del que ambos estaremos orgullosos. Y el granjero acept. El hijo del granjero Fleming asisti a las mejores escuelas y luego de un tiempo se gradu en la Escuela Mdica del Saint Mary's Hospital, en Londres, convirtindose en un renombrado cientfico conocido en todo el mundo por el descubrimiento que revolucion el tratamiento de las infecciones: la penicilina.

Esta historia me la envi Gerardo Garbulsky, un ex alumno y muy buen amigo mo. Gerry siempre tuvo un ojo atento y sensible para la ciencia y sus aplicaciones, y gracias a l supe de esta historia. 3 Preparado por Patricio Barros Antonio Bravo

Matemticas ests ah?

Adrin Paenza

Aos despus, el hijo del mismo noble que fue salvado de la muerte en el pantano enferm de pulmona. Qu salv su vida esta vez? La penicilina, por supuesto!!! El nombre del noble? Sir Randolph Churchill... El nombre de su hijo? Sir Winston Churchill. Los matemticos hacemos razonamientos, no nmeros Luis Caffarelli me dio una serie de ejemplos sobre el trabajo de los matemticos, que quiero compartir aqu. Caffarelli es uno de los mejores matemticos argentinos de la historia (y casi con seguridad el mejor hoy, en 2005). A l le ped que me diera argumentos para publicar sobre lo que haca un matemtico profesional. Lo primero que hizo fue darme el ttulo que utilizo para este captulo. Pero antes de compartir sus refle xiones, vale la pena recordar que Caffarelli naci en 1948, obtuvo el ttulo de licenciado en matemtica cuando tena veinte aos y se doctor cuando tena veinticuatro. En 1994 fue nombrado miembro de la Academia Pontificia de Ciencias, una institucin creada en 1603, que cuenta con slo ochenta miembros en todo el mundo. Ser integrante de esta Academia implica una extraordinaria calidad cientfica. Es, o fue, profesor en el Courant en Nueva York, en la Universidad de Chicago, en el MIT, en Berkeley, en Stanford, en la Universidad de Bonn y por supuesto, en la Universidad de Princeton en Nueva Jersey, el centro de excelencia mundial donde hicieron parte de sus investigaciones Einstein, Von Neumann, Alan Turing, John Nash, entre muchos otros. Una ancdota personal: Caffarelli y yo fuimos ayudantes de una materia en la facultad de Ciencias Exactas y Naturales sobre el final de la dcada de 1960. La materia se llamaba Funciones Reales I. Necesitbamos preparar ejercicios para las prcticas y los exmenes. La materia presentaba un constante desafo, no slo para los estudiantes, sino tambin para los docentes. En esencia, era la primera materia del ciclo superior para los estudiantes de matemtica. Un viernes, al finalizar la clase, quedamos en que cada uno pensara problemas durante el fin de semana y nos encontraramos el lunes siguiente para discutirlos. Y as fue. Yo hice mi parte, y traje cinco problemas. Caffarelli tambin hizo la suya. Pero con una diferencia. Trajo 123. S, ciento veintitrs. Algo ms: nunca hubo un gesto de arrogancia o de superioridad. Para l la matemtica es algo natural, que fluye por su vida como el aire que respira cualquiera de nosotros. Slo que l piensa diferente, ve distinto, imagina de otra forma. Sin duda, una mente privilegia da. Ahora s, vamos a lo que hace un matemtico profesional de acuerdo con Luis Caffarelli: Estudiar lo que sucede con el whisky y los cubitos de hielo est relacionado con el impacto de una nave espacial cuando reingresa en la atmsfera, con la explosin demogrfica y con la prediccin climtica.

Preparado por Patricio Barros Antonio Bravo

Matemticas ests ah?

Adrin Paenza

El investigador genera un modelo matemtico de un sistema, presume que ste refleja la realidad, y testea los resultados de un simulador numrico para ver si sus cuentas son acertadas o no. En el caso del cubito de hielo, se analiza la superficie de con tacto del hielo con el agua. Si es estable, se estudia qu pasara si echramos un chorrito ms de whisky, si se producira un cambio dramtico en el sistema, si se va a derretir el hielo, etctera. Lo mismo sucede cuando uno estudia el flujo de aire alrededor del ala de un avin, o la dinmica demogrfica. El matemtico trata de encontrar ecuaciones que representen estos problemas e introducir factores de correccin adecuados para representar el fenmeno que se pretende estudiar. La relacin entre las matemticas y la sociedad se pone de manifiesto cuando uno enciende la TV, recibe un fax, manda un e- mail, enciende un microondas y la comida se calienta. Pero los cientficos que pensaron acerca de los fenmenos bsicos del horno a microondas, no intentaban resolver el problema de calentar la mamadera de un chico, sino en qu interesante sera comprender cmo se excitan las molculas frente a un cierto efecto. Ms adelante, le ped que hiciera una reflexin respecto de los problemas de comunicacin entre los cientficos y la sociedad que los cobija: No es que exista una escisin entre ciencia y sociedad, sino que la gama de relaciones es muy extensa y tortuosa y a menudo no es obvia. La ciencia est muy relacionada con la sociedad, lo que pasa es que cada vez hace falta ms especializacin para llegar a ella. En el futuro las ciencias se van a matematizar ms todava. Hay un desafo inmenso para entender las cosas, para matematizarlas y entender por qu son as. Las matem ticas tratan de sintetizar qu tienen en comn cosas dispares para luego poder decir: ste es el fenmeno y stas son variaciones de la misma frmula. Las paradojas de Bertrand Russell Bertrand Russell vivi 97 aos: desde 1872 hasta 19704 . Naci en Inglaterra como miembro de una familia muy rica y ligada con la realeza britnica. Vivi una vida llena de matices, abog en contra de la guerra, pele contra la religin (cualquier manifestacin de ella), estuvo preso en varias oportunidades, se cas cuatro veces (la ltima a los 80 aos) y tuvo mltiples experiencias sexuales de las que siempre se manifest orgulloso. Si bien fue uno de los grandes pensadores y matemticos del siglo XX, gan un premio Nbel de Literatura en 1950. Fue profesor en Harvard, en Cambridge y en Berkeley.

Hay una excelente biografa de Russell (The Life of Bertrand Russell -La vi-da de Bertrand Rusell- publicada en 1976 en la que aparece una pintura perfecta de esta personalidad del siglo xx). 5 Preparado por Patricio Barros Antonio Bravo

Matemticas ests ah?

Adrin Paenza

En fin: fue un sujeto muy especial. Ahora bien: escapa al objetivo de este libro contar todos sus logros dentro del terreno de la lgica. Pero sin ninguna duda, uno de los captulos ms interesantes tiene que ver con su clebre paradoja de los conjuntos que no se contienen a s mismos como elementos. Antes de que pase a la seccin siguiente, le propongo que me siga con tres ejemplos. Y despus volvemos sobre el tema.

A) SOBRE LOS BARBEROS EN ALTA MAR Un barco sale lleno de marineros y se dirige a una misin que lo tendr muchos das en alta mar. El capitn advierte con disgusto que alguno de los integrantes del barco no se afeitan todos los das. Y como en el barco haba un marinero-barbero, lo convoca a su camarote y le da la siguie nte instruccin: "Desde maana, toda persona del barco que no se afeite a s misma, la afeita usted. A los que quieren afeitarse solos, no hay problemas. Usted ocpese de los que no lo hacen. Es una orden". El barbero se retir y a la maana siguiente, ni bien se despert (an en su camarote), se dispuso a cumplir la orden del capitn. Pero antes, naturalmente, fue hasta el bao. Cuando se dispona a afeitarse, se dio cuenta de que no poda hacerlo, porque el capitn haba sido muy claro: l slo poda afeitar a los que no se afeitaban a s mismos. O sea, que en tanto que barbero no poda intervenir en afeitarse. Deba dejarse la barba para no infringir la norma de slo afeitar a los que no se afeitan a s mismos. Pero al mismo tiempo, advirti que no poda dejarse crecer la barba porque incumplira tambin la orden del capitn, que le dijo que no permitiera que ningn integrante del barco no se afeitara. 1, entonces, tena que afeitarse. Desesperado porque ni poda afeitarse (porque el capitn le dijo que slo se ocupe de los que no se afeitaban a s mismos) ni poda dejarse la barba (ya que el capitn no lo hubiera tolerado), el barbero decidi tirarse por la borda (o pedirle a alguien que lo afeite a l...)

B) SOBRE QUIEN DEBA MORIR AHORCADO En una ciudad en donde las cosas erradas se pagaban caras, el rey decidi que una persona deba ser ejecutada. Y para ello, decidi ahorcarlo. Para darle un poco ms de sabor, colocaron en dos plataformas dos horcas. A una la llamaron "altar de la verdad" y a la otra, "el altar de la mentira: Cuando estuvieron frente al reo, le explicaron las reglas: "Tendrs oportunidad de decir tus ltimas palabras, como es de estilo. De acuerdo con que lo que digas sea verdad o mentira, sers ejecutado en este altar (sealando el de la verdad) o en el otro. Es tu decisin".

Preparado por Patricio Barros Antonio Bravo

Matemticas ests ah?

Adrin Paenza

El preso pens un rato y dijo que estaba listo para pronunciar sus ltimas palabras. Se hizo silencio y todos se prepararon para escucharlo. Y dijo: -"Ustedes me van a colgar en el altar de la mentira". -"Es todo?, le preguntaron. -"S", respondi. Los verdugos se acercaron a esta persona y se dispusieron a llevarla al altar de la mentira. Cuando lo tuvieron al lado, uno de ellos dijo: "Un momento por favor. No podemos colgarlo ac, porque si lo hiciramos sus ltimas palabras habran sido ciertas. Y para cumplir con las reglas, nosotros le dijimos que lo colgaramos de acuerdo con la validez de sus ltimas palabras. l dijo que lo colgaramos en el altar de la mentira. Luego, all no podemos colgarlo porque sus palabras seran ciertas". Otro de los que participaba arriesg: "Claro. Corresponde que lo colguemos en el altar de la verdad". "Falso", grit uno de atrs. "Si fuera as, lo estaramos premiando ya que sus ltimas palabras fueron mentira. No lo podemos colgar en el altar de la verdad". Ciertamente confundidos, todos los que pensaban ejecutar al preso se trenzaron en una discusin eterna. El reo escap y hoy escribe libros de lgica. c) DIOS NO EXISTE Seguramente, de todas las maneras de presentar la para doja de Bertrand Russell, sta es la ms llamativa. Se pretende probar que Dios no existe, nada menos. Pongmonos primero de acuerdo con lo que quiere decir Dios. Por definicin, la existencia de Dios est igualada con la existencia de un ser todopoderoso. En la medida en que nosotros podamos probar que nada ni nadie puede ser omnipotente, entonces, nadie podr adjudicarse el "ser Dios". Vamos a probar esto "por el absurdo"; o sea, vamos a suponer que el resultado es cierto y eso nos va a llevar a una contradiccin. Supongamos que Dios existe. Entonces, como hemos dicho, en tanto que Dios, debe ser todopoderoso. Lo que vamos a hacer es probar que no puede haber nadie todopoderoso. O lo que es lo mismo: no puede haber nadie que tenga todos los poderes. Y hacemos as: si existiera alguien que tuviera todos los poderes, debera tener el poder de hacer piedras muy grandes. No le puede faltar este poder, porque si no, ya demostrara que no es todopoderoso. Entonces, concluimos que tiene que tener el poder de hacer piedras muy grandes. No slo tiene que tener el poder de hacer piedras muy grandes, sino que tiene que ser capaz de hacer piedras que l no pueda mover... no le puede faltar este poder (ni
7 Preparado por Patricio Barros Antonio Bravo

Matemticas ests ah?

Adrin Paenza

ningn otro si vamos al caso). Luego, tiene que ser capaz de hacer piedras y que esas piedras sean muy grandes. Tan grandes, que eventualmente l no las pueda mover. sta es la contradiccin, porque si hay piedras que l no pueda mover, eso significa que le falta un poder. Y si tales piedras no las puede hacer, eso significa que le falta ese poder. En definitiva, cualquiera que pretenda ser todopoderoso adolecer de un problema: o bien le falta el poder de hacer piedras tan grandes que l no pueda mover, o bien existen piedras que l no puede mover. De una u otra forma, no puede haber nadie todopoderoso (y eso era lo que queramos probar). Ahora bien. Una vez que hemos visto estas tres manifestaciones de la paradoja de Bertrand Russell, pensemos qu hay detrs. En principio, un problema no trivial es dar una definicin correcta de lo que es un conjunto. Si uno trata de hacerlo (y lo invito a que pruebe), termina usando algn sinnimo: una coleccin, un agrupamiento, un agregado, etctera. De todas formas, aceptemos la definicin intuitiva de lo que es un conjunto, digamos, una coleccin de objetos que distinguimos por alguna caracterstica: todos los nmeros enteros, todos mis hermanos, los equipos que participaron en el ltimo mundial de ftbol, las pizzas grandes que com en mi vida, etctera. En general, "los elementos" de un conjunto, son los miembros", los "que pertenecen". Si uno sigue con los ejemplos del prrafo anterior, los "nmeros enteros" son los elementos del primer conjunto, "mis hermanos" son los elementos del segundo, la lista de pases que participaron del ltimo mundial seran los elementos del tercero, cada una de las pizzas que com, son los elementos del cuarto, etctera. Uno suele denominar o llamar un conjunto con una letra mayscula (por ejemplo: A, B, X, N) y a los elementos de cada conjunto, los pone "entre llaves": A = {1,2,3,4,5} B = {Argentina, Uruguay, Brasil, Chile, Cuba, Venezuela, Mxico} C = {Laura, Lorena, Mximo, Alejandro, Paula, Ignacio, Viviana, Sabina, Brenda, Miguel, Valentn} N = {nmeros naturales} = {1, 2, 3, 4, 5,..., 173, 174, 175...} P = {nmeros primos} = {2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31...} M = {{Nstor y Graciela}, {Pedro y Pablo}, {Timo y Betty}} L = {{Nmeros Pares}, {Nmeros Impares}} Algunos conjuntos son finitos, como A, B y C. Otros son infinitos, como N y P. Algunos conjuntos tienen como elementos a otros conjuntos, como M, que tiene como miembros a "parejas". L, en cambio, tiene dos elementos, que son conjuntos a su vez. Es decir, los elementos de un conjunto pueden ser conjuntos tambin.
8 Preparado por Patricio Barros Antonio Bravo

Matemticas ests ah?

Adrin Paenza

Una vez hechas todas las presentaciones, quiero plantear lo que se pregunt Russell: "Puede un conjunto tenerse a s mismo como elemento?" Russell escribi: "me parece que hay una clase de conjuntos que s y otra clase que no". Y dio como ejemplo el conjunto de las cucharitas de t. Obviamente, el conjunto de todas las cucharitas de t no es una cucharita, y por lo tanto, no se contiene a s mismo como elemento. De la misma forma, el conjunto de todas las personas que habitan la Tierra no es una persona, y, por lo tanto, no es un elemento de s mismo. Aunque parezca anti-intuitivo, Russell pens tambin en conjuntos que s se contienen a s mismos como elementos. Por ejemplo: el conjunto de todas las cosas que no son cucharitas de t. Este conjunto es el que contiene cucharitas, s, pero no de t, tenedores, jugadores de ftbol, pelotas, almohadas, aviones de distinto tipo, etctera. Todo, menos cucharitas de t. Lo que queda claro es que este nuevo conjunto (el que consiste en todo lo que no sea una cucharita de t) no es una cucharita de t! Y por lo tanto, como no es una cucharita de t, tiene que ser un elemento de s mismo. Otro ejemplo que dio Russell es el siguiente: llamemos A al conjunto de todos los conjuntos que pueden describir sus miembros usando veinte palabras o menos. (En realidad, Russell lo plante en ingls, pero para este argumento, poco importa.) Por ejemplo, el conjunto de "todos los libros de matemtica", es un elemento de A, ya que se usan slo cinco palabras para describir los elementos de l. De la misma forma, "todos los animales de la Patagonia" tambin es un elemento de A. Y el conjunto de "todas las sillas que hay en Europa" es otro elemento de A. Ahora bien, los invito a pensar lo siguiente: pertenece A a s mismo? Es decir: es A un elemento de s mismo? Para que esto sea cierto, los elementos de A deberan poder ser descriptos usando veinte palabras o menos. Y justamente, hemos definido a A como el conjunto cuyos elementos son "conjuntos cuyos elementos puedan ser descriptos usando veinte palabras o me nos". De esta forma, A resulta un subconjunto de s mismo. A partir de este momento, entonces, podemos considerar dos clases de conjuntos: los que se contienen a s mismos como elementos y los que no. Hasta ac, todo bien. Pero Russell dio un paso ms. Consider R = "el conjunto de todos los conjuntos que no se contienen a s mismos como elementos" = {todos los conjuntos que no se contienen a si mismos como elementos} (**) Por ejemplo, R tiene como elementos al conjunto de "todas las capitales de pases sudamericanos", al conjunto de "todos mis hermanos", "todos los canguros de Australia", etctera. Y muchos ms, obviamente. Y por fin, la pregunta (del milln)
9 Preparado por Patricio Barros Antonio Bravo

Matemticas ests ah?

Adrin Paenza

Es R un conjunto que se contiene a s mismo como elemento?" Analicemos las dos posibles respuestas. a) Si la respuesta es s, entonces R se contiene a s mismo como elemento. O sea, R es un elemento de R. Pero como se ve en (**), R no puede ser elemento de s mismo, porque si lo fuera, no podra ser un elemento de R. Luego, R no puede ser un elemento de s mismo. b) Si la respuesta es no, o sea, R no es un elemento de s mismo, entonces R debera pertenecer a R, ya que R est formado, justamente, por los conjuntos que no se contienen a s mismos como elementos.

Este problema es el que subyace en los tres ejemplos que present al principio de este captulo. Es la paradoja de Bertrand Russell. Parece imposible decidir si el conjunto cuyos elementos son los conjuntos que no se contienen a s mismos como elementos pertenece o no pertenece al conjunto. Luego de muchos aos, los cientficos dedicados a la investigacin en lgica se pusieron de acuerdo en establecer que cualquier conjunto que se tuviera a s mismo como elemento no es un conjunto, y de esa forma resolvieron (en apariencia) la discusin. En realidad, el problema qued escondido "debajo de la alfombra".

Biografa de Pitgoras Pitgoras de Samos es considerado un profeta y mstico, nacido en Samos, una de las islas Dodecanesas, no muy lejos de Mileto, el lugar en donde naci Tales. Algunos pintan a Pitgoras como alumno de Tales, pero eso no parece muy probable debido a la diferencia de casi medio siglo entre ambos. Lo que s es muy probable es que Pitgoras haya ido a Babilonia y a Egipto, e incluso a la India, para tener informacin de primera mano sobre matemtica y astronoma, y eventualmente, tambin sobre religin. Pitgoras fue, casualmente, contemporneo de Budha, de Confucius y de Lao-Tze, de manera que el siglo estaba en plena ebullicin tanto desde el punto de vista de la religin, as como de la matemtica. Cuando retorn a Grecia, se estableci en Crotn, en la costa sudeste de lo que ahora es Italia, pero en ese momento se conoca como "La Magna Grecia". Ah estableci una sociedad secreta que haca recordar un culto rfico salvo por su base matemtica y filosfica. Que Pitgoras permanezca como una figura oscura se debe en parte a la prdida de todos los documentos de esa poca. Algunas biografas de Pitgoras fueron escritas en la
10 Preparado por Patricio Barros Antonio Bravo

Matemticas ests ah?

Adrin Paenza

antigedad, inclusive por Aristteles, pero no sobrevivieron. Otra dificultad en identificar claramente la figura de Pitgoras obedece al hecho de que la orden que l estableci era comunal y secreta. El conocimiento y la propiedad eran comunes, de manera tal que la atribucin de los descubrimientos no se le haca a alguien en particular, sino que era considerado patrimonio del grupo. Es por eso que es mejor no hablar del trabajo de Pitgoras, sino de las contribuciones de "los pitagricos".

EL TEOREMA DE PITGORAS Hace muchos aos, Carmen Sessa, mi amiga y extraordinaria referente en cualquier terna que tenga que ver con la matemtica, me acerc un sobre con varias demostraciones del Teore ma de Pitgoras. No recuerdo de dnde las haba sacado, pero ella estaba entusiasmada al ver cuntas maneras distintas haba de comprobar un mismo hecho. Es ms: tiempo despus supe que hay un libro (The Pythagorean Proposition) que contiene 367 pruebas de este teorema y que fue reeditado en 1968. De todas formas, y volviendo a las pruebas que me haba dado Carmen, hubo una que me dej fascinado por su simpleza. Mas an: a partir de ese momento (ltima parte de la dcada del 80) nunca paro de repetirla. Y de disfrutarla. Aqu va: Se tiene un tringulo rectngulo T, de lados a, b y h. (Se llama tringulo rectngulo a un tringulo en el que uno de los ngulos es de 90 grados, tambin llamado ngulo recto.)

Figura 02-04

Imaginemos que el tringulo T est hecho "pegando" tres hilos. Supongamos que se le puede "cortar" el lado h, y que uno puede "estirar" los lados a y b. Con este nuevo "lado", de longitud (a+b), fabricamos dos cuadrados iguales. Cada lado del cuadrado mide (a+b). Marcamos en cada cuadrado los lados a y b, de manera tal de poder dibujar estas figuras:

11

Preparado por Patricio Barros Antonio Bravo

Matemticas ests ah?

Adrin Paenza

Figura 02-05 Ahora, observemos en cada cuadrado cuntas veces aparece el tringulo T (para lo cual hay que marcar en un dibujo los cuatro tringulos T en cada cuadrado).

Figura 02-06

Como los cuadrados son iguales, una vez que hemos descubierto los cuatro cuadrados en cada uno de ellos, la superficie que queda "libre" en cada uno tiene que ser la misma. En el primer cuadrado, quedan dos "cuadraditos" de superficies a2 y b2 respectivamente. Por otro lado, en el otro cuadrado, queda dibujado un "nuevo" cuadrado de rea h2 . Conclusin: "tiene" que ser a2 + b2 = h2

12

Preparado por Patricio Barros Antonio Bravo

Matemticas ests ah?

Adrin Paenza

que es justamente lo que queramos probar: "en todo tringulo rectngulo se verifica que el cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos". En este caso, los catetos son a y b, mientras que la hipotenusa es h. No es una demostracin preciosa? Es slo producto de una idea maravillosa que no requiere ninguna herramienta complicada5 . Slo sentido comn6 . Historia de Carl Friedrich Gauss Muchas veces solemos decirles a los jvenes que lo que estn pensando est mal, simplemente porque no lo estn pensando como lo pensamos nosotros. As les enviamos un mensaje enloquecedor, equivalente al que hacemos cuando les enseamos a hablar y caminar en los primeros doce meses de vida, para pedirles que se queden callados y quietos en los siguientes doce aos. El hecho es que esta historia tiene que ver con alguien que pens diferente. Y en el camino, resolvi un problema en forma impensada (para el docente). La historia se sita alrededor de 1784, en Brunswick, Alemania. Una maestra de segundo grado de la escuela primaria (de nombre Buttner, aunque los datos afirman que estaba acompaada por un asistente, Martin Bartels tambin) estaba cansada del "lo" que hacan los chicos, y para tenerlos quietos un poco, les dio el siguiente problema: "c alculen la suma de los primeros cien nmeros". La idea era tenerlos callados durante un rato. El hecho es que un nio levant la mano casi inmediatamente, sin siquiera darle tiempo a la maestra para que terminara de acomodarse en su silla. -S? -pregunt la maestra mirando al nio. -Ya est, seorita -respondi el pequeo-. El resultado es 5.050. La maestra no poda creer lo que haba escuchado, no porque la respuesta fuera falsa, que no lo era, sino porque estaba desconcertada ante la rapidez. -Ya lo habas hecho antes? -pregunt. -No, lo acabo de hacer. Mientras tanto, los otros nios recin haban llegado a escribir en el papel los primeros dgitos, y no entendan el intercambio entre su compaero y la maestra.

23 Este teorema fue descubierto en una escritura en Babilonia, entre 1900 y 1600 antes de Cristo. Pitgoras vivi entre 560 y 480 antes de Cristo, pero si bien se le adjudica a l la solucin del problema, no est claro si fue l o alguno de sus discpulos. E incluso esta posibilidad tampoco es necesariamente cierta.
6

24 El teorema es reversible, en el sentido de que si un tringulo de lados a, b y h. cumple con la ecuacin a 2 + b2 = h2, entonces. el tringulo tiene que ser rectngulo. Piensen que ste es un resultado muy interesante. Es que podra pasar que fuera cierto el teorema de Pitgoras para otros tringulos que no fueran rectngulos. Sin embargo, lo que dice este apartado es que la propiedad de que el cuadrado de la hipotenusa sea igual a la suma de los cuadrados de los catetos. "caracteriza" a un tringulo: lo obliga a ser rectngulo. Preparado por Patricio Barros Antonio Bravo

13

Matemticas ests ah?

Adrin Paenza

-Ven y contanos a todos cmo lo hiciste. El jovencito, se levant de su asiento y sin llevar siquiera el papel que tena adelante se acerc humildemente hasta el pizarrn y comenz a escribir los nmeros:

1 + 2 + 3 + 4 + 5 +...+ 96 + 97 + 98 + 99 + 100 -Bien -sigui el jovencito-. Lo que hice fue sumar el primero y el ltimo nmero (o sea, el 1 y el 100). Esa suma da 101. -Despus, segu con el segundo y el penltimo (el 2 y el 99). Esta suma vuelve a dar 101. -Luego, separ el tercero y el antepenltimo (el 3 y el 98). Sumando estos dos, vuelve a dar 101. -De esta forma, "apareando" los nmeros as y sumndolos, se tienen 50 pares de nmeros cuya suma da 101. Luego, 50 veces 101 resulta en el nmero 5.050 que es lo que usted quera. La ancdota termina aqu. El jovencito se llamaba Carl Friedrich Gauss. Naci en Brunswick, el 30 de abril de 1777 y muri en 1855 en Gottingen, Hanover, Alemania. Gauss es considerado el "prncipe de la matemtica" y fue uno de los mejores (si no el mejor) de la historia. De todas formas, no importa aqu cun famoso termin siendo el niito, sino que lo que yo quiero enfatizar es que en general, uno tiende a pensar de una determinada manera, como si friera "lo natura U. Hay gente que desmiente esto y encara los problemas desde un lugar diferente. Esto no significa que los vea as a todos los problemas que se le presentan, pero eso importa poco tambin. Por qu no permitir que cada uno piense como quiera? Justamente, la tendencia en los colegios y las escuelas, e incluso la de los propios padres, es la de "domar" a los nios (en un sentido figurado, claro), en donde lo que se pretende es que vayan por un camino que otros ya recorrieron. Es razonable que as sea, porque esto ofrece a los adultos, sin ninguna duda, mayores seguridades, pero inexorablemente termina por limitar la capacidad creativa de quienes todava tienen virgen parte de la pelcula de la vida. Gauss y su manera sutil, pero elemental, de sumar los prime ros cien nmeros, son slo un ejemplo 7 .

Cmo haran ustedes para sumar ahora los primeros mil nmeros? Y los primeros n nmeros? Es posible concluir una frmula general? La respuesta es s: 14 Preparado por Patricio Barros Antonio Bravo

Matemticas ests ah?

Adrin Paenza

Conjetura de Goldbach Estoy seguro de que a ustedes les habr pasado alguna vez que se tropezaron con una idea pero no estaban tan seguros de que fuera cierta y se quedaron un rato pensndola. Si no les ocurri nunca, empiecen ahora, porque nunca es tarde. Pero lo maravilloso es poder "entretener" en la cabeza de uno algn problema cuya solucin sea incierta. Y darle vueltas, mirarlo desde distintos ngulos, dudar, empezar de nuevo. Enfurecerse con l. Abandonarlo para reencontrarlo ms tarde. Es una experiencia inigualable: se las recomiendo. En la historia de la ciencia, de las distintas ciencias, hay muchos ejemplos de situaciones como las que expuse en el prrafo anterior. En algunos casos, los problemas planteados pudieron resolverse sencillamente. En otros, las soluciones fueron mucho ms difciles, llevaron aos (hasta siglos). Pero como ustedes ya sospechan a esta altura, hay muchos de los que todava no se sabe si son ciertos o falsos. Es decir: hay gente que ha dedicado su vida a pensar que el problema tena solucin, pero no la pudieron encontrar. Y otros muchos que pensaron que era falso, pero no pudieron encontrar un contraejemplo para exhibir. De todas formas, resolver alguna de las que an permanecen "abiertas", traera fama, prestigio y tambin dinero al autor. En este captulo quiero contar un poco sobre una conjetura conocida con el nombre de "La Conjetura de Goldbach". El 7 de junio de 1742 (piensen entonces que ya pasaron 263 aos), Christian Goldbach le escribi una carta a Leonhard Euler (uno de los ms grandes matemticos de todos los tiempos), sugirindole que pensara una demostracin para la siguiente afirmacin:

"todo numero par positivo, mayor que dos, se puede escribir como la suma de dos nmeros primos" . Por ejemplo, veamos los casos ms fciles: 4 =2 +2 6 =3 +3 8 =3 +5 10 = 5 + 5 12 = 5 + 7 14 = 7 + 7 = 3 + 11 16 = 5 + 11

S = 1 + 2 + 3 +... + (n-2) + (n-1) + n = {n(n+1)} / 2 Preparado por Patricio Barros Antonio Bravo

15

Matemticas ests ah?

Adrin Paenza

18 = 7 + 11 = 5 + 13 20 = 3 + 17 = 7 + 13 22 = 11 + 11 24 = 11 + 13 = 7 + 17 864 = 431 + 433 866 = 3 + 863 868 = 5 + 863 870 = 7 + 863 y as podramos seguir. Hasta hoy (agosto de 2005), se sabe que la conjetura es cierta para todos los nmeros pares que sean menores que 4 x 1013 . La novela Uncle Petros & Goldbach's Conjecture 8 del escritor australiano (aunque creci en Grecia) Apostolos Doxiadis, publicada en 1992, en griego y traducida a diversos idiomas en el ao 2000, es la que promovi que las compaas editoras Faber y Faber de Gran Bretaa y Bloomsbury Publishing de Estados Unidos ofrecieran un milln de dlares a quien pudiera resolver la Conjetura. Doxiadis es tambin reconocido como uno de los iniciadores de las novelas con "trama matemtica" y ha dirigido adems teatro y cine. Pero lo que importa en este caso es que la popularidad alcanzada por la novela devino en la oferta (que nadie pudo reclamar an) de los editores. Hay otra Conjetura tambin planteada por Goldbach, conocida con el nombre de "La Conjetura Impar de Goldbach'", que dice que todo nmero impar mayor que cinco se escribe como la suma de tres nmeros primos. Hasta el da de hoy (agosto del 2005) tambin permanece como un problema abierto de la matemtica, aunque se sabe que es cierta hasta nmeros impares de siete millones de dgitos. Si bien toda conjetura puede resultar falsa, la opinin "educada" de los expertos en teora de nmeros es que lo que pens Goldbach es cierto y slo es una cuestin de tiempo hasta que aparezca la demostracin.

Historia de Srinivasa Ramanujan Conocemos muy poco de la historia y la ciencia oriental. O en todo caso, todo lo que no sea americano o europeo nos queda entre lejos y desconocido. Sin embargo, hay varias historias interesantsimas, por no decir que hay toda una ciencia que nos queda a trasmano y que goza de extraordinaria salud. Srinivasa Ramanujan (1887-1920) fue un matemtico indio que profesaba la religin hind. De origen muy humilde, slo pudo asistir a una escuela pblica gracias a una beca. Sus bigrafos dicen que les recitaba a sus compaeros las cifras
8

La traduccin es To Petros y la Conjetura de Goldbach: cabe destacar que el libro result un best-seller internacional. Preparado por Patricio Barros Antonio Bravo

16

Matemticas ests ah?

Adrin Paenza

decimales del nmero p (pi) y a los doce aos se senta muy cmodo con todo lo que tuviera que ver con trigonometra. A los 15 aos le presentaron un libro con seis mil! teoremas conocidos, pero sin demostracin. sa fue su formacin matemtica bsica. Entre 1903 y 1907, decidi no dar ms exmenes en la universidad y dedic su tiempo a investigar y pensar sobre las curiosidades matemticas. En 1912, sus amigos lo estimularon a comunicar todos sus resultados a tres distinguidos matemticos. Dos de ellos no le contestaron nunca. El tercero, Godfrey Harold Hardy (1877-1947), matemtico ingls de Cambridge, fue el nico que lo hizo. Hardy era considerado, en ese momento, el matemtico ms prominente de su generacin. Hardy escribira despus que cuando recibi la carta, estuvo a punto de tirarla, pero esa misma noche se sent con su amigo John Littlewood y se pusieron a descifrar la lista de 120 frmulas y teoremas que propona este seor tan curioso que escriba desde la India. Horas ms tarde, crean estar ante la obra de un genio. Hardy fue un hombre de una personalidad muy difcil. Tena su propia escala de valores para el genio matemtico. Con el tiempo, sta se hizo pblica: 100 para Ramanujan 80 para David Hilbert 30 para Littlewood 25 para s mismo

Algunas de las frmulas de Ramanujan lo desbordaron; y comentando su asombro, Hardy escribi: "forzoso es que fueran verdaderas, porque de no serlo, nadie habra tenido la imaginacin necesaria para inventarlas". Hardy invit a Ramanujan a Inglaterra en 1914 y comenzaron a trabajar juntos. En 1917, Ramanujan fue admitido en la Royal Society de Londres y en el Trinity College, transformndose en el primer matemtico de origen indio que lograba tal honor. Sin embargo, la salud de Ramanujan fue siempre una preocupacin. Falleci tres aos despus de mudarse a Londres cuando su cuerpo ya no pudo resistir en una batalla desigual con la tuberculosis... Ahora, una ancdota. Se cuenta que Ramanujan ya estaba internado en el hospital en Londres del cual ya no saldra. Hardy lo fue a visitar. Lleg en un taxi y subi a la habitacin. Con la idea de romper el hielo, le dijo que haba viajado en un taxi cuya patente era 1.729, un nmero aburrido e insulso.

17

Preparado por Patricio Barros Antonio Bravo

Matemticas ests ah?

Adrin Paenza

Ramanujan, sentado a medias en la cama, lo mir y le dijo: "No crea. Me parece un nmero muy interesante: es el primer nmero entero que se puede escribir como suma de dos cubos de diferentes maneras". Ramanujan tena razn: 1.729 = 13 + 123 y tambin 1.729 = 93 +103 Adems 1.729 es divisible por la suma de sus dgitos, 19

1.729 = 19 x 91

Otros nmeros que cumplen esto: (9, 15) y (2, 16) (15, 33) y (2, 34) (16, 33) y (9, 34) (19, 24) y (10, 27)

Es decir: 93 + 153 = 729 + 3.375 = 4104 = 23 +163 = 8 + 4.096 153 + 333 = 3.375 + 35.937 = 39.312 = 23 +343 = 8 + 39.304 163 +333 = 4.096 + 35.937 = 40.033 = 93 +343 = 729+39.304 193 +243 = 6.859 + 13.824 = 20.683 =103 +273 = 1.000 + 19.683

En definitiva, Ramanujan estaba muy en lo cierto... 1.729 no es un nmero tan insulso. Los modelos matemticos de Oscar Bruno Oscar Bruno es doctor en matemtica. Trabaja en el California Institute of Technology, ms conocido como CalTech. Se dedica a la investigacin en reas de matemtica aplicada, ecuaciones en derivadas parciales y ciencia computacional. En su trabajo se ocupa de predecir las caractersticas de diseos de ingeniera, usando mtodos matemticos y programas de computadoras. Hace un par de aos le ped que me diera algunas referencias sobre lo que haca. Y me escribi estas lneas que ahora transcribo, con su autorizacin, claro.
18 Preparado por Patricio Barros Antonio Bravo

Matemticas ests ah?

Adrin Paenza

-Cmo se usan los modelos matemticos para mejorar la calidad de un objeto antes de construirlo? Las ventajas ofrecidas por tales mtodos son muchas y claras. Por un lado es mucho ms sencillo y menos costoso simular un diseo que construirlo. Por el otro, un modelo matemtico puede revelar informacin que es muy difcil o imposible de adquirir experimentalmente. Por supuesto, la validez de estos modelos debe ser verificada a travs de comparaciones con experimentos, pero, una vez que un modelo est verificado, se puede tener un alto grado de confiabilidad en sus predicciones. Yo me dedico a generar y verificar modelos matemticos para problemas de ciencia de materiales. Y tambin me ocupo de disear mtodos numricos para una variedad de reas de la ciencia. Estos mtodos numricos permiten implementar los modelos matemticos en computadoras. ltimamente he estado trabajando en una variedad de problema s: a) Produccin de radares, b) Produccin de diamante a partir de grafito por medio de ondas de choque, c) Diseo de un microscopio basado en rayos lser, en conjunto con un grupo de bilogos y de fsicos, d) Prediccin financiera, e) Diseo de materiales compuestos de goma y pequesimas partculas de hierro, llamados slidos magnetoreolgicos (cuya elasticidad y forma pueden ser alterados a travs de la aplicacin de un campo magntico).

No quiero dejar de mencionar que progresos en estos tipos de problemas de predic cin pueden llevar a:

a) nuevos conocimientos cientficos, b) mejoras o abaratamientos en procesos de produccin, c) diseos de nuevos artefactos. Por ejemplo, el microscopio que mencion antes est siendo diseado con la intencin de hacer posible la observacin de la actividad de clulas vivas, sus intercambios de fluidos, interacciones con microorganismos, etctera.

Los materiales compuestos basados en goma, por otro lado, son buscados para mejorar los mecanismos de reduccin de vibraciones en automviles: dependiendo del tipo de camino, es preferible combinar gomas con distintos grados de dureza.
19 Preparado por Patricio Barros Antonio Bravo

Matemticas ests ah?

Adrin Paenza

Usando campos magnticos y materiales compuestos basados en goma, se puede variar el tipo de dureza y obtener una reduccin sensible de vibraciones que son ms efectivas para todo tipo de caminos. El diseo del compuesto ms conveniente (qu tipos de partculas utilizar, en qu cantidad, qu tipo de goma es ms ventajoso) se facilita enormemente gracias a los mtodos numricos. Ciertamente, en vez de producir un prototipo con cada combinacin posible de materiales bsicos, se utiliza un programa de computadora por medio del cual, para determinar las caractersticas de un cierto compuesto, slo es necesario especificar, cuando la computadora lo requiere, una serie de nmeros que caracterizan las propiedades bsicas de los componentes utilizados. Hasta aqu, las reflexiones de Oscar. Ahora agrego yo: muchas veces, como matemticos, recibimos la pregunta: "para qu sirve lo que usted hace? Cmo se usa? Gana plata con eso?" Cuando se trata de matemticos que dedican su vida a la produccin de ciencia con aplicaciones ms evidentes o ms directas, las respuestas, como las de Bruno, suelen ser ms claras o ms contundentes. En cambio, cuando esas respuestas provienen de cientficos que dedican su vida a la investigacin bsica o a la vida acadmica, no suelen convencer al interlocutor. El ciudadano comn se siente apabullado y calla, pero no est seguro de que le hayan contestado lo que pregunt. No entiende. Uno de los pro psitos de este libro es acercar a las partes. Mostrar la belleza que contiene pensar un problema cuya respuesta uno ignora. Sobre todo eso: pensar, imaginar caminos, disfrutar de la duda. Y en todo caso, aprender a coexistir con el desconocimiento, pero siempre con la idea de derrotarlo, de descubrir el velo que esconde la verdad.

Respuesta de Alan Turing sobre diferencias entre una mquina y una persona De acuerdo con lo que le en un Diccionario de Ideas de Chris Rohmann, esto fue lo que dijo Alan Turing cuando le preguntaron cmo se poda saber si una mquina era inteligente: La mquina es inteligente si puede pasar este test , poner una persona a hacerle preguntas en paralelo a una mquina y a otra persona, sin que el que pregunte sepa quin es el que da las respuestas. Si despus de un tiempo el interrogador no puede distinguir si las respuestas provenan del humano, entonces la mquina podr ser declarada inteligente.

20

Preparado por Patricio Barros Antonio Bravo