miércoles, 12 de marzo de 2014

Dos pensamientos extraviados

Me quedé pensando en que...
  1. ... murió Paco de Lucía. Salió en muchas noticias. En algunas semblanzas, lo ponen tocando el concierto de Aranjuez (no el primer movimiento, sino el segundo como de costumbre). ¿Sabrán los periodistas y presentadores que dicha obra está dedicada a Regino Sainz de la Maza? No recuerdo tampoco que lo pusieran tocando con John McLaughlin y Al Di Meola; la grabación de uno de esos conciertos a trío es lo único que he escuchado del mentado Paco, y está bien, aunque no sé si como para proclamarlo el "mejor guitarrista del mundo". Hubo quien acotó "de flamenco". Aún así. No sé. De verdad: no sé.
  2. ... es cierta la conjetura de la discrepancia de Erdös para $C=2$. Es decir, existen sucesiones de 1160 unos ($1$) y menos unos ($-1$) tal que, si sumamos aquellos con índices en alguna sucesión aritmética, suma más que $2$, y esto no puede suceder en sucesiones con 1161 términos o más. Lo demostraron Boris Konev y Alexei Lisitsa transformando el problema primero en un lenguaje aceptado por un autómata, y luego en una fórmula booleana que comprobaron si era satisfactible utilizando unos programas ganadores de concursos en esa área. El certificado de la demostración de la parte no trivial es de unos 13 Gb, y se ha publicitado mucho el hecho de que no lo pueden verificar (en principio) los seres humanos, por ser más grande que la Wikipedia. Para mí vale perfectamente, pues lo han revisado más de tres veces, y prefiero confiar en las computadoras que en los seres humanos para esto del escrutinio de las demostraciones.