El juego no se acaba hasta que se termina

 

La lógica es una parte de las matemáticas muy dificil. La frase de Yogi Berra que da el título de esta entrada es una verdad trivial, una tautología: P->P. Me gusta porque, a pesar de su caracter tautológico, encierra una advertencia que conocemos los aficionados al deporte: no celebres antes que el arbitro de el pitazo final. En  lógica matemática las tautologías o son axiomas o son demostrables. Es un cálculo completo como demostró Godel: toda verdad se puede demostrar. Pero es también un cálculo aburrido, no podemos derivar grandes resultados de lo trivial. Según Bohr, las grandes verdades de la ciencia tienen un caracter menos lógico, su negación contiene una verdad. Eso es particularmente cierto en la mecánica cuantica, donde el electrón es particula y onda, un gato puede estar muerto y vivo al mismo tiempo y una particula no puede tener posición y velocidad definida.

La matemática se vuelve muy profunda si nos alejamos de las tautologías. ¿Comó hacemos esto?  Si ampliamos un poco el alcance de nuestro sistema para incluir los números naturales el juego cambia radicalmente, aparece como demostró Godel un fenomeno perturbador, verdades que no pueden ser demostradas. Incluir a los naturales con su axioma de inducción es meter al infinito en el negocio. Así, quedaba destruido el sueño de Hilbert de probar que las matemáticas eran completas. El paraiso de Cantor se había convertido en el infierno de Hilbert.  La demostración de la existencia de proposiciones verdaderas pero indemostrables nos recuerda la paradoja del mentiroso. Como el lector recordará, el cretense dice: Yo miento. ¿Dice la verdad? Entonces miente. ¿Miente? Entonces dice la verdad. ¿Cómo resolver esta paradoja?.  Pero dejemos que Yogi Berra nos de su versión de la paradoja del mentiroso, cito "en realidad yo nunca dije lo que dije". El catcher y manager de los Yankees es uno de los pensadores más profundos que conozco.

Recomendamos al lector del blog la novela El tio Petros y la conjetura de Goldbach de Apóstolos Doxiadis para que continue su excursión en las posibilidades del teorema de incompletitud de Godel.

Apóstolos Doxiadis

Mi texto de Álgebra Abstracta en el segundo año de carrera

Dr Federico Rivero

Hoy recuperé algo que ya daba por perdido. Le había prestado a mi compañera de trabajo Chanel Chacón una notas escritas por el Prof. Michell Kaoux de Álgebra Abstracta cuando era estudiante de segundo año en el IUT RC. Ella estaba preparando el plan de curso de Álgebra I de la UNA.  Eran unas notas tipeadas con el típico enfoque francés pleno de abstracción y de definiciones: epimorfismos, endomorfismos, automorfismos, homorfismos ...Esas notas me recordaban al profesor Kaoux que las escribio, a mis compañeros del IUT Orlando,Benjamin, Isora, Miguel, Nabih, Carlos Efrain,  Oscar, Raul,  al balcón del Instituto, el cafetín de Mario, al Dr. Rivero dándonos la cola,  los paseos a San Antonio, a Sim Soon-Kiong, la primera vez que vi a Moraima, la biblioteca de Matemáticas, a los profesores Rodrigo, Alain, Jaques, Oscar, Montserrat, Natalia, Kathy,  Enrique, las noches de insomnio preparándonos para raspar al dia siguiente, los perros calientes de Plaza Venezuela, las cervezas en el callejon de la puñalada, las partidas de domino con Luis Romero, mi lucha por mejorar mi ajedrez,  el irnos a estudiar a los pasillos o en la parroquia de la UCV los fines de semana...Esas notas representaban un vínculo con mi pasado, ya había extraviado las de Rodrigo Fontecilla de Análisis de primer año. Un día se las pedi a Chanel quien me dijo que no las encontraba. Me senti muy mal, le pedi que las buscará cuidadosamente. A los días me dice nada Jota no las encuentro. Hoy, años después, Chanel me dice que al limpiar un poco de cajas de su oficina las encontró. Un libro volvía a mí y además era un libro cuyas fórmulas abstractas servían para evocar mi pasado. Fue un gran regalo.

 Siempre he pensado que es necesario hacerle un homenaje a Federico Rivero ya que el sistema de los IUT ha sido importante para el país. Por allí lei la tontería que los IUT fueron creados para albergar los estudiantes que venían de la clase media empobrecida en los años setenta. Para mi el IUT-RC fue un centro de estudios de excelente nivel y tuve la suerte de compartir con unos compañeros que me aportaron mucho.  Ahora el gobierno los va a convertir en Universidades. Luego egresaran licenciados e ingenieros y no TSU, sin duda la palabra tiene un poder mágico que escapa a las leyes científicas.

El error en matemática

John Von Neumann estaba hablando con Bronowski sobre unos cálculos complejos y le dijo, ese coeficiente del termino de segundo orden debe ser cero. Bronowski dudó que eso fuera cierto y pasó varias horas calculando hasta que confirmó lo que su brillante amigo le había dicho: el coeficiente era cero. No le importó que fuesen las 3 am. y llamó excitado a Juanito(Johnny) que dormía y le dijo: tenías razón el coeficiente es cero. Von Neumann bastante molesto por haber sido despertado de madrugada le soltó esta modesta frase: no me llames para decirme que tengo razón, llámame cuando este equivocado. Semejante historia no hace sino confirmar la creencia de la infalibilidad de los matemáticos y la matemática que estos construyen. Pero, ¿no hay margen de error en los hombres que se manejan por las normas de la lógica?. Si lo hay y da para mucho en el desarrollo de esta disciplina. Empecemos por ese brillante aficionado a las matemáticas que fue Pierre de Fermat. Fermat estudió la sucesión  2¹+1=3, 2²+1=5, 2⁴+1=17,.... Observe que los primeros términos son todos números primos. Fermat pensó que esto ocurría siempre. Unos cien años despues Euler demostró que era falso y que algunos números de la sucesión eran compuestos. Esto abrío nuevos problemas, ¿cuales números de la sucesión son primos?, ¿hay infinitos de ellos?. Otro caso, el sacerdote Giovanni Saccheri pensó que había demostrado el postulado de las paralelas aparentemente encontrado situaciones absurdas al negarlo. El geómetra Lambert señaló que quizás estas patologías ocurrían en una geometría imaginaria. Como vemos Saccheri se equivocaba, pero su texto motivó reflexiones que nos aproximaron a la verdadera solución del problema.
Cantor y Dedekind iniciaron la revolución del infinito actual en matemáticas, sin embargo la teoría de Cantor estaba llena de problemas y paradojas, alguna de ella señalada por Cantor, acaso ¿merecía ser abandonada? De ninguna manera, los trabajos de Zermelo, Fraenkel y Von Neumann la pusieron en suelo firme matemático y desde entonces forma el abc de la gramática matemática, "nadie podrá arrojarnos del paraiso que Cantor creó para nosotros" dijo Hilbert.
 Hilbert propusó en 1900 durante el Congreso de Matemáticas de Paris, una serie de problemas, conocidos ahora como los problemas de Hilbert. El matemático ruso Petrovski propuso varias ideas erróneas en relación al problema 16, ideas que contenían claves para importantes desarrollos posteriores.  Sin duda, al jugar la intuición y la inducción un papel importante en el desarrollo de la matemática no podemos evitar encontrar situaciones como las descritas arriba.
Aunque la lista de errores cometidos por excelentes matemáticos es muy larga, voy a cerrar con el caso de un matemático que se equivocaba mucho, tanto que todos dudaban de él. El francés Roger Apéry es muy conocido por dar demostraciones falsas de diversos resultados, así que cuando anunció que había demostrado que la suma de los recíprocos de los cubos era un número irracional, nadie le creyó. Era un problema importante y muy viejo. Lo invitaron a Rusia para que expusiera su resultado, lo cual hizo. Al final de su presentación los presentes se dieron cuenta que el resultado era correcto. Un matemático se paró y le dijo: Monsieur Apéry, Ud. es un excelente matemático y sonó un cerrado aplauso.
 Alguien señaló que la reputación de un matemático descansa en la cantidad de pruebas erroneas que ha hecho de resultados ciertos, una visión lejana del estereotipo del matemático infalible.

Los espacios invariantes

Uno de los problemas matemáticos abiertos más famosos acaba de ser resuelto: el problema del subespacio invariante. La noticia ha recorrido la web, ver por ejemplo http://www.rsme.es/content/view/1199/1/. El problema consiste en demostrar la siguiente proposición: Todo operador T continuo del espacio de Hilbert H en el propio espacio de Hilbert H tiene un subespacio invariante. Cosas invariantes tienen una importancia muy grande en matemáticas. La geometría de los griegos es caracterizada modernamente por ciertos invariantes.

Newton, Lagrange y Hamilton

Fermat enunció un principio de economía que gobierna la naturaleza: las cosas ocurren de manera que minimizamos una cierta función. El llamo a esta función la acción. Por ejemplo, y esto fue lo que motivo a Fermat a enunciar su ley, la luz en un medio óptico no uniforme viaja de un punto A al punto B de forma que el tiempo de viaje sea mínimo. Hoy llamamos ese principio de Fermat y podemos obtener la Ley de Snell del principio de Fermat facilmente. Bernoulli usó esta idea para resolver el problema de la braquistócrona o curva de descenso en un tiempo mínimo. Se trata de encontrar la curva que une dos puntos del espacio de tal manera que si dejamos caer una pelota vaya del punto más alto al mas bajo en tiempo mínimo. Su solución es brillante y puede ser encontrada en el libro de Polya "Matemáticas y razonamiento plausible" y en este enlace "The brachistochrone"    sin embargo otros matemáticos resolvieron el problema introduciendo una rama del análisis conocida como Cálculo de Variaciones que resolvía muchos problemas. Es decir, crearon una técnica. 

Entre los que crearon el Calculo de Variaciones debemos recordar a Euler y Lagrange, de hecho cuando Euler leyó el trabajo de Lagrange penso que lo que Lagrange había logrado era extraordinario. 

¿Es la naturaleza económica?

Maupertuis enunció un principio de economía que gobierna la naturaleza: las cosas ocurren de manera que minimizamos una cierta función. El llamó a esta función la acción. Por ejemplo, y esto fue lo primero que motivó a Maupertuis a enunciar su ley, Fermat descubrió que la luz en un medio óptico no uniforme viaja de un punto A al punto B de forma que el tiempo de viaje sea mínimo.¿Cómo sabe la luz cuál es el camino de tiempo mínimo? ¿Acaso explora todos los caminos antes de decidirse por uno? Fermat pensó sobre este problema y concluyó que era muy dificíl. El hecho que la luz viaje intentando llegar en el menor tiempo posible se llama Principio de Fermat. Bernoulli usó esta idea para resolver el problema de la braquistócrona o curva de descenso en un tiempo mínimo. Se trata de encontrar la curva que une dos puntos del espacio de tal manera que si dejamos caer una pelota vaya del punto más alto al mas bajo en tiempo mínimo. Su solución es brillante y puede ser encontrada en el libro de Polya "Matemáticas y razonamiento plausible" y en este enlace "The brachistochrone"   . Sin embargo otros matemáticos resolvieron el problema creando una rama del análisis conocida como Cálculo de Variaciones que resolvía muchos problemas. Es decir, crearon una técnica. La solución de Bernoulli es hermosa pero no tuvo muchos seguidores, se impuso el orden y no la magia. Entre los que crearon el Calculo de Variaciones debemos recordar a Euler y Lagrange, de hecho, cuando Euler leyó el trabajo de Lagrange, pensó  que lo que Lagrange había logrado era extraordinario.No habían ni dibujos ni geometría en su trabajo, su pensamiento era analítico, el mecanismo del universo parecía estar asociado con una ecuación. Euler dijo: no ocurre nada en la naturaleza sin que aparezcan máximos o mínimos. Estas ideas se mantienen en la Física moderna donde los principios de acción mínima estan presentes. Por ejemplo, en  

  

el deslave de Vargas(1999) los ríos que habían sido desviados y canalizados, al aumentar su cauce, buscaron las trayectorias que los llevaban al mar desde tiempos remotos: las trayectorias que minimizaban la acción. El deslave de Vargas es un ejemplo del mundo macroscópico pero en el mundo del átomo el

 

físico Richard Feynman descubrió el mismo tipo de ley. Así que cuando le digamos a alguién que es un flojo porqué sigue el principio de mínima acción, seamos condescendientes y pensemos que finalmente es algo natural.

¿Saben los matemáticos lo que hacen?

El matemático Vladimir Arnold escribio en un articulo publicado en Mathematics: Frontiers and Perspectives, AMS 2000, que la matemática consta de tres áreas. Ellas son:

1. Criptografía. De ella surgen la geometría algebraica, la teoría de números, de códigos, entre otras. Sirve, segun Arnold, para que la CIA y la KGB puedan mandar mensajes seguros
2. La hidrodinámica, de la cual surgen las PDE(ecuaciones en derivadas parciales) cuyo estudio demanda del análisis funcional, la variable compleja, etc. Sirve para construir portaaviones, aviones supersónicos
3. Los sistemas dinámicos que inducen el estudio del caos, las ecuaciones diferenciales ordinarias, etc. Sirven estas teorias para lanzar misiles que alcancen su blanco.

El panorama es bastante deprimente, la matemática aparece como la base de todos los artefactos de guerra y de las organizaciones que más vulneran las libertades de los individuos y la estabilidad de las sociedades. Estoy seguro que en los países del tercer mundo, donde los matemáticos estudiamos problemas "sugeridos" por los grupos localizados en los centros mundiales de investigación pocos están conscientes de esta situación. El problema que nos ocupa en nuestra investigación quizás sirva para desarrollar un nuevo laser con múltiples aplicaciones bélicas. Si Ud.  toma cualquier revista de investigación matemática leerá la coletilla : tal autor fue financiado por la Marina(Aviación, Ejercito) de los Estados Unidos. ¿Cuál es el propósito de tal ayuda? Sin duda, nada bueno. Uno, como  investigador, espera contribuir sólo al desarrollo del conocimiento matemático y que las aplicaciones sean positivas. De alguna manera, Hardy tenía razón al adoptar la posición de pensar que era mejor que sus matemáticas no tuviesen aplicación alguna(A mathematician's apology , al final hay un enlace y puede descargar el librito). Claro sabemos que eso es imposible, la naturaleza de la matemática está vinculada a la aplicación. Por eso, rescatamos la opinión de ese extraordinario profesor que fue Raimundo Chela que en su discurso inaugural de la Facultad de Ciencias de la UCV( disponible aquí http://www.ciens.ucv.ve/coordad/archivohist_creacfc.html) alertaba que la ciencia debía estar dirigida al hombre para engrandecerlo y que esa Facultad naciente debía orientar su trabajo a los problemas nacionales.  Al menos, desde esta perspectiva el contrato ético que se debe tener con la sociedad estaría a salvo y la labor desarrollada tendría impacto social. De otra forma, seríamos unos pendejos, eso si unos pendejos científicos.

Raimundo Chela